Assertion: predicate | /r/HasProperty | satisfiable
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.