Overview
Schemas
Index
PRODUCTION_RULE_XIM (jsdai.SProduction_rule_xim)
TYPE
predicate_symbol
= STRING;
END_TYPE; -- predicate_symbol
Users
atomic_formula_armx.predicate_symbol
public interface EPredicate_symbol