Assertion list
rigid body (subgroup of body ) → HasA
Results from Ascent++: 1
rigid body → HasA → six degrees of freedom 0.68