SUPERSET
POSTERIOR
1
Atomic Function
NAMES
Logarithm
1
PRIOR
SUBSET