inform((_:search,area,'south');(_:search,food,'modern european');(_:search,type,'Restaurant'))
user
Find me a modern european restaurant in the south .
offer((_:booking,type,'Booking')) inform((_:result,name,'Restaurant alimentum');(_:result,type,'Restaurant'))
system
I found Restaurant alimentum that fits your needs . Would you like me to book that for you ?
inform((_:search,pricerange,'moderate');(_:search,type,'Restaurant'))
user
Is it in the moderate price range ?
offer((_:booking,type,'Booking'))
system
Yes it is . Would you like me to book it for you ?
inform((_:search,day,'friday');(_:search,duration,'15:30');(_:search,people,'7');(_:search,type,'Restaurant'))
user
Yes , book for 7 people at 15:30 on friday please .
canthelp((_:booking,duration,'that time slot');(_:booking,type,'Booking')) request((_:booking,duration,?);(_:booking,type,'Booking'))
system
I 'm sorry , that is n't available for that time slot .   Can you change it perhaps ?
inform((_:search,duration,'14:30');(_:search,type,'Restaurant'))
user
Well how about 14:30 then ?
reqmore() inform((_:booking,duration,'14:30');(_:booking,ref,'7H21OO6L');(_:booking,type,'Booking'))
system
Yes , I was able to book your party at 14:30 .   Your reference number is 7H21OO6L .   Please note the table will be held for 15 minutes . You need anything else ?
inform((_:search,name,'castle galleries');(_:search,type,'Attraction'))
user
do you know where castle galleries is
inform((_:result,address,'unit su43 , grande arcade , saint andrews street');(_:result,type,'Attraction'))
system
Yes , the address is unit su43 , grande arcade , saint andrews street .
request((_:result,area,?);(_:result,category,?);(_:result,postcode,?);(_:result,type,'Attraction'))
user
What is the post code , area of town , and type of attraction ?
inform((_:result,area,'centre');(_:result,category,'museum');(_:result,postcode,'cb23bj');(_:result,type,'Attraction'))
system
The post code is cb23bj , it is in the centre of town , and it is a museum .
inform((_:search,type,'Taxi'))
user
I also need a taxi , to go between the two places .
request((_:search,arrive_by,?);(_:search,leave_at,?);(_:search,type,'Taxi'))
system
Sure ! When would you like to leave and arrive by ?
inform((_:search,arrive_by,'time for my booking');(_:search,destination,'the restaurant');(_:search,type,'Taxi'))
user
I would like to arrive at the restaurant in time for my booking .
inform((_:result,car,'grey Volvo');(_:result,phone,'07114144706');(_:result,type,'Taxi')) reqmore()
system
I have booked a grey Volvo for you . The contact number is 07114144706 . Is there anything else I can do for you ?
bye()
user
No thanks . I think that was all . Have a good day . Bye .
system
Glad to have been of help .   Take care .
_:search area south
_:search food modern european
_:search type Restaurant
_:search area south
_:search food modern european
_:system offered _:booking
_:booking type Booking
_:result name Restaurant alimentum
_:result type Restaurant
_:search pricerange moderate
_:search type Restaurant
_:search area south
_:search food modern european
_:system offered _:booking
_:booking type Booking
_:result name Restaurant alimentum
_:result type Restaurant
_:search pricerange moderate
_:search day friday
_:search duration 15:30
_:search people 7
_:search type Restaurant
_:search area south
_:search food modern european
_:system offered _:booking
_:result name Restaurant alimentum
_:result type Restaurant
_:search pricerange moderate
_:search day friday
_:search people 7
_:system canthelp _:booking/6634ab8c
_:booking/6634ab8c duration that time slot
_:booking/6634ab8c type Booking
_:booking duration ?
_:booking type Booking
_:search duration 14:30
_:search type Restaurant
_:search area south
_:search food modern european
_:system offered _:booking
_:result name Restaurant alimentum
_:result type Restaurant
_:search pricerange moderate
_:search day friday
_:search people 7
_:system canthelp _:booking/6634ab8c
_:booking/6634ab8c duration that time slot
_:booking/6634ab8c type Booking
_:search duration 14:30
_:system inquired _:user
_:booking duration 14:30
_:booking ref 7H21OO6L
_:booking type Booking
_:search name castle galleries
_:search type Attraction
_:search area south
_:search food modern european
_:system offered _:booking
_:result name Restaurant alimentum
_:search pricerange moderate
_:search day friday
_:search people 7
_:system canthelp _:booking/6634ab8c
_:booking/6634ab8c duration that time slot
_:booking/6634ab8c type Booking
_:search duration 14:30
_:system inquired _:user
_:booking duration 14:30
_:booking ref 7H21OO6L
_:booking type Booking
_:search name castle galleries
_:search type Attraction
_:result address unit su43 , grande arcade , saint andrews street
_:result type Attraction
_:result area ?
_:result category ?
_:result postcode ?
_:search area south
_:search food modern european
_:system offered _:booking
_:result name Restaurant alimentum
_:search pricerange moderate
_:search day friday
_:search people 7
_:system canthelp _:booking/6634ab8c
_:booking/6634ab8c duration that time slot
_:booking/6634ab8c type Booking
_:search duration 14:30
_:system inquired _:user
_:booking duration 14:30
_:booking ref 7H21OO6L
_:booking type Booking
_:search name castle galleries
_:result address unit su43 , grande arcade , saint andrews street
_:result area centre
_:result category museum
_:result postcode cb23bj
_:result type Attraction
_:search type Taxi
_:search area south
_:search food modern european
_:system offered _:booking
_:result name Restaurant alimentum
_:search pricerange moderate
_:search day friday
_:search people 7
_:system canthelp _:booking/6634ab8c
_:booking/6634ab8c duration that time slot
_:booking/6634ab8c type Booking
_:search duration 14:30
_:system inquired _:user
_:booking duration 14:30
_:booking ref 7H21OO6L
_:booking type Booking
_:search name castle galleries
_:result address unit su43 , grande arcade , saint andrews street
_:result area centre
_:result category museum
_:result postcode cb23bj
_:result type Attraction
_:search leave_at ?
_:search arrive_by time for my booking
_:search destination the restaurant
_:search type Taxi
_:search area south
_:search food modern european
_:system offered _:booking
_:result name Restaurant alimentum
_:search pricerange moderate
_:search day friday
_:search people 7
_:system canthelp _:booking/6634ab8c
_:booking/6634ab8c duration that time slot
_:booking/6634ab8c type Booking
_:search duration 14:30
_:booking duration 14:30
_:booking ref 7H21OO6L
_:booking type Booking
_:search name castle galleries
_:result address unit su43 , grande arcade , saint andrews street
_:result area centre
_:result category museum
_:result postcode cb23bj
_:search leave_at ?
_:search arrive_by time for my booking
_:search destination the restaurant
_:search type Taxi
_:result car grey Volvo
_:result phone 07114144706
_:result type Taxi
_:system inquired _:user
_:user dismissed _:system