Assertion list
mortar (primary) → IsA
Results from Ascent++: 2
mortar → IsA → the material 0.57
mortar → IsA → the bonding material 0.25