Assertion: star's line | /r/HasProperty | extended through the second
Facets:
value: for any two objects in space
type: TRANSITIVE-OBJECT
value: from the first
type: OTHER
Source sentences:
text: For any two objects in space, a line can be extended from the first through the second.