Assertion list
binder (primary) → IsA
Results from Ascent++: 1
binder → IsA → material 0.47