Assertion list
strainer (primary) → IsA
Results from Ascent++: 1
strainer → IsA → device 0.54