CYC: a mid-term report
A truth maintenance system