Assertion list
mile (aspect of county ) → CapableOf
Results from Ascent++: 2
mile → CapableOf → remain green 0.25
mile → CapableOf → remain open 0.25