Assertion list
station (aspect of metro ) → UsedFor
Results from Ascent++: 1
station → UsedFor → local and regional trains 0.25