Assertion list
second body (subgroup of body ) → HasProperty
Results from Ascent++: 3
second body → HasProperty → slidable 0.68
second body → HasProperty → smaller 0.25
second body → HasProperty → tiltable 0.25