Assertion list
structure (aspect of sponge ) → ReceivesAction
Results from Ascent++: 1
structure → ReceivesAction → identified by comparison of the… 0.68