Assertion list
train (primary) → HasPrerequisite
Results from Ascent++: 3
train → HasPrerequisite → change 0.52
train → HasPrerequisite → reservation 0.51
train → HasPrerequisite → a seat reservation 0.44