inform((_:search,day,'friday');(_:search,destination,'cambridge');(_:search,type,'Train'))
user
Can I get a train to Cambridge on Friday ?
inform((_:result,departure,'london kings cross');(_:result,leave_at,'7:17 am');(_:result,type,'Train'))
system
There is a depature at london kings cross at 7:17 am .
inform((_:search,departure,'leicester');(_:search,leave_at,'12:15');(_:search,type,'Train'))
user
Actually , I need to depart from leicester after 12:15 .
inform((_:result,arrive_by,'14:54');(_:result,destination,'Cambridge');(_:result,leave_at,'13:09');(_:result,type,'Train')) offer((_:booking,category,'Train');(_:booking,type,'Booking'))
system
Yes , there is a train that departs at 13:09 , arriving in Cambridge at 14:54 . Would that work for you ?
request((_:result,id,?);(_:result,type,'Train'))
user
Yes . Could you give me the Train ID ?
inform((_:result,id,'TR4625');(_:result,type,'Train')) reqmore()
system
The train ID for that one is TR4625 .   Can I help you with more ?
inform((_:search,food,'modern european');(_:search,pricerange,'cheap');(_:search,type,'Restaurant'))
user
I need to find a cheap modern European restaurant .
inform((_:result,area,'centre');(_:result,name,'river bar steakhouse and grill');(_:result,type,'Restaurant'))
system
There is a restaurant called the river bar steakhouse and grill that fits that criteria . It is located in the city centre .
request((_:result,phone,?);(_:result,postcode,?);(_:result,type,'Restaurant'))
user
Can I please have the phone number and postcode ?
reqmore() inform((_:result,phone,'01223307030');(_:result,postcode,'cb58aq');(_:result,type,'Restaurant'))
system
The phone number is 01223307030 and the postcode is cb58aq .   Can I help you with anything else ?
thank()
user
No , that should be all .   Thank you for all your help .
system
You are very welcome . Travel safely !
_:search day friday
_:search destination cambridge
_:search type Train
_:search day friday
_:search destination cambridge
_:result departure london kings cross
_:result leave_at 7:17 am
_:result type Train
_:search departure leicester
_:search leave_at 12:15
_:search type Train
_:search day friday
_:search destination cambridge
_:result departure london kings cross
_:search departure leicester
_:search leave_at 12:15
_:search type Train
_:result arrive_by 14:54
_:result destination Cambridge
_:result leave_at 13:09
_:result type Train
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:result id ?
_:search day friday
_:search destination cambridge
_:result departure london kings cross
_:search departure leicester
_:search leave_at 12:15
_:result arrive_by 14:54
_:result destination Cambridge
_:result leave_at 13:09
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:result id TR4625
_:result type Train
_:system inquired _:user
_:search food modern european
_:search pricerange cheap
_:search type Restaurant
_:search day friday
_:search destination cambridge
_:result departure london kings cross
_:search departure leicester
_:search leave_at 12:15
_:result arrive_by 14:54
_:result destination Cambridge
_:result leave_at 13:09
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:result id TR4625
_:system inquired _:user
_:search food modern european
_:search pricerange cheap
_:search type Restaurant
_:result area centre
_:result name river bar steakhouse and grill
_:result type Restaurant
_:result phone ?
_:result postcode ?
_:search day friday
_:search destination cambridge
_:result departure london kings cross
_:search departure leicester
_:search leave_at 12:15
_:result arrive_by 14:54
_:result destination Cambridge
_:result leave_at 13:09
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:result id TR4625
_:search food modern european
_:search pricerange cheap
_:search type Restaurant
_:result area centre
_:result name river bar steakhouse and grill
_:system inquired _:user
_:result phone 01223307030
_:result postcode cb58aq
_:result type Restaurant