SUPERSET
POSTERIOR
1
Deterministic Function
NAMES
Ordinary Variable
1
THEORY TYPE
Technical
PRIOR
SUBSET