start sd FruitMarket
FruitMarketOntology first_order_logic
agent-publisher fs fruitSeller fruitSellerClass 
agent-reader fb fruitBuyer fruitBuyerClass 
box seq
	message r p request availability_and_price(fruitSet(FS))
	box alternative
		box seq
			message p r inform available(fruit(FS))
			box loop
				box seq
					message p r propose buy(fruit(F),price(EuroForKg))
					message r p inform wanted(F)
					end seq
				end loop
			end seq
		next
		box option
			message p r inform deliverymodes(D)
			end option
		end alternative
	end seq
finish
