inform((_:search,arrive_by,'11:00');(_:search,departure,'london kings cross');(_:search,destination,'cambridge');(_:search,type,'Train'))
user
I need to leave london kings cross and arrive at cambridge by 11:00 .
request((_:search,day,?);(_:search,type,'Train'))
system
Do you have a day you want to travel on ?
inform((_:search,day,'friday');(_:search,type,'Train'))
user
I want to travel by train on Friday .
inform((_:result,arrive_by,'10:08');(_:result,destination,'Cambridge');(_:result,id,'TR5686');(_:result,type,'Train'))
system
The TR5686 will have you in Cambridge at 10:08 .
inform((_:search,people,'6');(_:search,type,'Train')) request((_:result,ref,?);(_:result,type,'Train'))
user
Great I need 6 tickets and the reference number .
inform((_:booking,category,'Train');(_:booking,id,'TR5686');(_:booking,people,'6');(_:booking,ref,'FD35AIJM');(_:booking,type,'Booking'))
system
Your reservation on the TR5686 train for 6 was successful . Your Reference number is : FD35AIJM .
inform((_:search,name,'bedouin');(_:search,type,'Restaurant'))
user
Great . Can you also tell me about the bedouin restaurant ?
reqmore() inform((_:result,address,'100 Mill Road City Centre');(_:result,area,'centre');(_:result,food,'african');(_:result,name,'Bedouin');(_:result,phone,'01223367660');(_:result,type,'Restaurant'))
system
Sure , the Bedouin restaurant is located in the centre of town at 100 Mill Road City Centre . Their phone number is 01223367660 . They serve african food . Is there anything else ?
request((_:result,postcode,?);(_:result,type,'Restaurant'))
user
Yes , what is there postcode ?
inform((_:result,postcode,'cb12bd');(_:result,type,'Restaurant'))
system
their post code is cb12bd .
user
Great , that is everything I need .   May your day be filled with awesomeness .
system
thanks have a great day
_:search arrive_by 11:00
_:search departure london kings cross
_:search destination cambridge
_:search type Train
_:search arrive_by 11:00
_:search departure london kings cross
_:search destination cambridge
_:search day friday
_:search type Train
_:search arrive_by 11:00
_:search departure london kings cross
_:search destination cambridge
_:search day friday
_:result arrive_by 10:08
_:result destination Cambridge
_:result id TR5686
_:result type Train
_:search people 6
_:search type Train
_:result ref ?
_:search arrive_by 11:00
_:search departure london kings cross
_:search destination cambridge
_:search day friday
_:result arrive_by 10:08
_:result destination Cambridge
_:result id TR5686
_:result type Train
_:search people 6
_:result ref ?
_:booking category Train
_:booking id TR5686
_:booking people 6
_:booking ref FD35AIJM
_:booking type Booking
_:search name bedouin
_:search type Restaurant
_:search arrive_by 11:00
_:search departure london kings cross
_:search destination cambridge
_:search day friday
_:result arrive_by 10:08
_:result destination Cambridge
_:result id TR5686
_:search people 6
_:result ref ?
_:booking category Train
_:booking id TR5686
_:booking people 6
_:booking ref FD35AIJM
_:booking type Booking
_:search name bedouin
_:search type Restaurant
_:system inquired _:user
_:result address 100 Mill Road City Centre
_:result area centre
_:result food african
_:result name Bedouin
_:result phone 01223367660
_:result type Restaurant
_:result postcode ?
_:search arrive_by 11:00
_:search departure london kings cross
_:search destination cambridge
_:search day friday
_:result arrive_by 10:08
_:result destination Cambridge
_:result id TR5686
_:search people 6
_:result ref ?
_:booking category Train
_:booking id TR5686
_:booking people 6
_:booking ref FD35AIJM
_:booking type Booking
_:search name bedouin
_:search type Restaurant
_:system inquired _:user
_:result address 100 Mill Road City Centre
_:result area centre
_:result food african
_:result name Bedouin
_:result phone 01223367660
_:result postcode cb12bd
_:result type Restaurant