Assertion list
mortar (primary) → HasA
Results from Ascent++: 4
mortar → HasA → carbon nanotubes 0.25
mortar → HasA → cfbc desulfurization slag 0.25
mortar → HasA → hydraulic cement 0.25
mortar → HasA → shorter lifespan 0.25