Comments from committee integrated. Sending to AAAI.