Grammar#

The Meson language is defined by the following token types and production rules.

Table 10 Meson token types#

Token type

Matches (case-insensitive except for name tokens)

inf

so|then|therefore|hence|thus|get|infer|find|implies|whence|whereupon

sup

by|since|using|because|for

flow

now|next|claim

roam

but|meanwhile|note|have|from|observe|consider

conj

and|plus

modal

suppose|let

how

applying

name

[A-Za-z?!]([A-Za-z0-9_.]*[A-Za-z0-9_])?

(skip)

[,;.]|\s+

Listing 37 Meson production rules#
MesonScript ::= roam? initialSentence sentence*
initialSentence ::= assertion | supposition
sentence ::= conclusion | (roam|flow)? initialSentence
conclusion ::= inf assertion method?
assertion ::= nodes reason*
reason ::= sup nodes
method ::= how nodes
supposition ::= modal nodes
nodes ::= name (conj name)*