Assertion list
train station (primary) → AtLocation
Results from Ascent++: 2
train station → AtLocation → the airail terminal 0.25
train station → AtLocation → the city 0.25