Assertion: predicate | /r/HasProperty | valid
Facets:
Source sentences:
text: A predicate is either valid, satisfiable, or unsatisfiable.
text: A predicate is either valid, satisfiable, or unsatisfiable.
text: A predicate is either valid, satisfiable, or unsatisfiable.
text: A predicate is either valid, satisfiable, or unsatisfiable.
text: A predicate is either valid, satisfiable, or unsatisfiable.
text: A predicate is either valid, satisfiable, or unsatisfiable.
text: A predicate is either valid, satisfiable, or unsatisfiable.