Assertion: proper distance | /r/HasProperty | given in tensor syntax
Facets:
value: by the line
type: MANNER
value: along an arbitrary spacelike path
type: OTHER
Source sentences:
text: Along an arbitrary spacelike path P, the proper distance is given in tensor syntax by the line integral