From: Tom Murphy

Next week one sub-team will implement rule generation and another will
implement indexing and subsumption. We also hope to start putting these
pieces together, which will no doubt require some rewriting.

 - Tom and Team Red