Grammar

result_line

Kind: production

Record: pag:production-result-line

Canonical: Grammar

"result:" "pass" <arrow> <next_node> ("|" <failure_name> <arrow> "REPAIR" "(owner:" <owner_node> ")")+ "|" "unknown" <arrow> "BLOCKED"

Listed in Grammar records, after standing_line and before arrow.

Grounds

  • node:ver-refutation
  • node:ter-block

Linked from

  • The nodes