Assertion list
dragon spacecraft (subgroup of spacecraft ) → ReceivesAction
Results from Ascent++: 1
dragon spacecraft → ReceivesAction → taken by ship 0.68