inform((_:search,destination,'the hotel');(_:search,type,'Hotel');(_:search,type,'Taxi'))
user
I need a taxi to take me to the hotel from the airport now , can you give me the number to call ?
request((_:search,leave_at,?);(_:search,type,'Taxi'))
system
What specific time do you want to leave ?
inform((_:search,area,'north');(_:search,category,'guesthouse');(_:search,stars,'4');(_:search,type,'Hotel'))
user
Never mind . I 'm looking for a guesthouse to stay at . It must be in the north and 4 stars .
inform((_:result,area,'north');(_:result,name,'Acorn Guest House');(_:result,stars,'4');(_:result,type,'Hotel'))
system
The Acorn Guest House is in the north and is rated 4 stars .
request((_:result,phone,?);(_:result,postcode,?);(_:result,type,'Hotel'))
user
Okay great . Could I have their postcode and phone number ?
inform((_:result,name,'Acorn Guest House');(_:result,phone,'01223353888');(_:result,postcode,'cb41da');(_:result,type,'Hotel')) reqmore()
system
The phone number for Acorn Guest House is 01223353888 . The postal code is cb41da . Is there anything else I may help you with ?
inform((_:search,name,'sesame restaurant and bar');(_:search,type,'Restaurant'))
user
Yes I am looking for information on the Sesame Restaurant and Bar .
inform((_:result,address,'Hills Road City Centre');(_:result,area,'centre');(_:result,food,'Chinese');(_:result,name,'sesame restaurant and bar');(_:result,phone,'01223358899');(_:result,postcode,'cb21nw17');(_:result,type,'Restaurant'))
system
The sesame restaurant and bar serves Chinese food , located in the centre area at Hills Road City Centre , postal code cb21nw17 . You can contact them at this phone number , 01223358899 .
inform((_:search,departure,'the restaurant');(_:search,leave_at,'15:45');(_:search,type,'Taxi')) request((_:result,phone,?);(_:result,type,'Taxi'))
user
I need a taxi to commute between the two places . I want to leave the Restaurant at 15:45 . Can I get the phone number and type of car ?
inform((_:result,car,'red volkswagen');(_:result,departure,'acorn guest house');(_:result,destination,'sesame restaurant and bar');(_:result,phone,'07193707133');(_:result,type,'Taxi'))
system
A red volkswagen will take you from the acorn guest house to the sesame restaurant and bar . The contact number is 07193707133
thank()
user
Ok , great . Thank you very much for your help .
reqmore()
system
Do you need any further assistance today ?
thank()
user
No , that is all . Thank you .
system
Outstanding . Have a good rest of your day !
_:search destination the hotel
_:search type Hotel
_:search type Taxi
_:search destination the hotel
_:search leave_at ?
_:search area north
_:search category guesthouse
_:search stars 4
_:search type Hotel
_:search destination the hotel
_:search leave_at ?
_:search area north
_:search category guesthouse
_:search stars 4
_:search type Hotel
_:result area north
_:result name Acorn Guest House
_:result stars 4
_:result type Hotel
_:result phone ?
_:result postcode ?
_:search destination the hotel
_:search leave_at ?
_:search area north
_:search category guesthouse
_:search stars 4
_:result area north
_:result stars 4
_:result name Acorn Guest House
_:result phone 01223353888
_:result postcode cb41da
_:result type Hotel
_:system inquired _:user
_:search name sesame restaurant and bar
_:search type Restaurant
_:search destination the hotel
_:search area north
_:search category guesthouse
_:search stars 4
_:result stars 4
_:system inquired _:user
_:search name sesame restaurant and bar
_:result address Hills Road City Centre
_:result area centre
_:result food Chinese
_:result name sesame restaurant and bar
_:result phone 01223358899
_:result postcode cb21nw17
_:result type Restaurant
_:search departure the restaurant
_:search leave_at 15:45
_:search type Taxi
_:result phone ?
_:result type Taxi
_:search destination the hotel
_:search area north
_:search category guesthouse
_:search stars 4
_:result stars 4
_:system inquired _:user
_:search name sesame restaurant and bar
_:result address Hills Road City Centre
_:result area centre
_:result food Chinese
_:result name sesame restaurant and bar
_:result postcode cb21nw17
_:search departure the restaurant
_:search leave_at 15:45
_:search type Taxi
_:result car red volkswagen
_:result departure acorn guest house
_:result destination sesame restaurant and bar
_:result phone 07193707133
_:result type Taxi
_:search destination the hotel
_:search area north
_:search category guesthouse
_:search stars 4
_:result stars 4
_:search name sesame restaurant and bar
_:result address Hills Road City Centre
_:result area centre
_:result food Chinese
_:result name sesame restaurant and bar
_:result postcode cb21nw17
_:search departure the restaurant
_:search leave_at 15:45
_:search type Taxi
_:result car red volkswagen
_:result departure acorn guest house
_:result destination sesame restaurant and bar
_:result phone 07193707133
_:result type Taxi
_:system inquired _:user