inform((_:search,destination,'cambridge');(_:search,leave_at,'17:00');(_:search,type,'Train'))
user
I would like a train to Cambridge that leaves after 17:00 .
inform((_:result,amount,'many');(_:result,type,'Train')) request((_:search,day,?);(_:search,departure,?);(_:search,type,'Train'))
system
There are very many trains that fit your requirements , where are you leaving from and what day would you like to leave ?
inform((_:search,day,'monday');(_:search,departure,'stansted airport');(_:search,type,'Train'))
user
I 'd like to leave on Monday from Stansted Airport .
inform((_:result,count,'7');(_:result,type,'Train')) request((_:search,arrive_by,?);(_:search,type,'Train'))
system
Ok , there are 7 trains that fit those requirements , can you tell me what time you would like to arrive by ?
user
I do n't mind we can get there any time .
inform((_:result,arrive_by,'17:52');(_:result,id,'TR4096');(_:result,leave_at,'17:24');(_:result,type,'Train')) offer((_:booking,category,'Train');(_:booking,type,'Booking'))
system
TR4096 leaves at 17:24 and arrives by 17:52 , would you like me to book a seat for you ?
request((_:result,duration,?);(_:result,type,'Train'))
user
Yes can you give me the travel time ?
inform((_:booking,category,'Train');(_:booking,duration,'28 minutes');(_:booking,ref,'4EIV9UFN');(_:booking,type,'Booking'))
system
Sure , I was able to book your seat and your reference number is 4EIV9UFN which is payable at the station . The travel time is 28 minutes .
inform((_:search,area,'center');(_:search,food,'british');(_:search,pricerange,'expensive');(_:search,type,'Restaurant'))
user
Thanks ! Also , could you tell me if there are any places in the center of town that serve british food ? Something expensive would be great .
offer((_:booking,type,'Booking')) inform((_:result,count,'3');(_:result,name,'fitzbillies restaurant');(_:result,type,'Restaurant'))
system
There are 3 . How about fitzbillies restaurant ? Should I book you a table ?
inform((_:search,day,'monday');(_:search,duration,'20:45');(_:search,people,'8');(_:search,type,'Restaurant'))
user
Yes that sounds great , I need a table for 8 at 20:45 on Monday please .
canthelp((_:booking,type,'Booking')) request((_:booking,duration,?);(_:booking,type,'Booking'))
system
Unfortunately that time is not available do you have another time you 'd like to try ?
inform((_:search,duration,'19:45');(_:search,type,'Restaurant')) request((_:result,ref,?);(_:result,type,'Restaurant'))
user
Okay , is there an available time at 19:45 ?   Also , can I get a reference number ?
reqmore() inform((_:booking,ref,'FZTWSZHH');(_:booking,type,'Booking'))
system
That booking was successful . Your reference number is FZTWSZHH . Is there anything else I can do for you ?
thank()
user
I think that 's everything , thank you
system
You are welcome . Have a nice day .
_:search destination cambridge
_:search leave_at 17:00
_:search type Train
_:search destination cambridge
_:search leave_at 17:00
_:result amount many
_:result type Train
_:search day monday
_:search departure stansted airport
_:search type Train
_:search destination cambridge
_:search leave_at 17:00
_:result amount many
_:search day monday
_:search departure stansted airport
_:result count 7
_:result type Train
_:search arrive_by ?
_:search type Train
_:search destination cambridge
_:search leave_at 17:00
_:result amount many
_:search day monday
_:search departure stansted airport
_:result count 7
_:search arrive_by ?
_:search type Train
_:result arrive_by 17:52
_:result id TR4096
_:result leave_at 17:24
_:result type Train
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:result duration ?
_:search destination cambridge
_:search leave_at 17:00
_:result amount many
_:search day monday
_:search departure stansted airport
_:result count 7
_:search arrive_by ?
_:result arrive_by 17:52
_:result id TR4096
_:result leave_at 17:24
_:result type Train
_:system offered _:booking
_:result duration ?
_:booking category Train
_:booking duration 28 minutes
_:booking ref 4EIV9UFN
_:booking type Booking
_:search area center
_:search food british
_:search pricerange expensive
_:search type Restaurant
_:search destination cambridge
_:search leave_at 17:00
_:result amount many
_:search departure stansted airport
_:search arrive_by ?
_:result arrive_by 17:52
_:result id TR4096
_:result leave_at 17:24
_:system offered _:booking
_:result duration ?
_:booking category Train
_:booking duration 28 minutes
_:booking ref 4EIV9UFN
_:booking type Booking
_:search area center
_:search food british
_:search pricerange expensive
_:result count 3
_:result name fitzbillies restaurant
_:result type Restaurant
_:search day monday
_:search duration 20:45
_:search people 8
_:search type Restaurant
_:search destination cambridge
_:search leave_at 17:00
_:result amount many
_:search departure stansted airport
_:search arrive_by ?
_:result arrive_by 17:52
_:result id TR4096
_:result leave_at 17:24
_:system offered _:booking
_:result duration ?
_:booking category Train
_:booking ref 4EIV9UFN
_:search area center
_:search food british
_:search pricerange expensive
_:result count 3
_:result name fitzbillies restaurant
_:result type Restaurant
_:search day monday
_:search people 8
_:system canthelp _:booking/9ff0f092
_:booking/9ff0f092 type Booking
_:booking duration ?
_:booking type Booking
_:search duration 19:45
_:search type Restaurant
_:result ref ?
_:search destination cambridge
_:search leave_at 17:00
_:result amount many
_:search departure stansted airport
_:search arrive_by ?
_:result arrive_by 17:52
_:result id TR4096
_:result leave_at 17:24
_:system offered _:booking
_:result duration ?
_:booking category Train
_:search area center
_:search food british
_:search pricerange expensive
_:result count 3
_:result name fitzbillies restaurant
_:result type Restaurant
_:search day monday
_:search people 8
_:system canthelp _:booking/9ff0f092
_:booking/9ff0f092 type Booking
_:booking duration ?
_:search duration 19:45
_:search type Restaurant
_:result ref ?
_:system inquired _:user
_:booking ref FZTWSZHH
_:booking type Booking