vocabulary MultiInheritance;

/*
 * Value Types
 */
Employee ID is written as Auto Counter;
Person Name is written as String;
TFN is written as Char(9);

/*
 * Entity Types
 */
Person is identified by its Name;

Australian is a kind of Person;
Australian has at most one TFN,
	TFN is of one Australian;

Employee is a kind of Person identified by its ID;

Australian Employee is a kind of Employee, Australian;