Lobotomy or not, Mentifex here just spent the past
five hours coding the machine-reasoning module of
http://code.google.com/p/mindforth/wiki/InFerence
into the English-thinking, JavaScript AI Mind at
http://www.scn.org/~mentifex/AiMind.html (for MSIE :-)
where you have to click into Diagnsostic Display Mode
to see the silent inference being formed when you
use a be-verb to type in something like
"boys are kids" or "eve is a woman".
The thinking is crude but functional.