inform((_:search,departure,'cambridge');(_:search,destination,'london kings cross');(_:search,type,'Train'))
user
Find me a train out of Cambridge to london kings cross
inform((_:result,count,'70');(_:result,type,'Train')) request((_:search,day,?);(_:search,leave_at,?);(_:search,type,'Train'))
system
There are 70 results . Is there a certain day or time you 'd like to leave ?
inform((_:search,arrive_by,'21:45');(_:search,day,'friday');(_:search,destination,'London Kings Cross');(_:search,type,'Train'))
user
I need it on Friday and it should arrive at London Kings Cross by 21:45 .
inform((_:result,arrive_by,'19:51');(_:result,id,'TR1006');(_:result,type,'Train')) offer((_:booking,category,'Train');(_:booking,type,'Booking'))
system
TR1006 arrives at 19:51 , would that work ?
inform((_:search,people,'3');(_:search,type,'Train')) request((_:result,ref,?);(_:result,type,'Train'))
user
I guess that will work . Can you please make a booking for 3 people and when you are through may i also have the booking reference number .
inform((_:booking,category,'Train');(_:booking,ref,'E3M7QM9F');(_:booking,type,'Booking'))
system
Yes I have booked that for you and your reference number is E3M7QM9F .
inform((_:search,type,'Restaurant'))
user
i also need a place to dine .
request((_:search,area,?);(_:search,food,?);(_:search,type,'Restaurant'))
system
Is there a particular cuisine or location that I can recommend for you ?
inform((_:search,area,'west');(_:search,food,'british');(_:search,type,'Restaurant'))
user
Yes , British food in the West would be great !
inform((_:result,area,'west');(_:result,food,'british');(_:result,name,'Saint johns chop house');(_:result,type,'Restaurant'))
system
Saint johns chop house serves british food in the west .
inform((_:search,name,'saint johns chop house');(_:search,type,'Restaurant')) request((_:result,phone,?);(_:result,postcode,?);(_:result,type,'Restaurant'))
user
What is the phone number and postcode to Saint Johns Chop House ?
inform((_:result,phone,'01223353110');(_:result,type,'Restaurant'))
system
01223353110 is the number .
request((_:result,postcode,?);(_:result,type,'Restaurant'))
user
May I have the postcode as well ?
inform((_:result,postcode,'cb30ad');(_:result,type,'Restaurant'))
system
Here you go cb30ad
thank()
user
Great , thanks very much , that 's all I need !
system
You 're welcome . Have a nice day !
_:search departure cambridge
_:search destination london kings cross
_:search type Train
_:search departure cambridge
_:result count 70
_:result type Train
_:search leave_at ?
_:search arrive_by 21:45
_:search day friday
_:search destination London Kings Cross
_:search type Train
_:search departure cambridge
_:result count 70
_:search leave_at ?
_:search arrive_by 21:45
_:search day friday
_:search destination London Kings Cross
_:result arrive_by 19:51
_:result id TR1006
_:result type Train
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:search people 3
_:search type Train
_:result ref ?
_:search departure cambridge
_:result count 70
_:search leave_at ?
_:search arrive_by 21:45
_:search day friday
_:search destination London Kings Cross
_:result arrive_by 19:51
_:result id TR1006
_:result type Train
_:system offered _:booking
_:search people 3
_:result ref ?
_:booking category Train
_:booking ref E3M7QM9F
_:booking type Booking
_:search type Restaurant
_:search departure cambridge
_:result count 70
_:search leave_at ?
_:search arrive_by 21:45
_:search day friday
_:search destination London Kings Cross
_:result arrive_by 19:51
_:result id TR1006
_:result type Train
_:system offered _:booking
_:search people 3
_:result ref ?
_:booking category Train
_:booking ref E3M7QM9F
_:booking type Booking
_:search area west
_:search food british
_:search type Restaurant
_:search departure cambridge
_:result count 70
_:search leave_at ?
_:search arrive_by 21:45
_:search day friday
_:search destination London Kings Cross
_:result arrive_by 19:51
_:result id TR1006
_:system offered _:booking
_:search people 3
_:result ref ?
_:booking category Train
_:booking ref E3M7QM9F
_:booking type Booking
_:search area west
_:search food british
_:result area west
_:result food british
_:result name Saint johns chop house
_:result type Restaurant
_:search name saint johns chop house
_:search type Restaurant
_:result phone ?
_:result postcode ?
_:search departure cambridge
_:result count 70
_:search leave_at ?
_:search arrive_by 21:45
_:search day friday
_:search destination London Kings Cross
_:result arrive_by 19:51
_:result id TR1006
_:system offered _:booking
_:search people 3
_:result ref ?
_:booking category Train
_:booking ref E3M7QM9F
_:booking type Booking
_:search area west
_:search food british
_:result area west
_:result food british
_:result name Saint johns chop house
_:search name saint johns chop house
_:search type Restaurant
_:result postcode ?
_:result phone 01223353110
_:result type Restaurant
_:search departure cambridge
_:result count 70
_:search leave_at ?
_:search arrive_by 21:45
_:search day friday
_:search destination London Kings Cross
_:result arrive_by 19:51
_:result id TR1006
_:system offered _:booking
_:search people 3
_:result ref ?
_:booking category Train
_:booking ref E3M7QM9F
_:booking type Booking
_:search area west
_:search food british
_:result area west
_:result food british
_:result name Saint johns chop house
_:search name saint johns chop house
_:search type Restaurant
_:result phone 01223353110
_:result postcode cb30ad
_:result type Restaurant