Assertion list
second body (subgroup of body ) → HasA
Results from Ascent++: 2
second body → HasA → second articulating surface 0.62
second body → HasA → second sidewall 0.25