SUPERSET
POSTERIOR
NAMES
Tractibility
1
PRIOR
SUBSET