Assertion list for term "required under other section of the dgcl".
Results from Ascent++: 1
information (aspect of certificate) → ReceivesAction → required under other section of the dgcl 0.27