inform((_:search,type,'Attraction'))
user
I would like to find an attraction .
request((_:search,category,?);(_:search,type,'Attraction'))
system
Absolutely !   Do you have any particular attraction type in mind ?   Maybe a specific area ?
inform((_:search,category,'architecture');(_:search,type,'Attraction')) request((_:result,address,?);(_:result,phone,?);(_:result,postcode,?);(_:result,type,'Attraction'))
user
Yes I am looking for architecture and will need the address , postcode and phone number of the attraction .
inform((_:result,address,'market street');(_:result,name,'holy trinity church');(_:result,phone,'01223355397');(_:result,postcode,'cb23nz');(_:result,type,'Attraction'))
system
How about the holy trinity church ? The address , postcode and phone number are market street , cb23nz , and 01223355397 .
inform((_:search,type,'Train'))
user
i 'm also looking for a train
request((_:search,departure,?);(_:search,destination,?);(_:search,type,'Train')) inform((_:result,amount,'dozens');(_:result,type,'Train'))
system
We have dozens of trains .   Where would you like to depart from and go to ?
inform((_:search,day,'sunday');(_:search,departure,'cambridge');(_:search,destination,'peterborough');(_:search,leave_at,'21:30');(_:search,type,'Train'))
user
I will be departing Cambridge after 21:30 on Sunday . I am going to Peterborough .
system
TR1784 departs Cambridge at 21.34
_:search type Attraction
_:search category architecture
_:search type Attraction
_:result address ?
_:result phone ?
_:result postcode ?
_:result type Attraction
_:search category architecture
_:result address market street
_:result name holy trinity church
_:result phone 01223355397
_:result postcode cb23nz
_:result type Attraction
_:search type Train
_:search category architecture
_:result address market street
_:result name holy trinity church
_:result phone 01223355397
_:result postcode cb23nz
_:result amount dozens
_:result type Train
_:search day sunday
_:search departure cambridge
_:search destination peterborough
_:search leave_at 21:30
_:search type Train