inform((_:search,type,'Train'))
user
I need informant on trains .
system
okay what information do you need per say ?
inform((_:search,arrive_by,'21:30');(_:search,day,'tuesday');(_:search,departure,'cambridge');(_:search,destination,'london liverpool street');(_:search,type,'Train'))
user
I 'd like a train from Cambridge to London Liverpool Street , arriving by 21:30 on Tuesday .
inform((_:result,arrive_by,'21:27');(_:result,id,'TR3515');(_:result,type,'Train')) offer((_:booking,category,'Train');(_:booking,type,'Booking'))
system
TR3515 will arrive at 21:27 , would that work for you ?
request((_:result,duration,?);(_:result,ticket,?);(_:result,type,'Train'))
user
Sure . Could you tell me the typical travel time , and price for a ticket ?
inform((_:result,duration,'88 minutes');(_:result,ticket,'16.60 pounds per ticket');(_:result,type,'Train')) offer((_:booking,category,'Train');(_:booking,type,'Booking'))
system
The typical travel time is 88 minutes and it is 16.60 pounds per ticket . Would you like for me to book that for you ?
inform((_:search,area,'center');(_:search,pricerange,'expensive');(_:search,type,'Restaurant')) request((_:result,ticket,?);(_:result,type,'Train'))
user
No . Could you please find me a restaurant in the center of town   in the expensive price range ?
select((_:result,food,'African');(_:result,food,'oriental');(_:result,type,'Restaurant')) inform((_:result,area,'centre');(_:result,count,'5');(_:result,pricerange,'expensive');(_:result,type,'Restaurant'))
system
We have 5 different restaurants in the centre . Two of them are expensive , one of them is African cuisine , the other is oriental cuisine . What do you prefer ?
inform((_:search,pricerange,'expensive');(_:search,type,'Restaurant'))
user
What are the expensive ones ?
inform((_:result,area,'centre');(_:result,count,'5');(_:result,name,'Bedouin');(_:result,name,'Cambridge Chop House');(_:result,name,'Fitzbillies Restaurant');(_:result,name,'Kymmoy');(_:result,name,'and The Midsummer House Restaurant');(_:result,pricerange,'expensive');(_:result,type,'Restaurant'))
system
We have the Bedouin , Kymmoy , Fitzbillies Restaurant , The Cambridge Chop House , and The Midsummer House Restaurant .   All 5 are expensive and in the town centre .
request((_:result,postcode,?);(_:result,type,'Restaurant'))
user
Could I have the postcode of one that you recommend ?
inform((_:result,name,'Bedouin');(_:result,postcode,'CB12BD');(_:result,type,'Restaurant')) reqmore()
system
How about Bedouin ? The postcode is CB12BD . Can I help you with anything else ?
thank()
user
no that is it for today . thanks for helping
system
You 're welcome , have a great day .
_:search type Train
_:search arrive_by 21:30
_:search day tuesday
_:search departure cambridge
_:search destination london liverpool street
_:search type Train
_:search arrive_by 21:30
_:search day tuesday
_:search departure cambridge
_:search destination london liverpool street
_:search type Train
_:result arrive_by 21:27
_:result id TR3515
_:result type Train
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:result duration ?
_:result ticket ?
_:search arrive_by 21:30
_:search day tuesday
_:search departure cambridge
_:search destination london liverpool street
_:result arrive_by 21:27
_:result id TR3515
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:result duration 88 minutes
_:result ticket 16.60 pounds per ticket
_:result type Train
_:search area center
_:search pricerange expensive
_:search type Restaurant
_:result ticket ?
_:search arrive_by 21:30
_:search day tuesday
_:search departure cambridge
_:search destination london liverpool street
_:result arrive_by 21:27
_:result id TR3515
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:result duration 88 minutes
_:result ticket 16.60 pounds per ticket
_:search area center
_:result ticket ?
_:result food African
_:result food oriental
_:result area centre
_:result count 5
_:result pricerange expensive
_:result type Restaurant
_:search pricerange expensive
_:search type Restaurant
_:search arrive_by 21:30
_:search day tuesday
_:search departure cambridge
_:search destination london liverpool street
_:result arrive_by 21:27
_:result id TR3515
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:result duration 88 minutes
_:result ticket 16.60 pounds per ticket
_:search area center
_:result ticket ?
_:result food African
_:result food oriental
_:search pricerange expensive
_:search type Restaurant
_:result area centre
_:result count 5
_:result name Bedouin
_:result name Cambridge Chop House
_:result name Fitzbillies Restaurant
_:result name Kymmoy
_:result name and The Midsummer House Restaurant
_:result pricerange expensive
_:result type Restaurant
_:result postcode ?
_:search arrive_by 21:30
_:search day tuesday
_:search departure cambridge
_:search destination london liverpool street
_:result arrive_by 21:27
_:result id TR3515
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:result duration 88 minutes
_:result ticket 16.60 pounds per ticket
_:search area center
_:result ticket ?
_:result food African
_:result food oriental
_:search pricerange expensive
_:search type Restaurant
_:result area centre
_:result count 5
_:result pricerange expensive
_:result name Bedouin
_:result postcode CB12BD
_:result type Restaurant
_:system inquired _:user