Assertion list
right foot (subgroup of foot ) → IsA
Results from Ascent++: 2
right foot → IsA → on the floor 0.43
right foot → IsA → the pivot foot 0.43