/instantiate.cyc/1.1/Wed Mar 12 19:56:14 2008//
/ykbuf.cyc/1.1/Wed Mar 12 19:56:14 2008//
D
