Set the PREDICATE slot in equations.
Content of the main method.
Use TYPEP.