Remembrance of things long past

 I first talked in Nuance on October 26th  2012 about my work on NL-based KR representations at PARC  and how I wanted to improve it. 
I first gave a talk similar to this in Feb 2010 at SRI (slides in slideshare, paper).
Then I tried to think a bit more along the lines of expressivity vs. complexity, following the work of Larry Moss. 
First at Stanford Workshop on Natural Logic, Proof Theory, and Computational Semantics, March 2011 and  then at RAIN in Austin, Texas, June 2012, when I called it Little Engines of Inference. Further I have written a paper for CommonSense2013, Contexts for Quantification.