Assertion: equality | /r/HasProperty | proposition
Facets:
Source sentences:
text: When A and B are not fully specified or depend on some variables, equality is a proposition, which may be true for some values and false for some other values.