inform((_:search,area,'west');(_:search,pricerange,'moderately');(_:search,type,'Restaurant'))
user
Find me a moderately priced place to dine in the west .
select((_:result,food,'British');(_:result,food,'Indian');(_:result,food,'Italian');(_:result,type,'Restaurant')) inform((_:result,count,'3');(_:result,type,'Restaurant'))
system
I have 3 options for you - British , Indian , and Italian . Do you have a preference ?
inform((_:search,day,'sunday');(_:search,duration,'13:15');(_:search,food,'british');(_:search,people,'7');(_:search,type,'Restaurant'))
user
How about the British place , I would like to book for 7 people at 13:15 on sunday
inform((_:booking,name,'saint johns chop house');(_:booking,people,'7');(_:booking,ref,'XPKRJXC3');(_:booking,type,'Booking')) thank()
system
Ok .   I have a table for 7 booked at saint johns chop house . Your reference number is XPKRJXC3 .   They will hold the table for 15 minutes .
thank()
user
Excellent , thank you so much .
reqmore()
system
Is there anythign else I can help you with today ?
inform((_:search,day,'sunday');(_:search,destination,'cambridge');(_:search,type,'Train'))
user
I also need a train to cambridge on sunday
inform((_:result,amount,'a lot of');(_:result,type,'Train')) request((_:search,arrive_by,?);(_:search,departure,?);(_:search,leave_at,?);(_:search,type,'Train'))
system
You have a lot of options . Would you like to narrow it down by departure site , departure time , or arrival time ?
inform((_:search,departure,'cambridge');(_:search,destination,'broxbourne');(_:search,type,'Train'))
user
actually , i 'm so stupid . i need a train FROM cambridge . i 'm going to broxbourne .
inform((_:result,amount,'lots of');(_:result,type,'Train')) request((_:search,leave_at,?);(_:search,type,'Train'))
system
No problem , there are lots of options .   Did you have a time to leave in mind ?
inform((_:search,departure,'cambridge');(_:search,destination,'broxbourne');(_:search,leave_at,'11:30');(_:search,type,'Train')) request((_:result,arrive_by,?);(_:result,type,'Train'))
user
I am leaving anytime after 11:30 from cambridge to broxbourne , what is the arrival time ?
inform((_:result,arrive_by,'13:01');(_:result,id,'TR2939');(_:result,type,'Train')) offer((_:booking,category,'Train');(_:booking,type,'Booking'))
system
TR2939 would have an arrival time of 13:01 . Would you like to book this train ?
request((_:result,arrive_by,?);(_:result,type,'Train'))
user
No thanks , I just wanted to know the arrival time .
reqmore()
system
Is there anything else ?
bye()
user
No , You have helped with everything I needed .   Thanks so much for your time .   Bye .
system
Have a great trip .
_:search area west
_:search pricerange moderately
_:search type Restaurant
_:search area west
_:search pricerange moderately
_:result food British
_:result food Indian
_:result food Italian
_:result count 3
_:result type Restaurant
_:search day sunday
_:search duration 13:15
_:search food british
_:search people 7
_:search type Restaurant
_:search area west
_:search pricerange moderately
_:result food British
_:result food Indian
_:result food Italian
_:result count 3
_:result type Restaurant
_:search day sunday
_:search duration 13:15
_:search food british
_:search people 7
_:search type Restaurant
_:booking name saint johns chop house
_:booking people 7
_:booking ref XPKRJXC3
_:booking type Booking
_:search area west
_:search pricerange moderately
_:result food British
_:result food Indian
_:result food Italian
_:result count 3
_:result type Restaurant
_:search duration 13:15
_:search food british
_:search people 7
_:booking name saint johns chop house
_:booking people 7
_:booking ref XPKRJXC3
_:booking type Booking
_:system inquired _:user
_:search day sunday
_:search destination cambridge
_:search type Train
_:search area west
_:search pricerange moderately
_:result food British
_:result food Indian
_:result food Italian
_:result count 3
_:search duration 13:15
_:search food british
_:search people 7
_:booking name saint johns chop house
_:booking people 7
_:booking ref XPKRJXC3
_:booking type Booking
_:system inquired _:user
_:search day sunday
_:result amount a lot of
_:result type Train
_:search arrive_by ?
_:search leave_at ?
_:search departure cambridge
_:search destination broxbourne
_:search type Train
_:search area west
_:search pricerange moderately
_:result food British
_:result food Indian
_:result food Italian
_:result count 3
_:search duration 13:15
_:search food british
_:search people 7
_:booking name saint johns chop house
_:booking people 7
_:booking ref XPKRJXC3
_:booking type Booking
_:system inquired _:user
_:search day sunday
_:search arrive_by ?
_:result amount lots of
_:result type Train
_:search departure cambridge
_:search destination broxbourne
_:search leave_at 11:30
_:search type Train
_:result arrive_by ?
_:search area west
_:search pricerange moderately
_:result food British
_:result food Indian
_:result food Italian
_:result count 3
_:search duration 13:15
_:search food british
_:search people 7
_:booking name saint johns chop house
_:booking people 7
_:booking ref XPKRJXC3
_:booking type Booking
_:system inquired _:user
_:search day sunday
_:search arrive_by ?
_:result amount lots of
_:search departure cambridge
_:search destination broxbourne
_:search leave_at 11:30
_:search type Train
_:result arrive_by 13:01
_:result id TR2939
_:result type Train
_:system offered _:booking
_:booking category Train
_:result arrive_by ?
_:search area west
_:search pricerange moderately
_:result food British
_:result food Indian
_:result food Italian
_:result count 3
_:search duration 13:15
_:search food british
_:search people 7
_:booking name saint johns chop house
_:booking people 7
_:booking ref XPKRJXC3
_:booking type Booking
_:search day sunday
_:search arrive_by ?
_:result amount lots of
_:search departure cambridge
_:search destination broxbourne
_:search leave_at 11:30
_:search type Train
_:result arrive_by 13:01
_:result id TR2939
_:result type Train
_:system offered _:booking
_:booking category Train
_:result arrive_by ?
_:system inquired _:user
_:user dismissed _:system