---
source: crates/elenchus-parser/tests/errors.rs
assertion_line: 157
expression: "err(r#\"\n        FACT a b\n        %%% not a statement\n        FACT c d\n        \"#)"
---
RESULT: 1 syntax error

statement  (1 problem)
  expected one of these statements:
      DOMAIN <name>
      FACT [<domain>.]<Subject> <predicate> [<object>]
      NOT <Subject> <predicate> [<object>]
      ASSUME [NOT] <Subject> <predicate> [<object>]
      TRY [NOT] <Subject> <predicate> [<object>] [FOR [NOT] <atom>]
      PROVE [NOT] <Subject> <predicate> [<object>]
      HENCE [NOT] <Subject> <predicate> [<object>] FROM <ref>[, <ref>]
      KNOWS <Agent> [NOT] <Subject> <predicate> [<object>]
      BELIEVES <Agent> [NOT] <Subject> <predicate> [<object>]
      PREMISE <name>:  then a list body or a WHEN ... THEN implication
      RULE <name>:  then a WHEN ... THEN implication
      CHECK [<subject>] [BIDIRECTIONAL]
      SET <name>  then one element per line (>= 1)
      CLOSE <relation> TRANSITIVE
      PREFERS <winner-rule> OVER <loser-rule>
      TOTAL <relation> ON <set>
      VAR <name> [DEFAULT true|false]
      PROVIDE [<domain>.]<port|atom>: true|false
      IMPORT "<path>" [AS <alias>]
    line 3, col 9 - expected a statement — a line must start with DOMAIN, FACT, NOT, ASSUME, TRY, PROVE, HENCE, KNOWS, BELIEVES, PREMISE, RULE, CHECK, SET, CLOSE, PREFERS, TOTAL, VAR, PROVIDE, or IMPORT
      |         %%% not a statement
      |         ^^^^^^^^^^^^^^^^^^^
