1064 - Understand how models can be specified into logical rules

Understand how models can be specified into logical rules