Assertion list
roof shingle (subgroup of shingle ) → IsA

Results from Ascent++: 2
roof shingleIsA common roofing material 0.72
roof shingleIsA a roof covering 0.52