Assertion list
reinforced concrete (subgroup of concrete ) → IsA
Results from Ascent++: 1
reinforced concrete → IsA → concrete 0.68