inform((_:search,area,'west');(_:search,pricerange,'expensive');(_:search,type,'Restaurant'))
user
I am looking to book an expensive restaurant in the west part of town . What is available ?
request((_:search,food,?);(_:search,type,'Restaurant')) inform((_:result,area,'west');(_:result,count,'9');(_:result,food,'british');(_:result,food,'european');(_:result,food,'indian');(_:result,food,'thai');(_:result,pricerange,'upscale');(_:result,type,'Restaurant'))
system
I have 9 restaurants in the west that are upscale . Are you looking for a particular type of cuisine ? There is british , european , indian and thai to choose from .
inform((_:search,food,'thai');(_:search,type,'Restaurant'))
user
How about some Thai food ?
offer((_:booking,type,'Booking')) inform((_:result,area,'west');(_:result,food,'Thai');(_:result,name,'Sala Thong');(_:result,pricerange,'expensive');(_:result,type,'Restaurant'))
system
Sala Thong is an expensive Thai restaurant in the west end . Would you like a reservation there ?
inform((_:search,day,'wednesday');(_:search,duration,'15:00');(_:search,people,'6');(_:search,type,'Restaurant'))
user
Yes please . Can reserve for 6 people at 15:00 on Wednesday ?
canthelp((_:booking,type,'Booking')) request((_:booking,day,?);(_:booking,duration,?);(_:booking,type,'Booking'))
system
So sorry , that was unsuccessful .   Would another day or time work ?
inform((_:search,duration,'14:00');(_:search,type,'Restaurant'))
user
Could we try for 14:00 instead ?
inform((_:booking,ref,'OP06YQUU');(_:booking,type,'Booking'))
system
Congratulations ! That was successful Your reference number is OP06YQUU .
inform((_:search,name,"saint john 's college");(_:search,type,'Attraction'))
user
Alright , awesome ! Could you also try to find a specific college I 'm looking for ? It 's called Saint John 's College .
reqmore() inform((_:result,area,'centre');(_:result,category,'College');(_:result,name,"Saint John 's College");(_:result,phone,'01223338600');(_:result,type,'Attraction'))
system
Saint John 's College is a College located in the centre of town . The phone number is 01223338600 . Do you need any other information ?
inform((_:search,arrive_by,'14:00');(_:search,departure,'the college');(_:search,destination,'the restaurant');(_:search,type,'Taxi')) request((_:result,car,?);(_:result,type,'Taxi'))
user
Can you book me a taxi to go from the college to the restaurant by 14:00 ? Please include the contact number and car type .
inform((_:result,car,'blue Tesla');(_:result,phone,'07945015073');(_:result,type,'Taxi')) reqmore()
system
I 'm happy to say I 've successfully completed your booking ! The vehicle will be a blue Tesla . Their contact number is 07945015073 . How else may I assist you ?
inform((_:search,arrive_by,'14:00');(_:search,type,'Taxi'))
user
I want to make sure that it will be arriving by 14:00 . Can you confirm ?
system
Yes that it correct .
thank()
user
Okay , thank you . That 's all I need today .
system
You 're welcome . Have a great day !
_:search area west
_:search pricerange expensive
_:search type Restaurant
_:search area west
_:search pricerange expensive
_:result area west
_:result count 9
_:result food british
_:result food european
_:result food indian
_:result food thai
_:result pricerange upscale
_:result type Restaurant
_:search food thai
_:search type Restaurant
_:search area west
_:search pricerange expensive
_:result count 9
_:search food thai
_:system offered _:booking
_:booking type Booking
_:result area west
_:result food Thai
_:result name Sala Thong
_:result pricerange expensive
_:result type Restaurant
_:search day wednesday
_:search duration 15:00
_:search people 6
_:search type Restaurant
_:search area west
_:search pricerange expensive
_:result count 9
_:search food thai
_:system offered _:booking
_:result area west
_:result food Thai
_:result name Sala Thong
_:result pricerange expensive
_:result type Restaurant
_:search day wednesday
_:search people 6
_:system canthelp _:booking/1053476b
_:booking/1053476b type Booking
_:booking day ?
_:booking duration ?
_:booking type Booking
_:search duration 14:00
_:search type Restaurant
_:search area west
_:search pricerange expensive
_:result count 9
_:search food thai
_:system offered _:booking
_:result area west
_:result food Thai
_:result name Sala Thong
_:result pricerange expensive
_:result type Restaurant
_:search day wednesday
_:search people 6
_:system canthelp _:booking/1053476b
_:booking/1053476b type Booking
_:booking day ?
_:booking duration ?
_:search duration 14:00
_:booking ref OP06YQUU
_:booking type Booking
_:search name saint john 's college
_:search type Attraction
_:search area west
_:search pricerange expensive
_:result count 9
_:search food thai
_:system offered _:booking
_:result food Thai
_:result pricerange expensive
_:search day wednesday
_:search people 6
_:system canthelp _:booking/1053476b
_:booking/1053476b type Booking
_:booking day ?
_:booking duration ?
_:search duration 14:00
_:booking ref OP06YQUU
_:booking type Booking
_:search name saint john 's college
_:system inquired _:user
_:result area centre
_:result category College
_:result name Saint John 's College
_:result phone 01223338600
_:result type Attraction
_:search arrive_by 14:00
_:search departure the college
_:search destination the restaurant
_:search type Taxi
_:result car ?
_:result type Taxi
_:search area west
_:search pricerange expensive
_:result count 9
_:search food thai
_:system offered _:booking
_:result food Thai
_:result pricerange expensive
_:search day wednesday
_:search people 6
_:system canthelp _:booking/1053476b
_:booking/1053476b type Booking
_:booking day ?
_:booking duration ?
_:search duration 14:00
_:booking ref OP06YQUU
_:booking type Booking
_:search name saint john 's college
_:result area centre
_:result category College
_:result name Saint John 's College
_:search departure the college
_:search destination the restaurant
_:result car blue Tesla
_:result phone 07945015073
_:result type Taxi
_:system inquired _:user
_:search arrive_by 14:00
_:search type Taxi
_:search area west
_:search pricerange expensive
_:result count 9
_:search food thai
_:system offered _:booking
_:result food Thai
_:result pricerange expensive
_:search day wednesday
_:search people 6
_:system canthelp _:booking/1053476b
_:booking/1053476b type Booking
_:booking day ?
_:booking duration ?
_:search duration 14:00
_:booking ref OP06YQUU
_:booking type Booking
_:search name saint john 's college
_:result area centre
_:result category College
_:result name Saint John 's College
_:search departure the college
_:search destination the restaurant
_:result car blue Tesla
_:result phone 07945015073
_:result type Taxi
_:system inquired _:user
_:search arrive_by 14:00
_:search type Taxi