inform((_:search,departure,'birmingham');(_:search,destination,'cambridge');(_:search,type,'Train'))
user
Hi , I 'm looking for a train from Birmingham to Cambridge .
inform((_:result,arrive_by,'08:23');(_:result,day,'friday');(_:result,departure,'birmingham new street');(_:result,destination,'cambridge');(_:result,duration,'163 minutes');(_:result,id,'TR4887');(_:result,leave_at,'05:40');(_:result,ticket,'75.10 pounds');(_:result,type,'Train'))
system
I have this train ticket TR4887 	 birmingham new street 	 cambridge 	 friday 	 05:40 	 08:23 	 75.10 pounds 	 163 minutes
inform((_:search,arrive_by,'10:45');(_:search,day,'friday');(_:search,type,'Train'))
user
I need it to arrive on Friday , by 10:45 .
inform((_:result,arrive_by,'10:23');(_:result,type,'Train')) offer((_:booking,category,'Train');(_:booking,type,'Booking'))
system
There 's a train that arrives at 10:23 . Would you like me to book it ?
request((_:result,duration,?);(_:result,leave_at,?);(_:result,ticket,?);(_:result,type,'Train'))
user
Yes , 10:23 will be fine . Are you able to tell me the departure time , the price , and the travel time , please ?
inform((_:result,duration,'163 minutes');(_:result,leave_at,'07:40,price');(_:result,ticket,'75.10 pounds');(_:result,type,'Train'))
system
It is leaving at 07:40,price is 75.10 pounds and travel time is 163 minutes .
inform((_:search,type,'Attraction'))
user
Great , thanks so much .   I am also looking for a particular attraction .   Can you see if it is still in Cambridge ?
request((_:search,name,?);(_:search,type,'Attraction'))
system
What is the name of the attraction ?
inform((_:search,name,"saint john 's college");(_:search,type,'Attraction')) request((_:result,phone,?);(_:result,type,'Attraction'))
user
It 's Saint John 's College . Can you find the phone number ?
inform((_:result,phone,'01223338600');(_:result,type,'Attraction'))
system
Here is the phone number you requested:01223338600 .
thank()
user
Great , thank you . That 's all the information I require right now .
system
Okay , have a great day !
_:search departure birmingham
_:search destination cambridge
_:search type Train
_:search departure birmingham
_:search destination cambridge
_:result arrive_by 08:23
_:result day friday
_:result departure birmingham new street
_:result destination cambridge
_:result duration 163 minutes
_:result id TR4887
_:result leave_at 05:40
_:result ticket 75.10 pounds
_:result type Train
_:search arrive_by 10:45
_:search day friday
_:search type Train
_:search departure birmingham
_:search destination cambridge
_:result day friday
_:result departure birmingham new street
_:result destination cambridge
_:result duration 163 minutes
_:result id TR4887
_:result leave_at 05:40
_:result ticket 75.10 pounds
_:search arrive_by 10:45
_:search day friday
_:search type Train
_:result arrive_by 10:23
_:result type Train
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:result duration ?
_:result leave_at ?
_:result ticket ?
_:search departure birmingham
_:search destination cambridge
_:result day friday
_:result departure birmingham new street
_:result destination cambridge
_:result id TR4887
_:search arrive_by 10:45
_:search day friday
_:result arrive_by 10:23
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:result duration 163 minutes
_:result leave_at 07:40,price
_:result ticket 75.10 pounds
_:result type Train
_:search type Attraction
_:search departure birmingham
_:search destination cambridge
_:result day friday
_:result departure birmingham new street
_:result destination cambridge
_:result id TR4887
_:search arrive_by 10:45
_:search day friday
_:result arrive_by 10:23
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:result duration 163 minutes
_:result leave_at 07:40,price
_:result ticket 75.10 pounds
_:result type Train
_:search name saint john 's college
_:search type Attraction
_:result phone ?
_:result type Attraction
_:search departure birmingham
_:search destination cambridge
_:result day friday
_:result departure birmingham new street
_:result destination cambridge
_:result id TR4887
_:search arrive_by 10:45
_:search day friday
_:result arrive_by 10:23
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:result duration 163 minutes
_:result leave_at 07:40,price
_:result ticket 75.10 pounds
_:search name saint john 's college
_:search type Attraction
_:result phone 01223338600
_:result type Attraction