Assertion: large body | /r/HasProperty | m 1
Facets:
Source sentences:
text: where r is the distance from the large body M 1 and sgn(x) is the sign function of x.