Cyc: A Midterm Report