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