Assertion list
heavy tank (subgroup of tank ) → ReceivesAction
Results from Ascent++: 2
heavy tank → ReceivesAction → designed with thick armour 0.68
heavy tank → ReceivesAction → developed as successor 0.25