inform((_:search,category,'guesthouse');(_:search,type,'Hotel'))
user
I need help finding a guesthouse to stay at .
request((_:search,area,?);(_:search,type,'Hotel')) inform((_:result,amount,'a number');(_:result,category,'guesthouses');(_:result,type,'Hotel'))
system
I have a number of different guesthouses available . Do you want to stay in a particular part of town ?
inform((_:search,area,'east');(_:search,type,'Hotel'))
user
I 'd like the east part of town please .
inform((_:result,has_internet,'none');(_:result,has_parking,'none');(_:result,name,'Warkworth House');(_:result,pricerange,'moderately priced');(_:result,stars,'4');(_:result,type,'Hotel'))
system
Warkworth House is a great place . They are rated 4 stars , moderately priced and offer free parking and internet .
inform((_:search,people,'6');(_:search,type,'Hotel'))
user
That sound perfect . Could I make a booking for 6 people ?
offer((_:booking,type,'Booking')) request((_:booking,day,?);(_:booking,stay,?);(_:booking,type,'Booking'))
system
Of course ! What day and how many nights ?
inform((_:search,day,'sunday');(_:search,type,'Hotel'))
user
I 'll be starting my stay on this coming Sunday .
request((_:booking,stay,?);(_:booking,type,'Booking'))
system
How many days will you be staying ?
inform((_:search,stay,'5');(_:search,type,'Hotel'))
user
5 nights please .
inform((_:booking,ref,'T212RFL5');(_:booking,type,'Booking'))
system
Booking was successful . Reference number is : T212RFL5 .
inform((_:search,name,'gourmet burger kitchen');(_:search,type,'Restaurant'))
user
Do you know of a restaurant by the name of gourmet burger kitchen ?
inform((_:result,area,'City Centre');(_:result,food,'North American');(_:result,name,'Gourmet Burger Kitchen');(_:result,pricerange,'expensive');(_:result,type,'Restaurant'))
system
Yes , Gourmet Burger Kitchen has North American cuisine and is expensive . It is located in the City Centre .
request((_:result,phone,?);(_:result,type,'Restaurant'))
user
can you tell me the phone number please
reqmore() inform((_:result,phone,'01223312598');(_:result,type,'Restaurant'))
system
You can reach them by phone at 01223312598 . Anything else I can help with ?
thank()
user
No , that 's all the information I need . Thanks !
system
Ok great , have a wonderful day !
_:search category guesthouse
_:search type Hotel
_:search category guesthouse
_:result amount a number
_:result category guesthouses
_:result type Hotel
_:search area east
_:search type Hotel
_:search category guesthouse
_:result amount a number
_:result category guesthouses
_:search area east
_:result has_internet none
_:result has_parking none
_:result name Warkworth House
_:result pricerange moderately priced
_:result stars 4
_:result type Hotel
_:search people 6
_:search type Hotel
_:search category guesthouse
_:result amount a number
_:result category guesthouses
_:search area east
_:result has_internet none
_:result has_parking none
_:result name Warkworth House
_:result pricerange moderately priced
_:result stars 4
_:result type Hotel
_:search people 6
_:system offered _:booking
_:booking day ?
_:booking stay ?
_:booking type Booking
_:search day sunday
_:search type Hotel
_:search category guesthouse
_:result amount a number
_:result category guesthouses
_:search area east
_:result has_internet none
_:result has_parking none
_:result name Warkworth House
_:result pricerange moderately priced
_:result stars 4
_:result type Hotel
_:search people 6
_:system offered _:booking
_:booking day ?
_:search day sunday
_:booking stay ?
_:booking type Booking
_:search stay 5
_:search type Hotel
_:search category guesthouse
_:result amount a number
_:result category guesthouses
_:search area east
_:result has_internet none
_:result has_parking none
_:result name Warkworth House
_:result pricerange moderately priced
_:result stars 4
_:result type Hotel
_:search people 6
_:system offered _:booking
_:booking day ?
_:search day sunday
_:booking stay ?
_:search stay 5
_:booking ref T212RFL5
_:booking type Booking
_:search name gourmet burger kitchen
_:search type Restaurant
_:search category guesthouse
_:result amount a number
_:result category guesthouses
_:search area east
_:result has_internet none
_:result has_parking none
_:result stars 4
_:search people 6
_:system offered _:booking
_:booking day ?
_:search day sunday
_:booking stay ?
_:search stay 5
_:booking ref T212RFL5
_:booking type Booking
_:search name gourmet burger kitchen
_:search type Restaurant
_:result area City Centre
_:result food North American
_:result name Gourmet Burger Kitchen
_:result pricerange expensive
_:result type Restaurant
_:result phone ?
_:search category guesthouse
_:result amount a number
_:result category guesthouses
_:search area east
_:result has_internet none
_:result has_parking none
_:result stars 4
_:search people 6
_:system offered _:booking
_:booking day ?
_:search day sunday
_:booking stay ?
_:search stay 5
_:booking ref T212RFL5
_:booking type Booking
_:search name gourmet burger kitchen
_:search type Restaurant
_:result area City Centre
_:result food North American
_:result name Gourmet Burger Kitchen
_:result pricerange expensive
_:system inquired _:user
_:result phone 01223312598
_:result type Restaurant