inform((_:search,name,'worth house');(_:search,type,'Hotel'))
user
Can you find a hotel named Worth House for me ? Thanks .
offer((_:booking,type,'Booking')) inform((_:result,area,'north');(_:result,category,'guesthouse');(_:result,type,'Hotel'))
system
Sure , it is a guesthouse in the north . Would you like me to book a room for you ?
request((_:result,has_internet,?);(_:result,type,'Hotel')) inform((_:search,has_internet,'yes');(_:search,type,'Hotel'))
user
Can you tell me if they have free internet ?
inform((_:result,has_internet,'none');(_:result,type,'Hotel')) reqmore()
system
Yes , they have free wifi . Do you need anything else ?
inform((_:search,arrive_by,'14:30');(_:search,day,'tuesday');(_:search,type,'Train'))
user
I would also like a train that leaves on Tuesday and arrive by 14:30 .
inform((_:result,amount,'many');(_:result,day,'Tuesday');(_:result,type,'Train')) request((_:search,departure,?);(_:search,destination,?);(_:search,type,'Train'))
system
There are many trains moving on Tuesday , can I get your preferred point of departure and arrival ?
inform((_:search,departure,'cambridge');(_:search,destination,'bishops stortford');(_:search,type,'Train'))
user
I will be going from Cambridge to Bishops Stortford .
inform((_:result,amount,'multiple');(_:result,type,'Train')) request((_:search,leave_at,?);(_:search,type,'Train'))
system
There are multiple trains leaving that match your request . When is the earliest you would want to leave ?
inform((_:search,arrive_by,'14:30');(_:search,leave_at,'dontcare');(_:search,type,'Train'))
user
I need to arrive by 14:30 I do n't have a preference on departing time .
system
TR2771 leaves at 13:29 and arrives at 14:07 . Would this one work for you ?
_:search name worth house
_:search type Hotel
_:search name worth house
_:system offered _:booking
_:booking type Booking
_:result area north
_:result category guesthouse
_:result type Hotel
_:result has_internet ?
_:search has_internet yes
_:search type Hotel
_:search name worth house
_:system offered _:booking
_:booking type Booking
_:result area north
_:result category guesthouse
_:search has_internet yes
_:result has_internet none
_:result type Hotel
_:system inquired _:user
_:search arrive_by 14:30
_:search day tuesday
_:search type Train
_:search name worth house
_:system offered _:booking
_:booking type Booking
_:result area north
_:result category guesthouse
_:search has_internet yes
_:result has_internet none
_:system inquired _:user
_:search arrive_by 14:30
_:search day tuesday
_:result amount many
_:result day Tuesday
_:result type Train
_:search departure cambridge
_:search destination bishops stortford
_:search type Train
_:search name worth house
_:system offered _:booking
_:booking type Booking
_:result area north
_:result category guesthouse
_:search has_internet yes
_:result has_internet none
_:system inquired _:user
_:search day tuesday
_:result day Tuesday
_:search departure cambridge
_:search destination bishops stortford
_:result amount multiple
_:result type Train
_:search arrive_by 14:30
_:search leave_at dontcare
_:search type Train