Greetings nj, First off, I share your interest in logic and formalism.  Your detailed digital representations in this area are of interest to me.  In my opinion, through these you contribute value to this forum.  Secondly, what follows is not to be taken as a relevancy challenge of your material to what is presented within the pages of WITW.  As you will recall from having examined the contents of the 'Forum and NLP' thread, Michael wrote, "In terms of content of the posts; John and Carmen wanted to see active discussion around 6 key topics. (posted below) John and Carmen particularly wanted to see news of peoples’ work, they had a high interest in contributors reporting info about new models... Here are the suggestions for topics 1. Modeling 2. Applications 3. New Code 4. Proposed Solutions to Puzzles and Recommendations 5. Origins and Definitions 6. Epistemology" I would like to offer you the challenge of explicating your intuitions concerning the relationship between the proposition defined by this thread's topic heading and the quoted material provided above.  There is a lot of territory to work with here, nj...enjoy!  Though I share your interest in logic and formalism, I am not well grounded in that domain.  To be perfectly honest withr you, I am  in possession of the following relevant texts: Copi's "Introduction to Logic", Chomsky's "Aspects...", "Syntactic Structures", "Language and Mind".  I have, with regret, only made it through the first dozen or so pages of each.  At this time step, I feel that I am unable to respond intelligently to your request: "(15) If you spot an inadequacy or other error in the syllogism standardization criterion I give in item (9) of this post, could you please reply back to this post?  I will also appreciate any reply that alerts me to other errors in this post." Further, even if I was better prepared, I do not feel that this forum is the appropriate medium within which to speculate upon these matters...unless of course the content assumes the form as specifed above.  Consider it a coding decision, nj, if it so suits you. As an aside, what specific text(s) would you recommend that the interested reader read, whose intention is to respond intelligently and appropriately to what you have presented? "ps: if you're interested in how to parameterize subject and predicate terms in a syllogism, reply to this post, and I'll explain what I think it is to parameterize subject and predicate terms.  I didn't explain what I meant by parametrization of terms in this post, but I can in a reply post." With keen interest, -Pete West