inform((_:search,day,'wednesday');(_:search,departure,'cambridge');(_:search,type,'Train'))
user
I need an information on a train leaving Cambridge on Wednesday , please .
thank() request((_:search,destination,?);(_:search,type,'Train'))
system
I would be happy to help find a train for you . Can you tell me what your destination is ?
inform((_:search,arrive_by,'18:15');(_:search,destination,'birmingham new street');(_:search,type,'Train'))
user
I should arrive at birmingham new street after 18:15
inform((_:result,arrive_by,'01:44');(_:result,day,'wednesday');(_:result,departure,'cambridge');(_:result,destination,'birmingham new street');(_:result,leave_at,'23:01');(_:result,type,'Train'))
system
There is a train from cambridge to birmingham new street on wednesday , leaving at   23:01 and arriving at 01:44 .
request((_:result,id,?);(_:result,type,'Train'))
user
What is the train ID ?
inform((_:result,id,'TR7013');(_:result,type,'Train'))
system
That train ID is TR7013 .
inform((_:search,food,'british');(_:search,pricerange,'expensive');(_:search,type,'Restaurant'))
user
Thank you ! What is an expensive restaurant that serves British food close by ?
select((_:result,area,'Centre');(_:result,area,'West');(_:result,type,'Restaurant')) inform((_:result,amount,'several');(_:result,type,'Restaurant'))
system
I have several . Would you prefer it be in the West or the Centre ?
inform((_:search,area,'centre');(_:search,type,'Restaurant'))
user
The centre , please .
inform((_:result,name,'The cambridge chop house');(_:result,type,'Restaurant'))
system
The cambridge chop house is available , would you like to try that ?
request((_:result,address,?);(_:result,phone,?);(_:result,postcode,?);(_:result,type,'Restaurant'))
user
I think I would .   Can you give me their phone number , postcode , and address , please ?
inform((_:result,address,'1 Kings Parade');(_:result,phone,'01223359506');(_:result,postcode,'cb21sj');(_:result,type,'Restaurant'))
system
Phone number is 01223359506   Postcode is cb21sj Address is 1 Kings Parade
thank()
user
Thank you for your help .
system
The pleasure is all mine !
_:search day wednesday
_:search departure cambridge
_:search type Train
_:search day wednesday
_:search departure cambridge
_:search arrive_by 18:15
_:search destination birmingham new street
_:search type Train
_:search day wednesday
_:search departure cambridge
_:search arrive_by 18:15
_:search destination birmingham new street
_:search type Train
_:result arrive_by 01:44
_:result day wednesday
_:result departure cambridge
_:result destination birmingham new street
_:result leave_at 23:01
_:result type Train
_:result id ?
_:search day wednesday
_:search departure cambridge
_:search arrive_by 18:15
_:search destination birmingham new street
_:result arrive_by 01:44
_:result day wednesday
_:result departure cambridge
_:result destination birmingham new street
_:result leave_at 23:01
_:result id TR7013
_:result type Train
_:search food british
_:search pricerange expensive
_:search type Restaurant
_:search day wednesday
_:search departure cambridge
_:search arrive_by 18:15
_:search destination birmingham new street
_:result arrive_by 01:44
_:result day wednesday
_:result departure cambridge
_:result destination birmingham new street
_:result leave_at 23:01
_:result id TR7013
_:search food british
_:search pricerange expensive
_:result area Centre
_:result area West
_:result amount several
_:result type Restaurant
_:search area centre
_:search type Restaurant
_:search day wednesday
_:search departure cambridge
_:search arrive_by 18:15
_:search destination birmingham new street
_:result arrive_by 01:44
_:result day wednesday
_:result departure cambridge
_:result destination birmingham new street
_:result leave_at 23:01
_:result id TR7013
_:search food british
_:search pricerange expensive
_:result area Centre
_:result area West
_:result amount several
_:search area centre
_:search type Restaurant
_:result name The cambridge chop house
_:result type Restaurant
_:result address ?
_:result phone ?
_:result postcode ?
_:search day wednesday
_:search departure cambridge
_:search arrive_by 18:15
_:search destination birmingham new street
_:result arrive_by 01:44
_:result day wednesday
_:result departure cambridge
_:result destination birmingham new street
_:result leave_at 23:01
_:result id TR7013
_:search food british
_:search pricerange expensive
_:result area Centre
_:result area West
_:result amount several
_:search area centre
_:search type Restaurant
_:result name The cambridge chop house
_:result address 1 Kings Parade
_:result phone 01223359506
_:result postcode cb21sj
_:result type Restaurant