inform((_:search,type,'Attraction'))
user
I would like to look into more tourist information .
reqmore()
system
OK , I can definitely help you out , but I will need some more information from you first !
user
No problem , what would you like to know ?
request((_:search,area,?);(_:search,category,?);(_:search,type,'Attraction'))
system
Are you looking for an attraction ? If so , what type , and where ?
inform((_:search,category,'theatre');(_:search,type,'Attraction'))
user
Yes .   I am looking for a theatre .
select((_:result,address,'park street');(_:result,area,'centre');(_:result,type,'Attraction')) reqmore() inform((_:result,name,'adc theatre');(_:result,type,'Attraction'))
system
How about the adc theatre located in the centre area at park street ?   Would you like more information on this theatre ?
inform((_:search,area,'west');(_:search,has_parking,'yes');(_:search,pricerange,'moderate');(_:search,stars,'3');(_:search,type,'Hotel')) request((_:result,phone,?);(_:result,type,'Attraction'))
user
Yes , can I have the phone number ? I am also looking for a place to stay in the west , with a moderate price range , free parking , and a star of 3 .
inform((_:result,address,'96 barton road');(_:result,name,'Hobsons House');(_:result,type,'Hotel')) offer((_:booking,type,'Booking')) inform((_:result,phone,'01223300085');(_:result,type,'Attraction')) reqmore()
system
The phone number is 01223300085 . I have a perfect match for you , Hobsons House , located at 96 barton road . Do you need more information or do you want to book now ?
inform((_:search,name,'hobsons house');(_:search,type,'Hotel')) request((_:result,phone,?);(_:result,type,'Hotel'))
user
Do you have Hobsons House phone number ?
offer((_:booking,type,'Booking')) inform((_:result,phone,'01223304906');(_:result,type,'Hotel')) thank()
system
Sure ... the phone number is 01223304906 .   Would you like me to book this for you ?
inform((_:search,departure,'the attraction');(_:search,leave_at,'03:45');(_:search,type,'Taxi'))
user
No thanks . I also need a taxi to commute between the two places . I want to leave the attraction by 03:45 .
inform((_:result,car,'white bmw');(_:result,phone,'07062462058');(_:result,type,'Taxi'))
system
You taxi is booked , its a white bmw and contact number is 07062462058
thank()
user
thank you that will be all goodbye
system
Your welcome , have a nice day !
_:search type Attraction
_:search type Attraction
_:system inquired _:user
_:system inquired _:user
_:search area ?
_:search category theatre
_:search type Attraction
_:search category theatre
_:result address park street
_:result area centre
_:system inquired _:user
_:result name adc theatre
_:result type Attraction
_:search area west
_:search has_parking yes
_:search pricerange moderate
_:search stars 3
_:search type Hotel
_:result phone ?
_:search category theatre
_:result area centre
_:search area west
_:search has_parking yes
_:search pricerange moderate
_:search stars 3
_:result address 96 barton road
_:result name Hobsons House
_:system offered _:booking
_:booking type Booking
_:result phone 01223300085
_:result type Attraction
_:system inquired _:user
_:search name hobsons house
_:search type Hotel
_:result phone ?
_:result type Hotel
_:search category theatre
_:result area centre
_:search area west
_:search has_parking yes
_:search pricerange moderate
_:search stars 3
_:result address 96 barton road
_:result name Hobsons House
_:system offered _:booking
_:booking type Booking
_:system inquired _:user
_:search name hobsons house
_:result phone 01223304906
_:result type Hotel
_:search departure the attraction
_:search leave_at 03:45
_:search type Taxi
_:search category theatre
_:result area centre
_:search area west
_:search has_parking yes
_:search pricerange moderate
_:search stars 3
_:result address 96 barton road
_:result name Hobsons House
_:system offered _:booking
_:booking type Booking
_:system inquired _:user
_:search name hobsons house
_:search departure the attraction
_:search leave_at 03:45
_:search type Taxi
_:result car white bmw
_:result phone 07062462058
_:result type Taxi