Assertion: line | /r/HasProperty | vertical
Facets:
Source sentences:
text: If a line is vertical the slope is undefined (see below).
text: Two lines are parallel if and only if they are not the same line (coincident) and either their slopes are equal or they both are vertical and therefore both have undefined slopes.