Overview
Schemas
Index
Production_rule_arm
TYPE
predicate_symbol
= STRING;
END_TYPE; -- predicate_symbol
Users
Atomic_formula.predicate_symbol