Assertion list
span (aspect of bridge ) → HasProperty
Results from Ascent++: 6
span → HasProperty → large 0.55
span → HasProperty → long 0.51
span → HasProperty → the longest 0.51
span → HasProperty → short 0.36
span → HasProperty → open 0.31
span → HasProperty → possible 0.25