Assertion list
high speed train (subgroup of train ) → HasPrerequisite
Results from Ascent++: 1
high speed train → HasPrerequisite → reservation 0.82