Assertion list
fresh concrete (subgroup of concrete ) → HasProperty

Results from Ascent++: 1
fresh concreteHasProperty alkaline 0.41