Assertion list
heavy frigate (subgroup of frigate ) → ReceivesAction
Results from Ascent++: 1
heavy frigate → ReceivesAction → laid down at earth 0.68