Enter an expression in the box below and click "Submit".
Use the buttons for any symbols which don't appear on your keyboard.
Sample Expressions
| Expression:
|
∀ X ( cat(X) → ¬ reptile(X) )
|
| Interpretation:
|
No cats are reptiles.
|
| Expression:
|
meows(garfield)
|
| Interpretation:
|
Garfield meows.
|
| Expression:
|
likes(b,c)
|
| Interpretation:
|
B likes c.
|
|
Vocabulary
- Adjectives
- Transitive Verbs
- Intransitive Verbs
- Nouns
- Proper nouns
- Abstract predicates
- Abstract constants
|