user
I am planning a trip in Cambridge
system
What would you like to see while there ?
inform((_:search,area,'centre');(_:search,category,'entertainment');(_:search,type,'Attraction'))
user
I would like to go to an entertainment venue in the centre of town .
reqmore() inform((_:result,amount,'many');(_:result,type,'Attraction')) canthelp((_:search,area,'centre');(_:search,type,'Attraction'))
system
Unfortunately , I have many in other area but nothing in the centre . Can I look up something else for you ?
inform((_:search,category,'college');(_:search,type,'Attraction')) request((_:result,address,?);(_:result,phone,?);(_:result,type,'Attraction'))
user
How about a college then . I will need the address and phone number .
inform((_:result,address,"saint andrew 's street");(_:result,area,'centre');(_:result,category,'churches');(_:result,count,'13');(_:result,name,"christi 's college");(_:result,type,'Attraction'))
system
There are 13 churches in the centre . How about christi 's college ? The address is saint andrew 's street .
request((_:result,phone,?);(_:result,type,'Attraction'))
user
Ok that will work . Can I get their phone number please ?
inform((_:result,phone,'01223334900');(_:result,type,'Attraction'))
system
Okay the phone number is 01223334900 .
inform((_:search,type,'Train'))
user
Thank you . I also need information on a train .
request((_:search,departure,?);(_:search,type,'Train'))
system
I 'd be happy to help , where are you leaving from ?
inform((_:search,arrive_by,'11:30');(_:search,day,'thursday');(_:search,departure,'london liverpool street');(_:search,destination,'cambridge');(_:search,type,'Train'))
user
I need to leave London Liverpool Street on Thursday and get to Cambridge by 11:30 .
inform((_:result,count,'4');(_:result,type,'Train')) request((_:search,leave_at,?);(_:search,type,'Train'))
system
There are four trains that match your request . What time would you like to leave ?
inform((_:search,people,'one');(_:search,type,'Train'))
user
I do not care about departure time . I would like you to get me one ticket .
reqmore() inform((_:booking,category,'Train');(_:booking,day,'Thursday');(_:booking,id,'TR3839');(_:booking,leave_at,'05:39');(_:booking,ticket,'16.60 lbs');(_:booking,type,'Booking'))
system
You have been booked for the TR3839 . It leaves Thursday at 05:39 and cost 16.60 lbs .   Can I do anything else for you ?
thank()
user
That is all , thank you for your help .
system
Ok great , have a wonderful day !
_:search area centre
_:search category entertainment
_:search type Attraction
_:search area centre
_:system inquired _:user
_:result amount many
_:result type Attraction
_:system canthelp _:search/5a8740c3
_:search/5a8740c3 area centre
_:search/5a8740c3 type Attraction
_:search category college
_:search type Attraction
_:result address ?
_:result phone ?
_:search area centre
_:system inquired _:user
_:result amount many
_:system canthelp _:search/5a8740c3
_:search/5a8740c3 area centre
_:search/5a8740c3 type Attraction
_:search category college
_:search type Attraction
_:result phone ?
_:result address saint andrew 's street
_:result area centre
_:result category churches
_:result count 13
_:result name christi 's college
_:result type Attraction
_:search area centre
_:system inquired _:user
_:result amount many
_:system canthelp _:search/5a8740c3
_:search/5a8740c3 area centre
_:search/5a8740c3 type Attraction
_:search category college
_:result address saint andrew 's street
_:result area centre
_:result category churches
_:result count 13
_:result name christi 's college
_:result phone 01223334900
_:result type Attraction
_:search type Train
_:search area centre
_:system inquired _:user
_:result amount many
_:system canthelp _:search/5a8740c3
_:search/5a8740c3 area centre
_:search/5a8740c3 type Attraction
_:search category college
_:result address saint andrew 's street
_:result area centre
_:result category churches
_:result count 13
_:result name christi 's college
_:result phone 01223334900
_:result type Attraction
_:search arrive_by 11:30
_:search day thursday
_:search departure london liverpool street
_:search destination cambridge
_:search type Train
_:search area centre
_:system inquired _:user
_:result amount many
_:system canthelp _:search/5a8740c3
_:search/5a8740c3 area centre
_:search/5a8740c3 type Attraction
_:search category college
_:result address saint andrew 's street
_:result area centre
_:result category churches
_:result name christi 's college
_:result phone 01223334900
_:search arrive_by 11:30
_:search day thursday
_:search departure london liverpool street
_:search destination cambridge
_:result count 4
_:result type Train
_:search leave_at ?
_:search people one
_:search type Train
_:search area centre
_:result amount many
_:system canthelp _:search/5a8740c3
_:search/5a8740c3 area centre
_:search/5a8740c3 type Attraction
_:search category college
_:result address saint andrew 's street
_:result area centre
_:result category churches
_:result name christi 's college
_:result phone 01223334900
_:search arrive_by 11:30
_:search day thursday
_:search departure london liverpool street
_:search destination cambridge
_:result count 4
_:result type Train
_:search leave_at ?
_:search people one
_:search type Train
_:system inquired _:user
_:booking category Train
_:booking day Thursday
_:booking id TR3839
_:booking leave_at 05:39
_:booking ticket 16.60 lbs
_:booking type Booking