Assertion: line | /r/HasProperty | no intersection
Facets:
Source sentences:
text: If c ≠ d as well, the lines are different and there is no intersection, otherwise the two lines are identical.