Assertion list
opening (aspect of bridge ) → HasProperty
Results from Ascent++: 2
opening → HasProperty → large 0.25
opening → HasProperty → wide 0.25