Assertion: isometry's point | /r/CapableOf | divide the line pq
Facets:
Source sentences:
text: We use the fact that both points P and X divides the line PQ into two non empty disjoint "sides".