inform((_:search,destination,'ely');(_:search,leave_at,'17:30');(_:search,type,'Train'))
user
Hi ! I need to find a train to Ely . Can you find me one that does n't leave until at least 17:30 ?
request((_:search,day,?);(_:search,type,'Train'))
system
Yes , what day are you traveling ?
inform((_:search,day,'tuesday');(_:search,departure,'cambridge');(_:search,type,'Train'))
user
I need to leave Cambridge on Tuesday .
inform((_:result,count,'4');(_:result,type,'Train')) request((_:search,arrive_by,?);(_:search,leave_at,?);(_:search,type,'Train'))
system
We have 4 trains that fit that . Any specifics on arrival or departure times ?
inform((_:search,people,'6');(_:search,type,'Train')) request((_:result,ref,?);(_:result,type,'Train'))
user
No . Please book one of for 6 people and let me know the reference number please .
inform((_:booking,arrive_by,'18:07,the');(_:booking,category,'Train');(_:booking,id,'tr7733,leave');(_:booking,leave_at,'17:50,arrive');(_:booking,ref,'KN3TLBK8');(_:booking,type,'Booking'))
system
I have booked you on TR7733,leave at 17:50,arrive 18:07,The reference number is : KN3TLBK8 .
inform((_:search,area,'centre');(_:search,category,'architecture');(_:search,type,'Attraction'))
user
Thank you . I am also looking for places to go in town . Are there any architecture sights in the city centre ?
inform((_:result,area,'Centre');(_:result,category,'architecture');(_:result,count,'5');(_:result,name,'All Saints Church');(_:result,type,'Attraction'))
system
Yes , I can recommend up to five different architecture attractions in the Centre area .   How about All Saints Church ?
request((_:result,address,?);(_:result,phone,?);(_:result,postcode,?);(_:result,type,'Attraction'))
user
That sounds wonderful . Can you give me their address , phone number and postcode ?
inform((_:result,address,'Jesus Lane');(_:result,phone,'01223452587');(_:result,postcode,'cb58bs');(_:result,type,'Attraction'))
system
Of course - the address is Jesus Lane cb58bs and the phone number is 01223452587
user
Can you give me another idea -- just to have a choice ?
inform((_:result,address,'Trinity Lane');(_:result,amount,'several');(_:result,category,'churches');(_:result,name,'Holy Trinity church');(_:result,name,'old schools');(_:result,type,'Attraction'))
system
Sure there are several churches in the area .   Holy Trinity church is interesting .   Also , if you are not interested in churches , old schools on Trinity Lane is nice .
inform((_:search,address,'Trinity');(_:search,name,'old schools');(_:search,type,'Attraction'))
user
I am interested in the old schools on Trinity Lane , can you give me the information of one ?
reqmore() inform((_:result,address,'Trinity Lane');(_:result,entrance_fee,'free');(_:result,name,'Old Schools');(_:result,phone,'01223332320');(_:result,postcode,'cb21tt');(_:result,type,'Attraction'))
system
Sure , Old Schools is located on Trinity Lane , their postcode is cb21tt and their phone number is 01223332320 . Their entrance fee is free . Can I help you with any other information ?
thank()
user
Nope , that 's all I needed . You 've been quite helpful .
system
Okay great , have a good day !
_:search destination ely
_:search leave_at 17:30
_:search type Train
_:search destination ely
_:search leave_at 17:30
_:search day tuesday
_:search departure cambridge
_:search type Train
_:search destination ely
_:search day tuesday
_:search departure cambridge
_:result count 4
_:result type Train
_:search arrive_by ?
_:search leave_at ?
_:search people 6
_:search type Train
_:result ref ?
_:search destination ely
_:search day tuesday
_:search departure cambridge
_:result count 4
_:result type Train
_:search arrive_by ?
_:search leave_at ?
_:search people 6
_:result ref ?
_:booking arrive_by 18:07,the
_:booking category Train
_:booking id tr7733,leave
_:booking leave_at 17:50,arrive
_:booking ref KN3TLBK8
_:booking type Booking
_:search area centre
_:search category architecture
_:search type Attraction
_:search destination ely
_:search day tuesday
_:search departure cambridge
_:search arrive_by ?
_:search leave_at ?
_:search people 6
_:result ref ?
_:booking arrive_by 18:07,the
_:booking category Train
_:booking id tr7733,leave
_:booking leave_at 17:50,arrive
_:booking ref KN3TLBK8
_:booking type Booking
_:search area centre
_:search category architecture
_:search type Attraction
_:result area Centre
_:result category architecture
_:result count 5
_:result name All Saints Church
_:result type Attraction
_:result address ?
_:result phone ?
_:result postcode ?
_:search destination ely
_:search day tuesday
_:search departure cambridge
_:search arrive_by ?
_:search leave_at ?
_:search people 6
_:result ref ?
_:booking arrive_by 18:07,the
_:booking category Train
_:booking id tr7733,leave
_:booking leave_at 17:50,arrive
_:booking ref KN3TLBK8
_:booking type Booking
_:search area centre
_:search category architecture
_:search type Attraction
_:result area Centre
_:result category architecture
_:result count 5
_:result name All Saints Church
_:result address Jesus Lane
_:result phone 01223452587
_:result postcode cb58bs
_:result type Attraction
_:search destination ely
_:search day tuesday
_:search departure cambridge
_:search arrive_by ?
_:search leave_at ?
_:search people 6
_:result ref ?
_:booking arrive_by 18:07,the
_:booking category Train
_:booking id tr7733,leave
_:booking leave_at 17:50,arrive
_:booking ref KN3TLBK8
_:booking type Booking
_:search area centre
_:search category architecture
_:result area Centre
_:result count 5
_:result phone 01223452587
_:result postcode cb58bs
_:result address Trinity Lane
_:result amount several
_:result category churches
_:result name Holy Trinity church
_:result name old schools
_:result type Attraction
_:search address Trinity
_:search name old schools
_:search type Attraction
_:search destination ely
_:search day tuesday
_:search departure cambridge
_:search arrive_by ?
_:search leave_at ?
_:search people 6
_:result ref ?
_:booking arrive_by 18:07,the
_:booking category Train
_:booking id tr7733,leave
_:booking leave_at 17:50,arrive
_:booking ref KN3TLBK8
_:booking type Booking
_:search area centre
_:search category architecture
_:result area Centre
_:result count 5
_:result amount several
_:result category churches
_:search address Trinity
_:search name old schools
_:search type Attraction
_:system inquired _:user
_:result address Trinity Lane
_:result entrance_fee free
_:result name Old Schools
_:result phone 01223332320
_:result postcode cb21tt
_:result type Attraction