module waste base is entity Citizen entity Host entity WasteCollector structure Garbage is isGrosserThan -> Trash end structure Trash is isGrosserThan -> Rubbish end structure Rubbish is isGrosserThan -> Waste end structure Waste is isGrosserThan -> Litter end structure Litter is isGrosserThan -> Refuse end end