Assertion list
pat (primary) → IsA
Results from Ascent++: 2
pat → IsA → teacher 0.50
pat → IsA → excellent teacher 0.16