module waste action is import [ dc skos xsd ] import [ waste_view ] entity Resident is identity citizenId -> unknown viewsWasteAs -> {unique 0..6} waste_view:Grossness end entity Household is identity apartmentId -> unknown furnishedWith -> {1..9} Bin inhabitedBy -> {1..4} Resident end entity Host is identity HostingId -> unknown providesContainer -> Container end entity WasteCollector entity Bin is identity binId -> unknown binCapacity -> BinCapacity binSpareCapacity -> BinSpareCapacity end event BinEmptied source Bin is binEmptied -> Bin binEmptiedBy -> Resident binEmptiedTo -> Container binResets -> BinSpareCapacity end event BinFilled source Bin is by -> Resident end event ContainerEmptied source Container is containerEmptied -> Container containerEmptiedBy -> WasteCollector containerEmptiedTo -> RecyclingPlant containerResets -> ContainerSpareCapacity end structure Container structure Incinerator end