Assertion: tai synodic month | /r/HasProperty | given by the formula
Facets:
Source sentences:
text: The TAI synodic month is given by the formula (provided by Doggett, perhaps obtained from Chapront's theory):