Assertion list for term "shall be included in a statement of heads".
Results from Ascent++: 1
sum → ReceivesAction → shall be included in a statement of heads 0.25