Assertion list
different level (subgroup of level ) → ReceivesAction
Results from Ascent++: 1
different level → ReceivesAction → established 0.68