Templates

• (<car_par><parameter><value>) a template

• (car_par temperature 135) a fact

• (<car_status><system> functioning <status>) a template

• (car_status breaks functioning slowly ) a fact

• (car_status cooling functioning overheating) a fact

• (car_status gauge functioning OK) a fact

• (<lecture_attribute><property><value>) a template

• (Presentation is Dull) a fact