Assertion list
high speed train (subgroup of train ) → ReceivesAction
Results from Ascent++: 2
high speed train → ReceivesAction → powered by electricity 0.76
high speed train → ReceivesAction → operated by korail 0.25