Assertion list for term "revolve around common center of mass".

Results from Ascent++: 1
star CapableOfrevolve around common center of mass 0.35