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