inform((_:search,area,'centre');(_:search,pricerange,'cheap');(_:search,type,'Restaurant'))
user
Cheap restaurant in the centre , please .
request((_:search,food,?);(_:search,type,'Restaurant')) inform((_:result,amount,'several');(_:result,type,'Restaurant'))
system
There are several for   you to choose from . What kind of food would you like ?
user
What kind of options do I have in that area ?
inform((_:result,amount,'too many to list');(_:result,food,'Chinese');(_:result,name,'Charlie Chan');(_:result,type,'Restaurant'))
system
Really , there are too many to list .   I would recommend a nice Chinese restaurant like Charlie Chan .
inform((_:search,day,'tuesday');(_:search,duration,'13:00');(_:search,people,'1');(_:search,type,'Restaurant'))
user
Okay . That sounds good . Can you book me a table for 1 at 13:00 on tuesday ?
canthelp((_:booking,day,'Tuesday');(_:booking,duration,'13:00');(_:booking,type,'Booking')) request((_:booking,duration,?);(_:booking,type,'Booking'))
system
Unfortunately there is no availability on Tuesday at 13:00 . Would you like me to try to book at another time ?
inform((_:search,duration,'12:00');(_:search,type,'Restaurant'))
user
Can you try 12:00
reqmore() inform((_:booking,ref,'H1LECR09');(_:booking,type,'Booking'))
system
I booked it for you . Your reference is H1LECR09 . Is there anything else I can help you with ?
inform((_:search,type,'Attraction'))
user
Could you help me find an interesting attraction nearby ?
request((_:search,category,?);(_:search,type,'Attraction')) inform((_:result,area,'centre');(_:result,count,'44');(_:result,name,'all saints church at the centre');(_:result,type,'Attraction'))
system
There are 44 attractions in the centre . Was there a specific type of attraction you want ? We have all saints church at the centre , would that suffice ?
request((_:result,category,?);(_:result,postcode,?);(_:result,type,'Attraction'))
user
that could do . get me the postcode and the attraction type please .
reqmore() inform((_:result,category,'architecture');(_:result,postcode,'cb58bs');(_:result,type,'Attraction'))
system
The postcode is cb58bs and the attraction type is architecture .   Is there anything else I can do for you ?
thank()
user
No , that will be all . Thank you !
system
You are welcome .   Have a great day !
_:search area centre
_:search pricerange cheap
_:search type Restaurant
_:search area centre
_:search pricerange cheap
_:search food ?
_:search type Restaurant
_:result amount several
_:result type Restaurant
_:search area centre
_:search pricerange cheap
_:search food ?
_:result amount too many to list
_:result food Chinese
_:result name Charlie Chan
_:result type Restaurant
_:search day tuesday
_:search duration 13:00
_:search people 1
_:search type Restaurant
_:search area centre
_:search pricerange cheap
_:search food ?
_:result amount too many to list
_:result food Chinese
_:result name Charlie Chan
_:result type Restaurant
_:search day tuesday
_:search people 1
_:system canthelp _:booking/2482e8e1
_:booking/2482e8e1 day Tuesday
_:booking/2482e8e1 duration 13:00
_:booking/2482e8e1 type Booking
_:booking duration ?
_:booking type Booking
_:search duration 12:00
_:search type Restaurant
_:search area centre
_:search pricerange cheap
_:search food ?
_:result amount too many to list
_:result food Chinese
_:result name Charlie Chan
_:result type Restaurant
_:search day tuesday
_:search people 1
_:system canthelp _:booking/2482e8e1
_:booking/2482e8e1 day Tuesday
_:booking/2482e8e1 duration 13:00
_:booking/2482e8e1 type Booking
_:booking duration ?
_:search duration 12:00
_:system inquired _:user
_:booking ref H1LECR09
_:booking type Booking
_:search type Attraction
_:search area centre
_:search pricerange cheap
_:search food ?
_:result amount too many to list
_:result food Chinese
_:search day tuesday
_:search people 1
_:system canthelp _:booking/2482e8e1
_:booking/2482e8e1 day Tuesday
_:booking/2482e8e1 duration 13:00
_:booking/2482e8e1 type Booking
_:booking duration ?
_:search duration 12:00
_:system inquired _:user
_:booking ref H1LECR09
_:booking type Booking
_:search category ?
_:search type Attraction
_:result area centre
_:result count 44
_:result name all saints church at the centre
_:result type Attraction
_:result category ?
_:result postcode ?
_:search area centre
_:search pricerange cheap
_:search food ?
_:result amount too many to list
_:result food Chinese
_:search day tuesday
_:search people 1
_:system canthelp _:booking/2482e8e1
_:booking/2482e8e1 day Tuesday
_:booking/2482e8e1 duration 13:00
_:booking/2482e8e1 type Booking
_:booking duration ?
_:search duration 12:00
_:booking ref H1LECR09
_:booking type Booking
_:search category ?
_:search type Attraction
_:result area centre
_:result count 44
_:result name all saints church at the centre
_:system inquired _:user
_:result category architecture
_:result postcode cb58bs
_:result type Attraction