Assertion: moon | /r/HasProperty | formal name
Facets:
Source sentences:
text: The synodic month is the formal name for the cycle of the Moon's phases.