% lab1or.pl: Record the facts and rule as in Example 2