Relation HOLDS-TRUE-2

Arity: 2

Domain: Meta-thing

Range: Thing

• Defined in theory: Built-in-theory
• Source code: Built-In-Theory.lisp