Here you can access several tools for studying the relationships between the models and the forms. Here are descriptions of the tools:

Tool Description
Make a table You can access a submatrix of the consequences table. List the forms whose interactions you want to see, separated by commas, and the result will be a table that will list all of the known consequences of the forms you list with each other.
Try it:

Find a model Here you give two lists of forms. The result will be a list of the models that are known to be true in the first list, but false in the second.
Try it:

Enter the first list of forms here, separated by commas:

Enter the second list of forms here, separated by commas: