The rst argument to :make-proposition is the class of the proposition. The slots are typically filled with pointers into the domain representation of the application program
Đối số rst cho: làm cho đề xuất là các lớp học của các đề xuất. Các khe cắm thường được làm đầy với con trỏ vào tên miền đại diện chương trình ứng dụng