inform((_:search,departure,'cambridge');(_:search,leave_at,'15:45');(_:search,type,'Train'))
user
I 'm looking for a train that leaves from cambridge after 15:45
inform((_:result,amount,'many');(_:result,type,'Train')) request((_:search,destination,?);(_:search,type,'Train'))
system
There are many trains , please tell me a destination to help narrow it down .
inform((_:search,destination,'stansted airport');(_:search,type,'Train'))
user
I 'd like to travel to stansted airport .
inform((_:result,amount,'earliest');(_:result,leave_at,'16:40');(_:result,type,'Train')) offer((_:booking,category,'Train');(_:booking,type,'Booking'))
system
The earliest train after 15:45 leaves at 16:40 . Would you like me to book you a seat ?
inform((_:search,day,'sunday');(_:search,people,'one');(_:search,type,'Train')) request((_:result,arrive_by,?);(_:result,id,?);(_:result,ticket,?);(_:result,type,'Train'))
user
Yes , I would like to book one seat that leaves on Sunday . Please provide the price , arrival time and train ID . Thank you .
reqmore() inform((_:booking,arrive_by,'17:08');(_:booking,category,'Train');(_:booking,id,'TR7062');(_:booking,leave_at,'16:40');(_:booking,ref,'1MSVTP4G');(_:booking,ticket,'10.10');(_:booking,type,'Booking'))
system
OK , you 're booked on TR7062 , leaving at 16:40 and arriving by 17:08 , reference number 1MSVTP4G . The price will be 10.10 at the station . Can I help you with anything else ?
inform((_:search,name,'gonville and caius college');(_:search,type,'Attraction'))
user
Yes , I was wondering if you could help me find ou abou an attraction called gonville and caius college .
reqmore() inform((_:result,area,'centre');(_:result,entrance_fee,'free');(_:result,name,'Gonville and Caius College');(_:result,type,'Attraction'))
system
Gonville and Caius College is in the centre of town and entrance is free .   Is there anything else you would like to know ?
request((_:result,phone,?);(_:result,postcode,?);(_:result,type,'Attraction'))
user
Can I have their post code and phone number please ?
inform((_:result,phone,'01223332400');(_:result,postcode,'cb21ta');(_:result,type,'Attraction'))
system
Sure there phone number is 01223332400 and postal code is cb21ta .
thank()
user
Okay . Thank you very much .
reqmore()
system
Is there anything else I can help you with ?
thank()
user
No I think that should do it . Thanks . Goodbye .
system
Thank you , have a nice time .
_:search departure cambridge
_:search leave_at 15:45
_:search type Train
_:search departure cambridge
_:search leave_at 15:45
_:result amount many
_:result type Train
_:search destination stansted airport
_:search type Train
_:search departure cambridge
_:search leave_at 15:45
_:search destination stansted airport
_:result amount earliest
_:result leave_at 16:40
_:result type Train
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:search day sunday
_:search people one
_:search type Train
_:result arrive_by ?
_:result id ?
_:result ticket ?
_:search departure cambridge
_:search leave_at 15:45
_:search destination stansted airport
_:result amount earliest
_:result leave_at 16:40
_:result type Train
_:system offered _:booking
_:search day sunday
_:search people one
_:result arrive_by ?
_:result id ?
_:result ticket ?
_:system inquired _:user
_:booking arrive_by 17:08
_:booking category Train
_:booking id TR7062
_:booking leave_at 16:40
_:booking ref 1MSVTP4G
_:booking ticket 10.10
_:booking type Booking
_:search name gonville and caius college
_:search type Attraction
_:search departure cambridge
_:search leave_at 15:45
_:search destination stansted airport
_:result amount earliest
_:result leave_at 16:40
_:system offered _:booking
_:search day sunday
_:search people one
_:result arrive_by ?
_:result id ?
_:result ticket ?
_:booking arrive_by 17:08
_:booking category Train
_:booking id TR7062
_:booking leave_at 16:40
_:booking ref 1MSVTP4G
_:booking ticket 10.10
_:booking type Booking
_:search name gonville and caius college
_:search type Attraction
_:system inquired _:user
_:result area centre
_:result entrance_fee free
_:result name Gonville and Caius College
_:result type Attraction
_:result phone ?
_:result postcode ?
_:search departure cambridge
_:search leave_at 15:45
_:search destination stansted airport
_:result amount earliest
_:result leave_at 16:40
_:system offered _:booking
_:search day sunday
_:search people one
_:result arrive_by ?
_:result id ?
_:result ticket ?
_:booking arrive_by 17:08
_:booking category Train
_:booking id TR7062
_:booking leave_at 16:40
_:booking ref 1MSVTP4G
_:booking ticket 10.10
_:booking type Booking
_:search name gonville and caius college
_:search type Attraction
_:system inquired _:user
_:result area centre
_:result entrance_fee free
_:result name Gonville and Caius College
_:result phone 01223332400
_:result postcode cb21ta
_:result type Attraction
_:search departure cambridge
_:search leave_at 15:45
_:search destination stansted airport
_:result amount earliest
_:result leave_at 16:40
_:system offered _:booking
_:search day sunday
_:search people one
_:result arrive_by ?
_:result id ?
_:result ticket ?
_:booking arrive_by 17:08
_:booking category Train
_:booking id TR7062
_:booking leave_at 16:40
_:booking ref 1MSVTP4G
_:booking ticket 10.10
_:booking type Booking
_:search name gonville and caius college
_:search type Attraction
_:result area centre
_:result entrance_fee free
_:result name Gonville and Caius College
_:result phone 01223332400
_:result postcode cb21ta
_:result type Attraction
_:system inquired _:user