Assertion list
concrete crack (subgroup of crack ) → IsA
Results from Ascent++: 1
concrete crack → IsA → repaired using epoxy 0.68