Assertion list
breakwater (primary) → HasProperty
Results from Ascent++: 2
breakwater → HasProperty → long 0.29
breakwater → HasProperty → visible 0.25