Assertion list
freight train (subgroup of train ) → HasProperty
Results from Ascent++: 2
freight train → HasProperty → slower 0.41
freight train → HasProperty → long 0.32