Assertion list
fresh concrete (subgroup of concrete ) → IsA
Results from Ascent++: 1
fresh concrete → IsA → perishable product 0.25