Assertion list
nasa astronaut (subgroup of astronaut ) → ReceivesAction
Results from Ascent++: 1
nasa astronaut → ReceivesAction → stranded on mars 0.25