Assertion: predicate | /r/HasProperty | defined on that domain
Facets:
Source sentences:
text: A theory about a topic is usually a first-order logic together with a specified domain of discourse over which the quantified variables range, finitely many functions from that domain to itself, finitely many predicates defined on that domain, and a set of axioms believed to hold for those things.