Assertion list
vertical rail (subgroup of rail ) → HasA
Results from Ascent++: 1
vertical rail → HasA → upper end 0.68