inform((_:search,area,'centre');(_:search,pricerange,'expensive');(_:search,type,'Restaurant'))
user
I want to find an expensive restaurant in the centre of town .
inform((_:result,area,'centre');(_:result,food,'british');(_:result,name,'cambridge chop house');(_:result,pricerange,'expensive');(_:result,type,'Restaurant'))
system
The cambridge chop house serves british food ,   it is in the centre of town and is in the expensive price range .
request((_:result,phone,?);(_:result,postcode,?);(_:result,type,'Restaurant'))
user
Great , what is the postcode and phone number ?
inform((_:result,phone,'01223359506');(_:result,postcode,'cb21sj');(_:result,type,'Restaurant'))
system
The postcode is cb21sj and the phone number is 01223359506 .
inform((_:search,departure,'cambridge');(_:search,destination,'stansted airport');(_:search,type,'Train'))
user
I also need a train from Cambridge to Stansted Airport .   Can you please look that up for me .
inform((_:result,count,'5');(_:result,type,'Train')) request((_:search,leave_at,?);(_:search,type,'Train'))
system
i got 5 choices .   what time do you want to leave ?
inform((_:search,arrive_by,'18:15');(_:search,day,'wednesday');(_:search,type,'Train'))
user
I just need to   leave on Wednesday and should arrive by 18:15 .
inform((_:result,arrive_by,'17:08');(_:result,destination,'Stansted Airport');(_:result,id,'TR2912');(_:result,type,'Train')) offer((_:booking,category,'Train');(_:booking,type,'Booking'))
system
Train TR2912 arrives at Stansted Airport at 17:08 . Would you like to reserve a ticket ?
request((_:result,leave_at,?);(_:result,type,'Train'))
user
What is the departure time ?
inform((_:result,leave_at,'17:00');(_:result,type,'Train'))
system
I will be leaving at 17:00 .
thank()
user
Ok , thank you . That is all the information I need today .
system
OK , if that 's all you need , I 'm happy to have been of service ! Have a wonderful day .
_:search area centre
_:search pricerange expensive
_:search type Restaurant
_:search area centre
_:search pricerange expensive
_:search type Restaurant
_:result area centre
_:result food british
_:result name cambridge chop house
_:result pricerange expensive
_:result type Restaurant
_:result phone ?
_:result postcode ?
_:search area centre
_:search pricerange expensive
_:result area centre
_:result food british
_:result name cambridge chop house
_:result pricerange expensive
_:result phone 01223359506
_:result postcode cb21sj
_:result type Restaurant
_:search departure cambridge
_:search destination stansted airport
_:search type Train
_:search area centre
_:search pricerange expensive
_:result area centre
_:result food british
_:result name cambridge chop house
_:result pricerange expensive
_:result phone 01223359506
_:result postcode cb21sj
_:search departure cambridge
_:search destination stansted airport
_:result count 5
_:result type Train
_:search leave_at ?
_:search arrive_by 18:15
_:search day wednesday
_:search type Train
_:search area centre
_:search pricerange expensive
_:result area centre
_:result food british
_:result name cambridge chop house
_:result pricerange expensive
_:result phone 01223359506
_:result postcode cb21sj
_:search departure cambridge
_:search destination stansted airport
_:result count 5
_:search leave_at ?
_:search arrive_by 18:15
_:search day wednesday
_:search type Train
_:result arrive_by 17:08
_:result destination Stansted Airport
_:result id TR2912
_:result type Train
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:result leave_at ?
_:search area centre
_:search pricerange expensive
_:result area centre
_:result food british
_:result name cambridge chop house
_:result pricerange expensive
_:result phone 01223359506
_:result postcode cb21sj
_:search departure cambridge
_:search destination stansted airport
_:result count 5
_:search leave_at ?
_:search arrive_by 18:15
_:search day wednesday
_:search type Train
_:result arrive_by 17:08
_:result destination Stansted Airport
_:result id TR2912
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:result leave_at 17:00
_:result type Train