Input: A set of sequents.

Output: A classification.

Input-output relation: The output is a most general classification which satisfies the input constrants.