Assertion list
awl (primary) → IsA
Results from Ascent++: 1
awl → IsA → tool 0.68