inform((_:search,category,'hotel');(_:search,has_internet,'yes');(_:search,pricerange,'cheap');(_:search,type,'Hotel'))
user
I 'm looking for a hotel with free wifi that is cheap
request((_:search,area,?);(_:search,category,?);(_:search,has_internet,?);(_:search,has_parking,?);(_:search,stars,?);(_:search,type,'Hotel')) inform((_:result,amount,'ten');(_:result,type,'Hotel')) reqmore()
system
There are ten opitions , that meet your needs , do you have any other preferences ?
inform((_:search,has_parking,'yes');(_:search,stars,'4');(_:search,type,'Hotel'))
user
I want it to have a 4 star rating and have free parking , please .
inform((_:result,name,'the belfry');(_:result,type,'Hotel')) offer((_:booking,type,'Booking'))
system
The belfry would suit your needs . Shall I book it for you ?
inform((_:search,day,'thursday');(_:search,people,'7');(_:search,stay,'3');(_:search,type,'Hotel')) request((_:result,ref,?);(_:result,type,'Hotel'))
user
I need to get a reference number first . This booking is for 7 people and 3 nights starting from thursday .
inform((_:booking,ref,'23U2JK9A');(_:booking,type,'Booking'))
system
Your reference number is 23U2JK9A .
inform((_:search,type,'Restaurant'))
user
Excellent . I 'm also looking for a restaurant .
request((_:search,food,?);(_:search,type,'Restaurant'))
system
What kind of food would you like ?
inform((_:search,food,'belgian');(_:search,type,'Restaurant'))
user
I want a restaurant that serve belgian food
canthelp((_:search,food,'belgian');(_:search,type,'Restaurant')) reqmore()
system
I do not see any restaurants with belgian cuisine . Would you like to try something else ?
inform((_:search,area,'north');(_:search,food,'italian');(_:search,pricerange,'cheap');(_:search,type,'Restaurant'))
user
How about some cheap italian located in the north ?
inform((_:booking,name,'Da Vinci Pizzeria');(_:booking,type,'Booking')) reqmore()
system
The Da Vinci Pizzeria matches those qualifications . Would you like a reservation or more information ?
inform((_:search,day,'same day');(_:search,duration,'14:15');(_:search,people,'same amount of people');(_:search,type,'Restaurant'))
user
Yes please . For the same amount of people on the same day at 14:15 .
inform((_:booking,duration,'14:15');(_:booking,name,'Da Vinci Pizzeria');(_:booking,people,'7');(_:booking,ref,'P6I1DFWJ');(_:booking,type,'Booking'))
system
Your reservation at Da Vinci Pizzeria has been made for a table for 7 at 14:15 . They 'll hold the table 15 minutes , and your reference number is P6I1DFWJ .
inform((_:search,category,'hotel');(_:search,type,'Hotel');(_:search,type,'Restaurant');(_:search,type,'Taxi'))
user
Could you also help me with a taxi between the hotel and restaurant ?
inform((_:result,car,'grey skoda');(_:result,leave_at,'13:45');(_:result,phone,'07001660178');(_:result,type,'Taxi'))
system
I have booked you a taxithat will pick you all up 13:45 . the car type is   grey skoda   and the contact number is 07001660178
thank()
user
Thank You for all your help .
reqmore()
system
Is there anything else that I can do for you ?
thank()
user
No , that will be all , thank you .
system
It was a pleasure to help you today . Have a nice afternoon . Goodbye .
_:search category hotel
_:search has_internet yes
_:search pricerange cheap
_:search type Hotel
_:search pricerange cheap
_:search area ?
_:search category ?
_:search has_internet ?
_:result amount ten
_:result type Hotel
_:system inquired _:user
_:search has_parking yes
_:search stars 4
_:search type Hotel
_:search pricerange cheap
_:search area ?
_:search category ?
_:search has_internet ?
_:result amount ten
_:system inquired _:user
_:search has_parking yes
_:search stars 4
_:result name the belfry
_:result type Hotel
_:system offered _:booking
_:booking type Booking
_:search day thursday
_:search people 7
_:search stay 3
_:search type Hotel
_:result ref ?
_:search pricerange cheap
_:search area ?
_:search category ?
_:search has_internet ?
_:result amount ten
_:system inquired _:user
_:search has_parking yes
_:search stars 4
_:result name the belfry
_:result type Hotel
_:system offered _:booking
_:search day thursday
_:search people 7
_:search stay 3
_:result ref ?
_:booking ref 23U2JK9A
_:booking type Booking
_:search type Restaurant
_:search pricerange cheap
_:search area ?
_:search category ?
_:search has_internet ?
_:result amount ten
_:system inquired _:user
_:search has_parking yes
_:search stars 4
_:result name the belfry
_:result type Hotel
_:system offered _:booking
_:search day thursday
_:search people 7
_:search stay 3
_:result ref ?
_:booking ref 23U2JK9A
_:booking type Booking
_:search food belgian
_:search type Restaurant
_:search category ?
_:search has_internet ?
_:result amount ten
_:search has_parking yes
_:search stars 4
_:result name the belfry
_:result type Hotel
_:system offered _:booking
_:search day thursday
_:search people 7
_:search stay 3
_:result ref ?
_:booking ref 23U2JK9A
_:booking type Booking
_:system canthelp _:search/ff02c4ae
_:search/ff02c4ae food belgian
_:search/ff02c4ae type Restaurant
_:system inquired _:user
_:search area north
_:search food italian
_:search pricerange cheap
_:search type Restaurant
_:search category ?
_:search has_internet ?
_:result amount ten
_:search has_parking yes
_:search stars 4
_:result name the belfry
_:result type Hotel
_:system offered _:booking
_:search stay 3
_:result ref ?
_:booking ref 23U2JK9A
_:system canthelp _:search/ff02c4ae
_:search/ff02c4ae food belgian
_:search/ff02c4ae type Restaurant
_:search area north
_:search food italian
_:search pricerange cheap
_:booking name Da Vinci Pizzeria
_:booking type Booking
_:system inquired _:user
_:search day same day
_:search duration 14:15
_:search people same amount of people
_:search type Restaurant
_:search has_internet ?
_:result amount ten
_:search has_parking yes
_:search stars 4
_:result name the belfry
_:result type Hotel
_:system offered _:booking
_:search stay 3
_:result ref ?
_:system canthelp _:search/ff02c4ae
_:search/ff02c4ae food belgian
_:search/ff02c4ae type Restaurant
_:search area north
_:search food italian
_:search pricerange cheap
_:system inquired _:user
_:search day same day
_:search duration 14:15
_:search people same amount of people
_:booking duration 14:15
_:booking name Da Vinci Pizzeria
_:booking people 7
_:booking ref P6I1DFWJ
_:booking type Booking
_:search category hotel
_:search type Hotel
_:search type Restaurant
_:search type Taxi
_:search has_internet ?
_:result amount ten
_:search has_parking yes
_:search stars 4
_:result name the belfry
_:system offered _:booking
_:search stay 3
_:result ref ?
_:system canthelp _:search/ff02c4ae
_:search/ff02c4ae food belgian
_:search/ff02c4ae type Restaurant
_:search area north
_:search food italian
_:search pricerange cheap
_:system inquired _:user
_:search day same day
_:search duration 14:15
_:search people same amount of people
_:booking duration 14:15
_:booking name Da Vinci Pizzeria
_:booking people 7
_:booking ref P6I1DFWJ
_:booking type Booking
_:search category hotel
_:search type Hotel
_:search type Restaurant
_:search type Taxi
_:result car grey skoda
_:result leave_at 13:45
_:result phone 07001660178
_:result type Taxi
_:search has_internet ?
_:result amount ten
_:search has_parking yes
_:search stars 4
_:result name the belfry
_:system offered _:booking
_:search stay 3
_:result ref ?
_:system canthelp _:search/ff02c4ae
_:search/ff02c4ae food belgian
_:search/ff02c4ae type Restaurant
_:search area north
_:search food italian
_:search pricerange cheap
_:search day same day
_:search duration 14:15
_:search people same amount of people
_:booking duration 14:15
_:booking name Da Vinci Pizzeria
_:booking people 7
_:booking ref P6I1DFWJ
_:booking type Booking
_:search category hotel
_:search type Hotel
_:search type Restaurant
_:search type Taxi
_:result car grey skoda
_:result leave_at 13:45
_:result phone 07001660178
_:result type Taxi
_:system inquired _:user