Grammar

invariant

Every PAG keyword record, with what grounds it and how it is checked.