SUPERSET
POSTERIOR
1
AND NOT
1
Necessary
1
ONLY IF
NAMES
Logical Operator
1
THEORY TYPE
Technical
PRIOR
SUBSET