Assertion list
safety glass (primary) → IsA
Results from Ascent++: 1
safety glass → IsA → glass 0.51