report_block

Kind: production

Record: pag:production-report-block

Canonical: Grammar

"REPORT" ":" <report_field>+

Listed in Grammar records, after invariant_record and before report_field.

Grounds

• node:ver-evidence
• invariant:epi-verdict-is-representation

Linked from

• The nodes
• The invariants