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;