Assertion list
freight railroad (subgroup of railroad ) → HasA
Results from Ascent++: 1
freight railroad → HasA → ptc 0.16