So newask works by [forward chaining](http://en.wikipedia.org/wiki/Forward_chaining)?  How efficient is this as the number of active propositions increases?  What is performance like?  I can imagine the set of facts becoming large as we extend this system to all of Q.