inform((_:search,arrive_by,'17:00');(_:search,departure,'birmingham new street');(_:search,type,'Train'))
user
I need transportation , specifically a train from birmingham new street . I need one that gets to my destination by 17:00
inform((_:result,amount,'several');(_:result,type,'Train')) request((_:search,day,?);(_:search,type,'Train'))
system
We have several !   What day would you like to travel ?
inform((_:search,day,'monday');(_:search,type,'Train'))
user
monday would be perfect
inform((_:result,arrive_by,'16:23');(_:result,id,'TR1238');(_:result,leave_at,'13:40');(_:result,type,'Train')) offer((_:booking,category,'Train');(_:booking,type,'Booking'))
system
TR1238 leaves at 13:40 and will get you there at 16:23 , do you want me to book you ?
request((_:result,ticket,?);(_:result,type,'Train'))
user
No , thanks . No need to book today , but can I get the price of the ticket ?
inform((_:result,ticket,'75.10 pounds');(_:result,type,'Train')) reqmore()
system
Tickets are 75.10 pounds . Is there anything else you need ?
inform((_:search,name,'Cambridge Chop House');(_:search,type,'Restaurant'))
user
Yes , I 've heard great things about The Cambridge Chop House . Can you tell me about it ?
system
What information are you looking for ?
inform((_:search,day,'monday');(_:search,duration,'20:30');(_:search,people,'3');(_:search,type,'Restaurant')) request((_:result,ref,?);(_:result,type,'Restaurant'))
user
Will you book a table for 3 on Monday at 20:30 for me ? I 'll also need the reference number . Thanks !
reqmore() inform((_:booking,ref,'FNXFS4G4');(_:booking,type,'Booking'))
system
Booking was successful . The table will be reserved for 15 minutes . 
 Reference number is : FNXFS4G4 .   What else can I help you with today ?
thank()
user
Thanks so much . That 's all . Goodbye
system
I 'm glad I could help .
_:search arrive_by 17:00
_:search departure birmingham new street
_:search type Train
_:search arrive_by 17:00
_:search departure birmingham new street
_:result amount several
_:result type Train
_:search day monday
_:search type Train
_:search arrive_by 17:00
_:search departure birmingham new street
_:result amount several
_:search day monday
_:search type Train
_:result arrive_by 16:23
_:result id TR1238
_:result leave_at 13:40
_:result type Train
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:result ticket ?
_:search arrive_by 17:00
_:search departure birmingham new street
_:result amount several
_:search day monday
_:result arrive_by 16:23
_:result id TR1238
_:result leave_at 13:40
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:result ticket 75.10 pounds
_:result type Train
_:system inquired _:user
_:search name Cambridge Chop House
_:search type Restaurant
_:search arrive_by 17:00
_:search departure birmingham new street
_:result amount several
_:result arrive_by 16:23
_:result id TR1238
_:result leave_at 13:40
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:result ticket 75.10 pounds
_:result type Train
_:system inquired _:user
_:search name Cambridge Chop House
_:search day monday
_:search duration 20:30
_:search people 3
_:search type Restaurant
_:result ref ?
_:result type Restaurant
_:search arrive_by 17:00
_:search departure birmingham new street
_:result amount several
_:result arrive_by 16:23
_:result id TR1238
_:result leave_at 13:40
_:system offered _:booking
_:booking category Train
_:result ticket 75.10 pounds
_:result type Train
_:search name Cambridge Chop House
_:search day monday
_:search duration 20:30
_:search people 3
_:search type Restaurant
_:result ref ?
_:result type Restaurant
_:system inquired _:user
_:booking ref FNXFS4G4
_:booking type Booking