Assertion list
main body (subgroup of body ) → HasProperty
Results from Ascent++: 2
main body → HasProperty → moveable 0.25
main body → HasProperty → possible 0.25