inform((_:search,departure,'cambridge');(_:search,leave_at,'20:30');(_:search,type,'Train'))
user
I 'm looking for a train that leaves cambridge after 20:30
request((_:search,destination,?);(_:search,type,'Train'))
system
Where would you like the train to take you ?
inform((_:search,destination,'leicester');(_:search,type,'Train'))
user
I want to go to Leicester .
inform((_:result,id,'TR3466');(_:result,leave_at,'22:21');(_:result,type,'Train')) offer((_:booking,category,'Train');(_:booking,type,'Booking'))
system
TR3466 leaves at 22:21 would that work for you ?
inform((_:search,people,'3');(_:search,type,'Train')) request((_:result,ref,?);(_:result,type,'Train'))
user
Yes , that will work fine . Will you please book it for 3 people and also provide the reference number ?
inform((_:booking,category,'Train');(_:booking,id,'TR3466');(_:booking,people,'3');(_:booking,ref,'TB112VJL');(_:booking,ticket,'113.4 GBP');(_:booking,type,'Booking'))
system
Your reservation is confirmed for 3 people on Train ID TR3466 . Your reference number is TB112VJL . Total fee is 113.4 GBP payable at the station .
inform((_:search,food,'venetian');(_:search,pricerange,'cheap');(_:search,type,'Restaurant'))
user
I 'm also looking for a cheap place to dine that serves venetian food .
canthelp((_:search,food,'venetian');(_:search,type,'Restaurant')) reqmore()
system
I 'm afraid we do n't have any venetian restaurants in town . Is there something else that would work for you ?
inform((_:search,food,'spanish');(_:search,type,'Restaurant'))
user
Can you recommend a place that services spanish food ?
inform((_:result,area,'ctre');(_:result,food,'spanish');(_:result,name,'La raza');(_:result,type,'Restaurant'))
system
La raza is located in ctre and serves spanish food .
thank()
user
Great . Thanks for all your help .
system
I hope you enjoy your train trip .
_:search departure cambridge
_:search leave_at 20:30
_:search type Train
_:search departure cambridge
_:search leave_at 20:30
_:search destination leicester
_:search type Train
_:search departure cambridge
_:search leave_at 20:30
_:search destination leicester
_:result id TR3466
_:result leave_at 22:21
_:result type Train
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:search people 3
_:search type Train
_:result ref ?
_:search departure cambridge
_:search leave_at 20:30
_:search destination leicester
_:result id TR3466
_:result leave_at 22:21
_:result type Train
_:system offered _:booking
_:search people 3
_:result ref ?
_:booking category Train
_:booking id TR3466
_:booking people 3
_:booking ref TB112VJL
_:booking ticket 113.4 GBP
_:booking type Booking
_:search food venetian
_:search pricerange cheap
_:search type Restaurant
_:search departure cambridge
_:search leave_at 20:30
_:search destination leicester
_:result id TR3466
_:result leave_at 22:21
_:result type Train
_:system offered _:booking
_:search people 3
_:result ref ?
_:booking category Train
_:booking id TR3466
_:booking people 3
_:booking ref TB112VJL
_:booking ticket 113.4 GBP
_:booking type Booking
_:search pricerange cheap
_:system canthelp _:search/f5b65149
_:search/f5b65149 food venetian
_:search/f5b65149 type Restaurant
_:system inquired _:user
_:search food spanish
_:search type Restaurant
_:search departure cambridge
_:search leave_at 20:30
_:search destination leicester
_:result id TR3466
_:result leave_at 22:21
_:system offered _:booking
_:search people 3
_:result ref ?
_:booking category Train
_:booking id TR3466
_:booking people 3
_:booking ref TB112VJL
_:booking ticket 113.4 GBP
_:booking type Booking
_:search pricerange cheap
_:system canthelp _:search/f5b65149
_:search/f5b65149 food venetian
_:search/f5b65149 type Restaurant
_:system inquired _:user
_:search food spanish
_:search type Restaurant
_:result area ctre
_:result food spanish
_:result name La raza
_:result type Restaurant