Assertion list
manhole cover (primary) → HasProperty
Results from Ascent++: 4
manhole cover → HasProperty → round 0.80
manhole cover → HasProperty → square 0.42
manhole cover → HasProperty → heavy 0.38
manhole cover → HasProperty → loose 0.25