Assertion: telescope's image | /r/AtLocation | focal length
Facets:
value: for any lens
type: TRANSITIVE-OBJECT
value: for mirror
type: PURPOSE
value: for any distant object
type: TRANSITIVE-OBJECT
Source sentences:
text: It is true that for any distant object and any lens or mirror, the image is at the focal length.