module waste action is import [ dc skos xsd ] import [ waste_view ] entity Resident is identity personId -> unknown viewsWasteAs -> waste_view:Grossness emptiesBinsPerMonth -> {0..20} BinPurge end entity Household is identity apartmentId -> unknown contains -> {1..9} Bin inhabitedBy -> {1..4} Resident end ; entity Host is ; provides -> Container ; end entity WasteCollector structure BinPurge is movesWasteFrom -> Bin movesWasteTo -> Container end structure Bin structure Container structure Incinerator end