Assertion list for term "removed till completion of verification".
Results from Ascent++: 1
research paper (subgroup of paper) → ReceivesAction → removed till completion of verification 0.24