Title: The design and implementation of a knowledge representation and processing language