Assertion list for term "established by each ocistmtsetpieceinfo".
Results from Ascent++: 1
size → ReceivesAction → established by each ocistmtsetpieceinfo 0.27