inform((_:search,name,"great saint mary 's church");(_:search,type,'Attraction'))
user
I am looking for an attraction called great saint mary 's church .
reqmore() inform((_:result,address,'Market Square');(_:result,name,"great saint mary 's church");(_:result,phone,'01223350914');(_:result,postcode,'cb23pq');(_:result,type,'Attraction'))
system
great saint mary 's church is at Market Square , their phone number is 01223350914 , and their postcode is cb23pq . Do you need any more information ?
request((_:result,category,?);(_:result,entrance_fee,?);(_:result,type,'Attraction'))
user
Is there price for admission ? what type of attraction is it ?
inform((_:result,category,'architecture');(_:result,entrance_fee,'2 pound');(_:result,type,'Attraction'))
system
It 's the architecture type and there is a 2 pound entrance fee .
inform((_:search,food,'austrian');(_:search,pricerange,'cheap');(_:search,type,'Restaurant'))
user
OK thank you .    I also need a place to dine that serves austrian and that is cheap .
request((_:search,food,?);(_:search,type,'Restaurant')) canthelp((_:search,food,'Austrian');(_:search,pricerange,'cheap');(_:search,type,'Restaurant'))
system
Unfortunately there is not a cheap Austrian restaurant in the area , is there another type of food you would like ?
inform((_:search,food,'chinese');(_:search,type,'Restaurant'))
user
What about Chinese food ?
select((_:result,area,'centre');(_:result,area,'south');(_:result,type,'Restaurant')) inform((_:result,count,'4');(_:result,food,'Chinese');(_:result,type,'Restaurant'))
system
As for chinese food , I have 4 different restaurants . There are several in the centre of town and 1 in the south . Do you have a preference ?
inform((_:search,area,'south');(_:search,type,'Restaurant')) request((_:result,phone,?);(_:result,postcode,?);(_:result,type,'Restaurant'))
user
The one in the south will do . Could you give me their postcode and phone number please ?
offer((_:booking,type,'Booking')) inform((_:result,name,'the lucky star');(_:result,phone,'01223244277');(_:result,postcode,'cb17dy');(_:result,type,'Restaurant'))
system
Sure , it 's the lucky star Phone number is 01223244277 , and postcode is cb17dy . Can I book a table for you ?
inform((_:search,destination,'the lucky star');(_:search,type,'Taxi'))
user
I can book it myself , thanks . However , I will need a taxi from great saint mary 's church to the lucky star .
request((_:search,arrive_by,?);(_:search,leave_at,?);(_:search,type,'Taxi'))
system
I can help with that . Do you have a departure or arrival time in mind ?
inform((_:search,departure,'the church');(_:search,leave_at,'24:30');(_:search,type,'Taxi'))
user
I would like to leave the church by 24:30 .
request((_:search,arrive_by,?);(_:search,type,'Taxi'))
system
Is there a time you would like to arrive by ?
request((_:result,car,?);(_:result,category,?);(_:result,type,'Attraction');(_:result,type,'Taxi'))
user
Nope , I just need to get there eventually ! Please send me the contact number and car type when you get the chance , thanks !
inform((_:result,car,'Black Lexus');(_:result,phone,'07315214015');(_:result,type,'Taxi')) reqmore()
system
The car type is a Black Lexus and you can contact the driver at 07315214015 . Anything more today ?
thank()
user
No , I think you covered it . Thanks !
system
You 're welcome ! Have a great day !
_:search name great saint mary 's church
_:search type Attraction
_:search name great saint mary 's church
_:search type Attraction
_:system inquired _:user
_:result address Market Square
_:result name great saint mary 's church
_:result phone 01223350914
_:result postcode cb23pq
_:result type Attraction
_:result category ?
_:result entrance_fee ?
_:search name great saint mary 's church
_:system inquired _:user
_:result address Market Square
_:result name great saint mary 's church
_:result phone 01223350914
_:result postcode cb23pq
_:result category architecture
_:result entrance_fee 2 pound
_:result type Attraction
_:search food austrian
_:search pricerange cheap
_:search type Restaurant
_:search name great saint mary 's church
_:system inquired _:user
_:result address Market Square
_:result name great saint mary 's church
_:result phone 01223350914
_:result postcode cb23pq
_:result category architecture
_:result entrance_fee 2 pound
_:result type Attraction
_:search pricerange cheap
_:system canthelp _:search/2804c976
_:search/2804c976 food Austrian
_:search/2804c976 pricerange cheap
_:search/2804c976 type Restaurant
_:search food chinese
_:search type Restaurant
_:search name great saint mary 's church
_:system inquired _:user
_:result address Market Square
_:result name great saint mary 's church
_:result phone 01223350914
_:result postcode cb23pq
_:result category architecture
_:result entrance_fee 2 pound
_:search pricerange cheap
_:system canthelp _:search/2804c976
_:search/2804c976 food Austrian
_:search/2804c976 pricerange cheap
_:search/2804c976 type Restaurant
_:search food chinese
_:result area centre
_:result area south
_:result count 4
_:result food Chinese
_:result type Restaurant
_:search area south
_:search type Restaurant
_:result phone ?
_:result postcode ?
_:search name great saint mary 's church
_:system inquired _:user
_:result address Market Square
_:result category architecture
_:result entrance_fee 2 pound
_:search pricerange cheap
_:system canthelp _:search/2804c976
_:search/2804c976 food Austrian
_:search/2804c976 pricerange cheap
_:search/2804c976 type Restaurant
_:search food chinese
_:result area centre
_:result area south
_:result count 4
_:result food Chinese
_:search area south
_:system offered _:booking
_:booking type Booking
_:result name the lucky star
_:result phone 01223244277
_:result postcode cb17dy
_:result type Restaurant
_:search destination the lucky star
_:search type Taxi
_:search name great saint mary 's church
_:system inquired _:user
_:result address Market Square
_:result category architecture
_:result entrance_fee 2 pound
_:search pricerange cheap
_:system canthelp _:search/2804c976
_:search/2804c976 food Austrian
_:search/2804c976 pricerange cheap
_:search/2804c976 type Restaurant
_:search food chinese
_:result area centre
_:result area south
_:result count 4
_:result food Chinese
_:search area south
_:system offered _:booking
_:booking type Booking
_:result name the lucky star
_:result phone 01223244277
_:result postcode cb17dy
_:result type Restaurant
_:search destination the lucky star
_:search arrive_by ?
_:search departure the church
_:search leave_at 24:30
_:search type Taxi
_:search name great saint mary 's church
_:system inquired _:user
_:result address Market Square
_:result category architecture
_:result entrance_fee 2 pound
_:search pricerange cheap
_:system canthelp _:search/2804c976
_:search/2804c976 food Austrian
_:search/2804c976 pricerange cheap
_:search/2804c976 type Restaurant
_:search food chinese
_:result area centre
_:result area south
_:result count 4
_:result food Chinese
_:search area south
_:system offered _:booking
_:booking type Booking
_:result name the lucky star
_:result phone 01223244277
_:result postcode cb17dy
_:result type Restaurant
_:search destination the lucky star
_:search departure the church
_:search leave_at 24:30
_:search arrive_by ?
_:search type Taxi
_:result car ?
_:result category ?
_:result type Attraction
_:result type Taxi
_:search name great saint mary 's church
_:result address Market Square
_:result category architecture
_:result entrance_fee 2 pound
_:search pricerange cheap
_:system canthelp _:search/2804c976
_:search/2804c976 food Austrian
_:search/2804c976 pricerange cheap
_:search/2804c976 type Restaurant
_:search food chinese
_:result area centre
_:result area south
_:result count 4
_:result food Chinese
_:search area south
_:system offered _:booking
_:booking type Booking
_:result name the lucky star
_:result postcode cb17dy
_:search destination the lucky star
_:search departure the church
_:search leave_at 24:30
_:search arrive_by ?
_:search type Taxi
_:result category ?
_:result car Black Lexus
_:result phone 07315214015
_:result type Taxi
_:system inquired _:user