channel ItemRegistration {
	out inventory(items:Map, registerItem(itemId:Str, quantity:Int)) == insert(items, itemId, {"count": quantity})
}

channel ReceivingOrShipping(itemId:Str) {
	out inventory.{itemId}.count(prev_quantity:Int, receiveOrship(quantity:Int)) == prev_quantity + quantity
}