inform((_:search,name,"christ 's college");(_:search,type,'Attraction'))
user
Can you tell me about Christ 's College ?
reqmore() inform((_:result,area,'center');(_:result,type,'Attraction'))
system
It is in the center of town . What else would you like to know ?
request((_:result,phone,?);(_:result,type,'Attraction'))
user
Do you happen to have the telephone number for Christ 's College ?
reqmore() inform((_:result,phone,'01223334900');(_:result,type,'Attraction'))
system
I sure do ! It 's 01223334900 . Can I help you with any other information searches today ?
inform((_:search,departure,'bishops stortford');(_:search,destination,'cambridge');(_:search,type,'Train'))
user
I also need a train leaving from bishops stortford to cambridge .
request((_:search,leave_at,?);(_:search,type,'Train'))
system
What time do you wish to leave ?
inform((_:search,day,'friday');(_:search,leave_at,'21:30');(_:search,type,'Train'))
user
I need to leave on Friday some time after 21:30 .
inform((_:result,id,'TR3547');(_:result,leave_at,'23:29');(_:result,type,'Train')) offer((_:booking,category,'Train');(_:booking,type,'Booking'))
system
There is a train that leaves at 23:29 , TR3547 .   Would you like me to confirm the reservation for you ?
user
Yes , that would be great .
inform((_:booking,category,'Train');(_:booking,ref,'9C24B086');(_:booking,ticket,'10.1 GBP');(_:booking,type,'Booking'))
system
Perfect . Your total fee is 10.1 GBP payable at the station . 
 Reference number is : 9C24B086 .
thank()
user
Thank you very much , I 've got what I need .
system
Wonderful . Have a great day .
_:search name christ 's college
_:search type Attraction
_:search name christ 's college
_:search type Attraction
_:system inquired _:user
_:result area center
_:result type Attraction
_:result phone ?
_:search name christ 's college
_:result area center
_:system inquired _:user
_:result phone 01223334900
_:result type Attraction
_:search departure bishops stortford
_:search destination cambridge
_:search type Train
_:search name christ 's college
_:result area center
_:system inquired _:user
_:result phone 01223334900
_:result type Attraction
_:search departure bishops stortford
_:search destination cambridge
_:search day friday
_:search leave_at 21:30
_:search type Train
_:search name christ 's college
_:result area center
_:system inquired _:user
_:result phone 01223334900
_:search departure bishops stortford
_:search destination cambridge
_:search day friday
_:search leave_at 21:30
_:search type Train
_:result id TR3547
_:result leave_at 23:29
_:result type Train
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:search name christ 's college
_:result area center
_:system inquired _:user
_:result phone 01223334900
_:search departure bishops stortford
_:search destination cambridge
_:search day friday
_:search leave_at 21:30
_:search type Train
_:result id TR3547
_:result leave_at 23:29
_:result type Train
_:system offered _:booking
_:booking category Train
_:booking ref 9C24B086
_:booking ticket 10.1 GBP
_:booking type Booking