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