Assertion list for term "stored in authorization key module".
Results from Ascent++: 1
key → ReceivesAction → stored in authorization key module 0.35