Assertion list
reinforced concrete (subgroup of concrete ) → HasA
Results from Ascent++: 1
reinforced concrete → HasA → rebar 0.25