Knowol : the knowledge oriented language - Ferris, Jeffrey (Intelligent Machine Company, 1986)