Assertion list for term "reserved in the declaration".
Results from Ascent++: 1
right (aspect of tenant) → ReceivesAction → reserved in the declaration 0.25