// Description:  CLab# 1.0 Example
// Author:  CLab# Crew
// Date:  2006-08-16

type
  userType {Visitor,Employee};
  paperType {A3,A4,A5};
  printerType {Simple,Advanced};
  inkType {Color,Black};

variable
  userType User;
  printerType Printer;
  inkType Ink;
  paperType Papersize;
 

rule
  ((Printer == Simple) >> (Papersize != A3));
  ((Printer == Simple) >> (Ink == Black));
  ((Papersize == A3) >> (Ink == Black));
  ((User == Visitor) >> (Printer == Simple));