Assertion list
behavior (aspect of dog ) → IsA
Results from Ascent++: 1
behavior → IsA → action 0.28