Assertion list
new rifle (subgroup of rifle ) → ReceivesAction
Results from Ascent++: 2
new rifle → ReceivesAction → chambered 0.25
new rifle → ReceivesAction → to be fitted at same time 0.25