inform((_:search,arrive_by,'16:00');(_:search,departure,'birmingham new street');(_:search,type,'Train'))
user
I am looking for a train leaving from Birmingham New Street and arriving by 16:00 .
inform((_:result,departure,'Birmingham New Street');(_:result,destination,'Cambridge');(_:result,duration,'163 minutes');(_:result,leave_at,'5:40');(_:result,leave_at,'every hour');(_:result,ticket,'75.10 pounds');(_:result,type,'Train'))
system
There is a train every hour from Birmingham New Street to Cambridge starting at 5:40 . It costs 75.10 pounds and is 163 minutes .
inform((_:search,day,'monday');(_:search,type,'Train'))
user
I think that would be too late . I also need it on Monday , not right now .
inform((_:result,arrive_by,'15:23');(_:result,day,'Monday');(_:result,id,'TR3734');(_:result,type,'Train')) offer((_:booking,category,'Train');(_:booking,type,'Booking')) request((_:search,leave_at,?);(_:search,type,'Train'))
system
On Monday the TR3734 arrives by 15:23 . Would you like to book some tickets for that ? Or perhaps an earlier train if you think that 's cutting it too fine .
inform((_:search,people,'4');(_:search,type,'Train'))
user
I think that would be good , can you get me 4 tickets ?
reqmore() inform((_:booking,category,'Train');(_:booking,ref,'GXTXW2EM');(_:booking,ticket,'300.39 GBP');(_:booking,type,'Booking'))
system
Booking was successful . The total fee is 300.39 GBP payable at the station . The reference number is GXTXW2EM . Is there anything else I can help with ?
inform((_:search,food,'european');(_:search,pricerange,'expensive');(_:search,type,'Restaurant'))
user
I also need a restaurant in the expensive price range and should serve european food
request((_:search,area,?);(_:search,type,'Restaurant')) inform((_:result,amount,'a few');(_:result,type,'Restaurant'))
system
OK , I have a few options , what side of town would you like that on ?
inform((_:search,area,'north');(_:search,type,'Restaurant'))
user
Could you make that on the north side please .
offer((_:booking,type,'Booking')) inform((_:result,area,'north');(_:result,food,'European');(_:result,name,'City Stop Restaurant');(_:result,pricerange,'expensive');(_:result,type,'Restaurant'))
system
There is one expensive European restaurant in the north - City Stop Restaurant . Would you like to reserve a table there ?
request((_:result,address,?);(_:result,phone,?);(_:result,postcode,?);(_:result,type,'Restaurant'))
user
No , I just need the postcode and address as well as a phone number .
reqmore() inform((_:result,address,'Cambridge City Football Club Milton Road Chesterton');(_:result,phone,'01223363270');(_:result,postcode,'cb41uy');(_:result,type,'Restaurant'))
system
The address is Cambridge City Football Club Milton Road Chesterton . The postcode is cb41uy . The phone number is 01223363270 . Is there anything else I can do for you ?
thank()
user
No that is everything I need for my trip . Thank you !
bye()
system
Thank you for contacting us .   Have a good day .
thank()
user
You 're welcome . You , too .
system
Please give me a call if you need any assistance during your visit
_:search arrive_by 16:00
_:search departure birmingham new street
_:search type Train
_:search arrive_by 16:00
_:search departure birmingham new street
_:result departure Birmingham New Street
_:result destination Cambridge
_:result duration 163 minutes
_:result leave_at 5:40
_:result leave_at every hour
_:result ticket 75.10 pounds
_:result type Train
_:search day monday
_:search type Train
_:search arrive_by 16:00
_:search departure birmingham new street
_:result departure Birmingham New Street
_:result destination Cambridge
_:result duration 163 minutes
_:result leave_at 5:40
_:result leave_at every hour
_:result ticket 75.10 pounds
_:search day monday
_:result arrive_by 15:23
_:result day Monday
_:result id TR3734
_:result type Train
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:search leave_at ?
_:search people 4
_:search type Train
_:search arrive_by 16:00
_:search departure birmingham new street
_:result departure Birmingham New Street
_:result destination Cambridge
_:result duration 163 minutes
_:result leave_at 5:40
_:result leave_at every hour
_:result ticket 75.10 pounds
_:search day monday
_:result arrive_by 15:23
_:result day Monday
_:result id TR3734
_:result type Train
_:system offered _:booking
_:search leave_at ?
_:search people 4
_:system inquired _:user
_:booking category Train
_:booking ref GXTXW2EM
_:booking ticket 300.39 GBP
_:booking type Booking
_:search food european
_:search pricerange expensive
_:search type Restaurant
_:search arrive_by 16:00
_:search departure birmingham new street
_:result departure Birmingham New Street
_:result destination Cambridge
_:result duration 163 minutes
_:result leave_at 5:40
_:result leave_at every hour
_:result ticket 75.10 pounds
_:search day monday
_:result arrive_by 15:23
_:result day Monday
_:result id TR3734
_:system offered _:booking
_:search leave_at ?
_:search people 4
_:system inquired _:user
_:booking category Train
_:booking ref GXTXW2EM
_:booking ticket 300.39 GBP
_:booking type Booking
_:search food european
_:search pricerange expensive
_:result amount a few
_:result type Restaurant
_:search area north
_:search type Restaurant
_:search arrive_by 16:00
_:search departure birmingham new street
_:result departure Birmingham New Street
_:result destination Cambridge
_:result duration 163 minutes
_:result leave_at 5:40
_:result leave_at every hour
_:result ticket 75.10 pounds
_:search day monday
_:result arrive_by 15:23
_:result day Monday
_:result id TR3734
_:system offered _:booking
_:search leave_at ?
_:search people 4
_:system inquired _:user
_:booking category Train
_:booking ref GXTXW2EM
_:booking ticket 300.39 GBP
_:booking type Booking
_:search food european
_:search pricerange expensive
_:result amount a few
_:search area north
_:search type Restaurant
_:result area north
_:result food European
_:result name City Stop Restaurant
_:result pricerange expensive
_:result type Restaurant
_:result address ?
_:result phone ?
_:result postcode ?
_:search arrive_by 16:00
_:search departure birmingham new street
_:result departure Birmingham New Street
_:result destination Cambridge
_:result duration 163 minutes
_:result leave_at 5:40
_:result leave_at every hour
_:result ticket 75.10 pounds
_:search day monday
_:result arrive_by 15:23
_:result day Monday
_:result id TR3734
_:system offered _:booking
_:search leave_at ?
_:search people 4
_:booking category Train
_:booking ref GXTXW2EM
_:booking ticket 300.39 GBP
_:booking type Booking
_:search food european
_:search pricerange expensive
_:result amount a few
_:search area north
_:search type Restaurant
_:result area north
_:result food European
_:result name City Stop Restaurant
_:result pricerange expensive
_:system inquired _:user
_:result address Cambridge City Football Club Milton Road Chesterton
_:result phone 01223363270
_:result postcode cb41uy
_:result type Restaurant
_:search arrive_by 16:00
_:search departure birmingham new street
_:result departure Birmingham New Street
_:result destination Cambridge
_:result duration 163 minutes
_:result leave_at 5:40
_:result leave_at every hour
_:result ticket 75.10 pounds
_:search day monday
_:result arrive_by 15:23
_:result day Monday
_:result id TR3734
_:system offered _:booking
_:search leave_at ?
_:search people 4
_:booking category Train
_:booking ref GXTXW2EM
_:booking ticket 300.39 GBP
_:booking type Booking
_:search food european
_:search pricerange expensive
_:result amount a few
_:search area north
_:search type Restaurant
_:result area north
_:result food European
_:result name City Stop Restaurant
_:result pricerange expensive
_:system inquired _:user
_:result address Cambridge City Football Club Milton Road Chesterton
_:result phone 01223363270
_:result postcode cb41uy
_:result type Restaurant
_:system dismissed _:user