module waste action is import [ dc skos xsd ] import [ waste_view ] entity Resident is identity personId -> unknown viewsWasteAs -> {unique 0..6} waste_view:Grossness end entity Household is identity apartmentId -> unknown contains -> {1..9} Bin inhabitedBy -> {1..4} Resident end ; entity Host is ; provides -> Container ; end entity WasteCollector entity Bin is identity binId -> unknown capacity -> BinCapacity spareCapacity -> BinSpareCapacity end event BinEmptied source Bin is of -> Bin by -> Resident to -> Container resets -> BinSpareCapacity end event BinFilled source Bin is by -> Resident end structure Container structure Incinerator end