Assertion list
covered bridge (primary) → HasProperty
Results from Ascent++: 1
covered bridge → HasProperty → open 0.16