SUPERSET
POSTERIOR
NAMES
Bug
1
THEORY TYPE
Technical
PRIOR
SUBSET
1
Explicit