Assertion list
freight train (subgroup of train ) → HasA
Results from Ascent++: 1
freight train → HasA → priority 0.77