Assertion list
new format (subgroup of format ) → ReceivesAction
Results from Ascent++: 2
new format → ReceivesAction → introduced 0.77
new format → ReceivesAction → developed 0.37