Commit a22307bf authored by jfschaefer's avatar jfschaefer
Browse files

add example inputs to README

parent 1a437b46
......@@ -36,6 +36,33 @@ You can also setup MMT on your machine (recommended if you want to change the la
In both cases, you will need to modify the class path in the demo scripts to the new GLF jar and MMT jar.
Example Inputs
===
#### `life_demo.sh`
* *Joan loves herself*
* *Joan runs and Mary runs*
#### `quantified_demo.sh`
* *everyone loves John*
* *Mary loves someone*
* *John and Mary run*
#### `tableau_demo.sh`
* *John runs*
* *if John loves Mary then Mary loves John*
* *John doesn't run or John loves Mary*
#### `modal_demo.sh`
* *John runs*
* *John isn't allowed to run*
* *Mary believes John has to run*
Experimenting with the Grammars
===
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment