Assertion list
cardboard (primary) → IsA
Results from Ascent++: 2
cardboard → IsA → material 0.29
cardboard → IsA → versatile material 0.29