Assertion: star's magnitude | /r/HasProperty | given by the pythagorean theorem
Facets:
Source sentences:
text: The magnitude of the proper motion μ is given by the Pythagorean theorem: