Using { } To Name Sentences

We'll modify FOL's syntax by adding braces { }

{ sentence } : Object

says(Alice, { isFood(chocolcate) ∧ isFood(coffee) })

Call this folq