inform((_:search,area,'north');(_:search,category,'hotel');(_:search,stars,'4');(_:search,type,'Hotel'))
user
Hello . I 'm looking for a hotel on the north end of town with a 4 star rating .
canthelp((_:search,area,'north');(_:search,category,'hotels');(_:search,stars,'4-star');(_:search,type,'Hotel'))
system
I can assist you with finding a place to stay , but first , I can tell you we have no 4-star hotels on the north side of town in our database .
inform((_:search,area,'north');(_:search,has_parking,'yes');(_:search,pricerange,'cheap');(_:search,stars,'four');(_:search,type,'Hotel'))
user
Nothing in the north , four star ?   I need that and cheap with free parking .
request((_:search,area,?);(_:search,type,'Hotel')) canthelp((_:search,stars,'4');(_:search,type,'Hotel'))
system
Sorry , I do n't have anything 4 star in that area .   Would you like to try another area ?
inform((_:search,area,'north');(_:search,category,'guesthouse');(_:search,stars,'4-stars');(_:search,type,'Hotel'))
user
I really need something in the north that has 4-stars . Can you double check ? I would even take a guesthouse if there is one .
offer((_:booking,type,'Booking')) inform((_:result,area,'north');(_:result,category,'guesthouse');(_:result,has_parking,'none');(_:result,name,'Worth House');(_:result,pricerange,'cheap');(_:result,stars,'4');(_:result,type,'Hotel'))
system
I have found a guesthouse , Worth House , that meets all your criteria ( north , cheap , 4 stars , free parking ) .   Would you like help booking this guest house ?
request((_:result,postcode,?);(_:result,type,'Hotel'))
user
No , can I please just have the post code of that hotel for now ?
inform((_:result,postcode,'cb41da');(_:result,type,'Hotel')) reqmore()
system
Yes .   The postcode is cb41da .   Is there anything else I can help you with today ?
inform((_:search,type,'Train'))
user
I need a train as well .
request((_:search,day,?);(_:search,leave_at,?);(_:search,type,'Train'))
system
What day and time would you like to take the train ?
inform((_:search,arrive_by,'08:30');(_:search,day,'sunday');(_:search,type,'Train'))
user
I 'd like to leave on Sunday with an arrival time by 08:30 .
inform((_:result,amount,'many');(_:result,day,'Sunday');(_:result,type,'Train')) request((_:search,departure,?);(_:search,destination,?);(_:search,type,'Train'))
system
No problem , there are many trains for Sunday . From which station will you be leaving and your destination ?
inform((_:search,departure,'cambridge');(_:search,destination,'leicester');(_:search,type,'Train'))
user
I 'll be leaving cambridge going to leicester please .
inform((_:result,arrive_by,'08:06');(_:result,destination,'leicester');(_:result,id,'TR9187');(_:result,type,'Train')) offer((_:booking,category,'Train');(_:booking,type,'Booking'))
system
There is TR9187 that arrives at leicester by 08:06 .   Will that work for you ?
inform((_:search,people,'3');(_:search,type,'Train')) request((_:result,ref,?);(_:result,type,'Train'))
user
Yes , make it for 3 people and I need a reference number .
inform((_:booking,category,'Train');(_:booking,ref,'KNXJT4PR');(_:booking,type,'Booking'))
system
I have your tickets booked , and your reference number is KNXJT4PR .
thank()
user
thank you , that 's all I need !
system
Enjoy your trip !
_:search area north
_:search category hotel
_:search stars 4
_:search type Hotel
_:search category hotel
_:system canthelp _:search/ee5b4582
_:search/ee5b4582 area north
_:search/ee5b4582 category hotels
_:search/ee5b4582 stars 4-star
_:search/ee5b4582 type Hotel
_:search area north
_:search has_parking yes
_:search pricerange cheap
_:search stars four
_:search type Hotel
_:system canthelp _:search/ee5b4582
_:search/ee5b4582 area north
_:search/ee5b4582 category hotels
_:search/ee5b4582 stars 4-star
_:search/ee5b4582 type Hotel
_:search has_parking yes
_:search pricerange cheap
_:system canthelp _:search/f1f470c3
_:search/f1f470c3 stars 4
_:search/f1f470c3 type Hotel
_:search area north
_:search category guesthouse
_:search stars 4-stars
_:search type Hotel
_:system canthelp _:search/ee5b4582
_:search/ee5b4582 area north
_:search/ee5b4582 category hotels
_:search/ee5b4582 stars 4-star
_:search/ee5b4582 type Hotel
_:search has_parking yes
_:search pricerange cheap
_:system canthelp _:search/f1f470c3
_:search/f1f470c3 stars 4
_:search/f1f470c3 type Hotel
_:search area north
_:search category guesthouse
_:search stars 4-stars
_:search type Hotel
_:system offered _:booking
_:booking type Booking
_:result area north
_:result category guesthouse
_:result has_parking none
_:result name Worth House
_:result pricerange cheap
_:result stars 4
_:result type Hotel
_:result postcode ?
_:system canthelp _:search/ee5b4582
_:search/ee5b4582 area north
_:search/ee5b4582 category hotels
_:search/ee5b4582 stars 4-star
_:search/ee5b4582 type Hotel
_:search has_parking yes
_:search pricerange cheap
_:system canthelp _:search/f1f470c3
_:search/f1f470c3 stars 4
_:search/f1f470c3 type Hotel
_:search area north
_:search category guesthouse
_:search stars 4-stars
_:system offered _:booking
_:booking type Booking
_:result area north
_:result category guesthouse
_:result has_parking none
_:result name Worth House
_:result pricerange cheap
_:result stars 4
_:result postcode cb41da
_:result type Hotel
_:system inquired _:user
_:search type Train
_:system canthelp _:search/ee5b4582
_:search/ee5b4582 area north
_:search/ee5b4582 category hotels
_:search/ee5b4582 stars 4-star
_:search/ee5b4582 type Hotel
_:search has_parking yes
_:search pricerange cheap
_:system canthelp _:search/f1f470c3
_:search/f1f470c3 stars 4
_:search/f1f470c3 type Hotel
_:search area north
_:search category guesthouse
_:search stars 4-stars
_:system offered _:booking
_:booking type Booking
_:result area north
_:result category guesthouse
_:result has_parking none
_:result name Worth House
_:result pricerange cheap
_:result stars 4
_:result postcode cb41da
_:result type Hotel
_:system inquired _:user
_:search leave_at ?
_:search arrive_by 08:30
_:search day sunday
_:search type Train
_:system canthelp _:search/ee5b4582
_:search/ee5b4582 area north
_:search/ee5b4582 category hotels
_:search/ee5b4582 stars 4-star
_:search/ee5b4582 type Hotel
_:search has_parking yes
_:search pricerange cheap
_:system canthelp _:search/f1f470c3
_:search/f1f470c3 stars 4
_:search/f1f470c3 type Hotel
_:search area north
_:search category guesthouse
_:search stars 4-stars
_:system offered _:booking
_:booking type Booking
_:result area north
_:result category guesthouse
_:result has_parking none
_:result name Worth House
_:result pricerange cheap
_:result stars 4
_:result postcode cb41da
_:system inquired _:user
_:search leave_at ?
_:search arrive_by 08:30
_:search day sunday
_:result amount many
_:result day Sunday
_:result type Train
_:search departure cambridge
_:search destination leicester
_:search type Train
_:system canthelp _:search/ee5b4582
_:search/ee5b4582 area north
_:search/ee5b4582 category hotels
_:search/ee5b4582 stars 4-star
_:search/ee5b4582 type Hotel
_:search has_parking yes
_:search pricerange cheap
_:system canthelp _:search/f1f470c3
_:search/f1f470c3 stars 4
_:search/f1f470c3 type Hotel
_:search area north
_:search category guesthouse
_:search stars 4-stars
_:system offered _:booking
_:booking type Booking
_:result area north
_:result category guesthouse
_:result has_parking none
_:result name Worth House
_:result pricerange cheap
_:result stars 4
_:result postcode cb41da
_:system inquired _:user
_:search leave_at ?
_:search arrive_by 08:30
_:search day sunday
_:result amount many
_:result day Sunday
_:search departure cambridge
_:search destination leicester
_:result arrive_by 08:06
_:result destination leicester
_:result id TR9187
_:result type Train
_:booking category Train
_:search people 3
_:search type Train
_:result ref ?
_:system canthelp _:search/ee5b4582
_:search/ee5b4582 area north
_:search/ee5b4582 category hotels
_:search/ee5b4582 stars 4-star
_:search/ee5b4582 type Hotel
_:search has_parking yes
_:search pricerange cheap
_:system canthelp _:search/f1f470c3
_:search/f1f470c3 stars 4
_:search/f1f470c3 type Hotel
_:search area north
_:search category guesthouse
_:search stars 4-stars
_:system offered _:booking
_:result area north
_:result category guesthouse
_:result has_parking none
_:result name Worth House
_:result pricerange cheap
_:result stars 4
_:result postcode cb41da
_:system inquired _:user
_:search leave_at ?
_:search arrive_by 08:30
_:search day sunday
_:result amount many
_:result day Sunday
_:search departure cambridge
_:search destination leicester
_:result arrive_by 08:06
_:result destination leicester
_:result id TR9187
_:result type Train
_:search people 3
_:search type Train
_:result ref ?
_:booking category Train
_:booking ref KNXJT4PR
_:booking type Booking