inform((_:search,arrive_by,'20:45');(_:search,day,'wednesday');(_:search,destination,'cambridge');(_:search,type,'Train'))
user
Yes , please I need to book a train to Cambridge that should arrive by 20:45 on Wednesday .   Can you book it for me ?
thank() request((_:search,departure,?);(_:search,type,'Train'))
system
Yes I can . First please tell me your departure location .
inform((_:search,departure,'stanstedt airport');(_:search,type,'Train'))
user
I would leave from stanstedt airport .
inform((_:result,id,'TR5910');(_:result,leave_at,'05:24');(_:result,type,'Train'))
system
Okay , how about TR5910 that leaves at 05:24 ?
user
That will work for me .
inform((_:booking,category,'Train');(_:booking,id,'TR5910');(_:booking,ref,'XG1TX6Q8');(_:booking,type,'Booking'))
system
I booked TR5910 . Your reference is XG1TX6Q8 .
inform((_:search,type,'Attraction'))
user
i 'm also looking for places to go in town
request((_:search,area,?);(_:search,category,?);(_:search,type,'Attraction')) thank()
system
Okay . What part of town would you like to visit , and what type of attraction would you like ?
inform((_:search,area,'centre');(_:search,category,'college');(_:search,type,'Attraction'))
user
I was thinking of visiting a college . I think maybe the centre of town might have better selection .
inform((_:result,name,'queens college');(_:result,type,'Attraction'))
system
Yes you could visit queens college .
request((_:result,entrance_fee,?);(_:result,type,'Attraction'))
user
Great ! Do they have an entrance fee ?
inform((_:result,area,'centre');(_:result,entrance_fee,'no entrance fee');(_:result,name,"Christ 's College");(_:result,name,"Queen 's College");(_:result,type,'Attraction'))
system
I 'm sorry , Queen 's College is n't in the centre of town .   If you 'd like , you Can visit Christ 's College , they have no entrance fee .
request((_:result,phone,?);(_:result,type,'Attraction'))
user
That sounds much better , what 's their phone number ?
offer((_:booking,type,'Booking')) inform((_:result,phone,'01223334900');(_:result,type,'Attraction'))
system
The phone is 01223334900 .   Need a hotel room ?
inform((_:search,type,'Hotel'))
user
No , thank you . I do n't need a hotel at this time .
reqmore()
system
Is there anything else I can help you find today ?
thank()
user
No that it is it . Thank you .
system
Please do n't hesitate to contact us again if you need anything . Thank you for calling . Goodbye .
_:search arrive_by 20:45
_:search day wednesday
_:search destination cambridge
_:search type Train
_:search arrive_by 20:45
_:search day wednesday
_:search destination cambridge
_:search departure stanstedt airport
_:search type Train
_:search arrive_by 20:45
_:search day wednesday
_:search destination cambridge
_:search departure stanstedt airport
_:search type Train
_:result id TR5910
_:result leave_at 05:24
_:result type Train
_:search arrive_by 20:45
_:search day wednesday
_:search destination cambridge
_:search departure stanstedt airport
_:result id TR5910
_:result leave_at 05:24
_:result type Train
_:booking category Train
_:booking id TR5910
_:booking ref XG1TX6Q8
_:booking type Booking
_:search type Attraction
_:search arrive_by 20:45
_:search day wednesday
_:search destination cambridge
_:search departure stanstedt airport
_:result id TR5910
_:result leave_at 05:24
_:result type Train
_:booking category Train
_:booking id TR5910
_:booking ref XG1TX6Q8
_:booking type Booking
_:search area centre
_:search category college
_:search type Attraction
_:search arrive_by 20:45
_:search day wednesday
_:search destination cambridge
_:search departure stanstedt airport
_:result id TR5910
_:result leave_at 05:24
_:booking category Train
_:booking id TR5910
_:booking ref XG1TX6Q8
_:booking type Booking
_:search area centre
_:search category college
_:search type Attraction
_:result name queens college
_:result type Attraction
_:result entrance_fee ?
_:search arrive_by 20:45
_:search day wednesday
_:search destination cambridge
_:search departure stanstedt airport
_:result id TR5910
_:result leave_at 05:24
_:booking category Train
_:booking id TR5910
_:booking ref XG1TX6Q8
_:booking type Booking
_:search area centre
_:search category college
_:search type Attraction
_:result area centre
_:result entrance_fee no entrance fee
_:result name Christ 's College
_:result name Queen 's College
_:result type Attraction
_:result phone ?
_:search arrive_by 20:45
_:search day wednesday
_:search destination cambridge
_:search departure stanstedt airport
_:result id TR5910
_:result leave_at 05:24
_:booking category Train
_:booking id TR5910
_:booking ref XG1TX6Q8
_:booking type Booking
_:search area centre
_:search category college
_:result area centre
_:result entrance_fee no entrance fee
_:result name Christ 's College
_:result name Queen 's College
_:system offered _:booking
_:result phone 01223334900
_:result type Attraction
_:search type Hotel
_:search arrive_by 20:45
_:search day wednesday
_:search destination cambridge
_:search departure stanstedt airport
_:result id TR5910
_:result leave_at 05:24
_:booking category Train
_:booking id TR5910
_:booking ref XG1TX6Q8
_:booking type Booking
_:search area centre
_:search category college
_:result area centre
_:result entrance_fee no entrance fee
_:result name Christ 's College
_:result name Queen 's College
_:system offered _:booking
_:result phone 01223334900
_:result type Attraction
_:search type Hotel
_:system inquired _:user