Assertion: ship's time | /r/HasProperty | elapsed for planetary observer
Facets:
value: due to time dilation
type: CAUSE
value: due to length
type: CAUSE
Source sentences:
text: When the ship reaches its destination, if it were to exchange a message with its origin planet, it would find that less time had elapsed on board than had elapsed for the planetary observer, due to time dilation and length contraction.