Assertion list
passenger train (subgroup of train ) → HasProperty
Results from Ascent++: 4
passenger train → HasProperty → short 0.66
passenger train → HasProperty → fast 0.51
passenger train → HasProperty → long 0.47
passenger train → HasProperty → late 0.16