Assertion: contradiction | /r/HasProperty | proposition
Facets:
value: in the same relationship
type: LOCATION
value: at the same time
type: TEMPORAL
Source sentences:
text: A contradiction is a proposition and its negation (symbolically written, “A and not A”) at the same time and in the same relationship.