Assertion: diagram's relationship | /r/HasProperty | drawn
Facets:
Source sentences:
text: then the described situation must be impossible (termed “self-consistency”), and (2) if a certain relationship between diagram objects must be drawn, then the corresponding relation can be inferred as logically valid.