I still depend on the kindness of strangers to post the code excerpts in question so that I can attempt to decipher the possible meanings using symbolic logic.
To help me in this effort I have just borrowed a copy of Elementary Symbolic Logic from my local library. How did I get along so far without it???
I was generously offered a current codebook via e-mail but I am having trouble with my e-mail account. See "kindness of strangers" above.
Regarding the NEC, I think the whole thing can be reduced to a humongous computer program. You type in questions and it answers you. I think they call such a program an "inference network." Maybe somebody already sells one.
If not, if you'll forward me a check then I'll start on it! How's that for a logical IF-THEN statement???