SUPERSET
POSTERIOR
1
Atomic Function
NAMES
Polynomial
1
THEORY TYPE
Technical
PRIOR
SUBSET