inform((_:search,day,'friday');(_:search,departure,'london kings cross');(_:search,type,'Train'))
user
I need a train that leaves london kings cross on friday
request((_:search,destination,?);(_:search,type,'Train'))
system
And what is your destination station ?
inform((_:search,destination,'cambridge');(_:search,leave_at,'17:30');(_:search,type,'Train'))
user
I need to arrive at Cambridge . I want the train to leave after 17:30 .
inform((_:result,count,'3');(_:result,day,'Friday');(_:result,destination,'Cambridge');(_:result,leave_at,'17:30');(_:result,type,'Train'))
system
There are 3 trains leaving after 17:30 on Friday , by what time would you like to arrive in Cambridge ?
inform((_:search,arrive_by,'5');(_:search,type,'Train'))
user
I need to arrive by 5 pm .
system
That 's physically impossible . You want to leave after 17:30 which is 5:30 pm and arrive at 5 pm ? Try that again please .
inform((_:search,day,'friday');(_:search,departure,'kings cross');(_:search,destination,'cambridge');(_:search,leave_at,'17:30');(_:search,type,'Train')) request((_:result,arrive_by,?);(_:result,id,?);(_:result,type,'Train'))
user
Can I get the train ID and arrival time for the first train after 17:30 on Friday , going from Kings Cross to Cambridge ?
inform((_:result,arrive_by,'20:08');(_:result,id,'TR9139');(_:result,leave_at,'19:17');(_:result,type,'Train'))
system
the TR9139 leaves at 19:17 and arrives by 20:08
inform((_:search,name,'de luca cucina and bar');(_:search,type,'Restaurant'))
user
I am also looking for de luca cucina and bar , can you help me locate it ?
offer((_:booking,type,'Booking')) inform((_:result,area,'centre');(_:result,food,'modern european');(_:result,type,'Restaurant'))
system
Gladly . It 's located in the centre and it serves modern European food . Would you like me to make a reservation for you ?
inform((_:search,day,'friday');(_:search,duration,'21:00');(_:search,people,'3');(_:search,type,'Restaurant'))
user
Yes please , can I get a reservation for Friday at 21:00 for 3 people ?
reqmore() inform((_:booking,ref,'8W4EZQ1E');(_:booking,type,'Booking'))
system
Great choice ! Your booking was successful . Here is your reference number 8W4EZQ1E . Anything else I can help you with ?
thank()
user
No thank you , that is everything .
system
I 'm happy we could be of service , and enjoy your time in Cambridge !
_:search day friday
_:search departure london kings cross
_:search type Train
_:search day friday
_:search departure london kings cross
_:search destination cambridge
_:search leave_at 17:30
_:search type Train
_:search day friday
_:search departure london kings cross
_:search destination cambridge
_:search leave_at 17:30
_:result count 3
_:result day Friday
_:result destination Cambridge
_:result leave_at 17:30
_:result type Train
_:search arrive_by 5
_:search type Train
_:result count 3
_:result day Friday
_:result destination Cambridge
_:result leave_at 17:30
_:result type Train
_:search arrive_by 5
_:search day friday
_:search departure kings cross
_:search destination cambridge
_:search leave_at 17:30
_:search type Train
_:result arrive_by ?
_:result id ?
_:result count 3
_:result day Friday
_:result destination Cambridge
_:search arrive_by 5
_:search day friday
_:search departure kings cross
_:search destination cambridge
_:search leave_at 17:30
_:result arrive_by 20:08
_:result id TR9139
_:result leave_at 19:17
_:result type Train
_:search name de luca cucina and bar
_:search type Restaurant
_:result count 3
_:result day Friday
_:result destination Cambridge
_:search arrive_by 5
_:search departure kings cross
_:search destination cambridge
_:search leave_at 17:30
_:result arrive_by 20:08
_:result id TR9139
_:result leave_at 19:17
_:search name de luca cucina and bar
_:system offered _:booking
_:booking type Booking
_:result area centre
_:result food modern european
_:result type Restaurant
_:search day friday
_:search duration 21:00
_:search people 3
_:search type Restaurant
_:result count 3
_:result day Friday
_:result destination Cambridge
_:search arrive_by 5
_:search departure kings cross
_:search destination cambridge
_:search leave_at 17:30
_:result arrive_by 20:08
_:result id TR9139
_:result leave_at 19:17
_:search name de luca cucina and bar
_:system offered _:booking
_:result area centre
_:result food modern european
_:result type Restaurant
_:search day friday
_:search duration 21:00
_:search people 3
_:search type Restaurant
_:system inquired _:user
_:booking ref 8W4EZQ1E
_:booking type Booking