Assertion list
freight railroad (subgroup of railroad ) → CapableOf
Results from Ascent++: 1
freight railroad → CapableOf → implement positive train contro… 0.41