Assertion: triangle's line | /r/HasProperty | drawn through the point
Facets:
value: parallel to the given line
type: OTHER
value: given a straight line
type: MANNER
Source sentences:
text: Playfair's axiom: Given a straight line and a point not on the line, exactly one straight line may be drawn through the point parallel to the given line.