inform((_:search,departure,'Stantsted Airport');(_:search,destination,'cambridge');(_:search,type,'Train'))
user
I 'm looking for a train departing from Stantsted Airport going to Cambridge .
inform((_:result,count,'133');(_:result,type,'Train')) request((_:search,day,?);(_:search,leave_at,?);(_:search,type,'Train'))
system
I found 133 train trips , do you have a date and time you would like to travel ?
inform((_:search,arrive_by,'10:15');(_:search,day,'wednesday');(_:search,type,'Train'))
user
I want to leave on wednesday and arrive by 10:15 .
inform((_:result,count,'5');(_:result,type,'Train')) offer((_:booking,arrive_by,'10:15');(_:booking,arrive_by,'8:52');(_:booking,category,'Train');(_:booking,leave_at,'8:24');(_:booking,type,'Booking'))
system
There are 5 trains arriving by 10:15 , would you like to book one leaving at 8:24 and arriving at 8:52 ?
inform((_:search,people,'eight');(_:search,type,'Train'))
user
Yes , that will be good !   I need eight tickets , please .
reqmore() inform((_:booking,category,'Train');(_:booking,id,'TR7667');(_:booking,people,'8');(_:booking,ref,'A1S8REZC');(_:booking,ticket,'80.8 GBP');(_:booking,type,'Booking'))
system
You now have 8 tickets on the TR7667 . Your reference number is A1S8REZC and your total will be 80.8 GBP , payable at the station . Is there anything else I can do for you today ?
inform((_:search,name,'leverton house');(_:search,type,'Hotel'))
user
Can you also give me some information on the Leverton House hotel ?
inform((_:result,name,'Leverton House');(_:result,type,'Hotel'))
system
I certainly can . What would you like to know about the Leverton House ?
request((_:result,address,?);(_:result,type,'Hotel'))
user
What is the address of the hotel ?
inform((_:result,address,'732 - 734 newmarket road');(_:result,type,'Hotel')) reqmore()
system
The address is 732 - 734 newmarket road . Do you need any more information ?
request((_:result,phone,?);(_:result,type,'Hotel'))
user
What is their phone number ?
inform((_:result,phone,'01223292094');(_:result,type,'Hotel'))
system
Their phone number is 01223292094 .
thank()
user
Thanks ! That 's all I needed . Goodbye !
system
You 're welcome .   Please let us know if you need any more assistance ?
_:search departure Stantsted Airport
_:search destination cambridge
_:search type Train
_:search departure Stantsted Airport
_:search destination cambridge
_:result count 133
_:result type Train
_:search leave_at ?
_:search arrive_by 10:15
_:search day wednesday
_:search type Train
_:search departure Stantsted Airport
_:search destination cambridge
_:search leave_at ?
_:search arrive_by 10:15
_:search day wednesday
_:result count 5
_:result type Train
_:system offered _:booking
_:booking arrive_by 10:15
_:booking arrive_by 8:52
_:booking category Train
_:booking leave_at 8:24
_:booking type Booking
_:search people eight
_:search type Train
_:search departure Stantsted Airport
_:search destination cambridge
_:search leave_at ?
_:search arrive_by 10:15
_:search day wednesday
_:result count 5
_:result type Train
_:system offered _:booking
_:booking arrive_by 10:15
_:booking arrive_by 8:52
_:booking leave_at 8:24
_:search people eight
_:system inquired _:user
_:booking category Train
_:booking id TR7667
_:booking people 8
_:booking ref A1S8REZC
_:booking ticket 80.8 GBP
_:booking type Booking
_:search name leverton house
_:search type Hotel
_:search departure Stantsted Airport
_:search destination cambridge
_:search leave_at ?
_:search arrive_by 10:15
_:search day wednesday
_:result count 5
_:system offered _:booking
_:booking arrive_by 10:15
_:booking arrive_by 8:52
_:booking leave_at 8:24
_:search people eight
_:system inquired _:user
_:booking category Train
_:booking id TR7667
_:booking people 8
_:booking ref A1S8REZC
_:booking ticket 80.8 GBP
_:booking type Booking
_:search name leverton house
_:search type Hotel
_:result name Leverton House
_:result type Hotel
_:result address ?
_:search departure Stantsted Airport
_:search destination cambridge
_:search leave_at ?
_:search arrive_by 10:15
_:search day wednesday
_:result count 5
_:system offered _:booking
_:booking arrive_by 10:15
_:booking arrive_by 8:52
_:booking leave_at 8:24
_:search people eight
_:booking category Train
_:booking id TR7667
_:booking people 8
_:booking ref A1S8REZC
_:booking ticket 80.8 GBP
_:booking type Booking
_:search name leverton house
_:search type Hotel
_:result name Leverton House
_:result address 732 - 734 newmarket road
_:result type Hotel
_:system inquired _:user
_:result phone ?
_:search departure Stantsted Airport
_:search destination cambridge
_:search leave_at ?
_:search arrive_by 10:15
_:search day wednesday
_:result count 5
_:system offered _:booking
_:booking arrive_by 10:15
_:booking arrive_by 8:52
_:booking leave_at 8:24
_:search people eight
_:booking category Train
_:booking id TR7667
_:booking people 8
_:booking ref A1S8REZC
_:booking ticket 80.8 GBP
_:booking type Booking
_:search name leverton house
_:search type Hotel
_:result name Leverton House
_:result address 732 - 734 newmarket road
_:system inquired _:user
_:result phone 01223292094
_:result type Hotel