On Sun, Sep 23, 2012 at 9:14 PM, Mike S.
<maikxlx@gmail.com> wrote:
formula := simple-formula | modifier formula +| formula AT-termtree
modifier := term | termtree
simple-formula := stem VkV
+AT-termtree := empty-AT-termtree | AT-termtree-extender AT-termtree
+AT-termtree-extender := term | coordinator AT-termtree
+empty-AT-termtree := hi explicit-sentence?
termtree := empty-termtree | termtree-extender termtree
termtree-extender := term | coordinator termtree
empty-termtree := he explicit-sentence?
term := unary-operator | binder formula | coordinator formula
Still exploring this, but I believe there may be problem with the above in that things have to attach to the "core formula" in a certain order: first the modifiers, then the trees.
formula := core-formula | foretree formula | formula aftertree
core-formula := simple-formula | modifier formula
modifier := term | coordinator formula
simple-formula := stem VkV
aftertree := empty-aftertree | aftertree-extender aftertree
aftertree-extender := term | coordinator aftertree
empty-aftertree := hi explicit-sentence?
foretree := empty-foretree | foretree-extender foretree
foretree-extender := term | coordinator foretree
empty-foretree := he explicit-sentence?
term := unary-operator | binder formula | coordinator formula
The aftertrees add a bit of complexity and while I don't think they present any insurmountable problems, they do need to be worked through carefully.