Assertion list
rotation (primary) → IsA
Results from Ascent++: 2
rotation → IsA → transformation 0.40
rotation → IsA → rigid motion 0.25