inform((_:search,type,'Hotel'))
user
Hopefully you can help me with my planning .   I am looking for a place to stay and have no idea what to choose .
system
Do you have any special requests ?
inform((_:search,has_internet,'no');(_:search,stars,'three');(_:search,type,'Hotel'))
user
it should be a three star   and internet is not a must
offer((_:booking,type,'Booking')) inform((_:result,address,'63 milton road');(_:result,area,'north');(_:result,category,'guesthouse');(_:result,stars,'3');(_:result,type,'Hotel'))
system
I found a guesthouse in the north area that 's 3 stars at 63 milton road . Would you like to book a room here ?
inform((_:search,category,'hotel');(_:search,type,'Hotel'))
user
I was hoping to book a hotel if one is available .
request((_:booking,day,?);(_:booking,type,'Booking'))
system
When would you like to make a booking for ?
request((_:result,postcode,?);(_:result,type,'Hotel'))
user
Actually , I 'm going to hold off on booking for now , but can I get the postcode ?
inform((_:result,postcode,'cb41xa');(_:result,type,'Hotel')) reqmore()
system
post code is cb41xa , anything else today ?
inform((_:search,departure,'cambridge');(_:search,leave_at,'18:15');(_:search,type,'Train'))
user
I also need a train leaving Cambridge after 18:15
request((_:search,destination,?);(_:search,type,'Train'))
system
What is your destination ?
inform((_:search,day,'sunday');(_:search,destination,'broxbourne');(_:search,type,'Train'))
user
I 'm going to Broxbourne on Sunday .
request((_:search,arrive_by,?);(_:search,type,'Train'))
system
What time could you like to arrive by ?
inform((_:search,arrive_by,'7:00');(_:search,type,'Train')) request((_:result,ref,?);(_:result,type,'Train'))
user
7:00 am Can you book it for me and get a reference number ?
select((_:result,arrive_by,'7');(_:result,leave_at,'18:15');(_:result,type,'Train'))
system
Just to clarify , at first you said leaving after 18:15 , but that said arriving before 7 , before I book , can we confirm the time once more ?
user
Can leave anytime after 18:15 .
inform((_:result,duration,'one hour');(_:result,id,'tr 8991leaves');(_:result,leave_at,'19:01');(_:result,type,'Train')) offer((_:booking,category,'Train');(_:booking,type,'Booking'))
system
Great TR 8991leaves at 19:01 and is a one hour trip , does that work for you ?
request((_:result,arrive_by,?);(_:result,type,'Train'))
user
Yes , that will work . Can you tell me what the arrival time is ?
inform((_:result,arrive_by,'20:21');(_:result,type,'Train'))
system
The arrival time is 20:21 .
thank()
user
thank you that will be all .
system
Enjoy your trip .
_:search type Hotel
_:search has_internet no
_:search stars three
_:search type Hotel
_:search has_internet no
_:search stars three
_:system offered _:booking
_:booking type Booking
_:result address 63 milton road
_:result area north
_:result category guesthouse
_:result stars 3
_:result type Hotel
_:search category hotel
_:search type Hotel
_:search has_internet no
_:search stars three
_:system offered _:booking
_:result address 63 milton road
_:result area north
_:result category guesthouse
_:result stars 3
_:result type Hotel
_:search category hotel
_:search type Hotel
_:booking day ?
_:booking type Booking
_:result postcode ?
_:search has_internet no
_:search stars three
_:system offered _:booking
_:result address 63 milton road
_:result area north
_:result category guesthouse
_:result stars 3
_:search category hotel
_:booking day ?
_:booking type Booking
_:result postcode cb41xa
_:result type Hotel
_:system inquired _:user
_:search departure cambridge
_:search leave_at 18:15
_:search type Train
_:search has_internet no
_:search stars three
_:system offered _:booking
_:result address 63 milton road
_:result area north
_:result category guesthouse
_:result stars 3
_:search category hotel
_:booking day ?
_:booking type Booking
_:result postcode cb41xa
_:result type Hotel
_:system inquired _:user
_:search departure cambridge
_:search leave_at 18:15
_:search day sunday
_:search destination broxbourne
_:search type Train
_:search has_internet no
_:search stars three
_:system offered _:booking
_:result address 63 milton road
_:result area north
_:result category guesthouse
_:result stars 3
_:search category hotel
_:booking day ?
_:booking type Booking
_:result postcode cb41xa
_:result type Hotel
_:system inquired _:user
_:search departure cambridge
_:search leave_at 18:15
_:search day sunday
_:search destination broxbourne
_:search arrive_by 7:00
_:search type Train
_:result ref ?
_:result type Train
_:search has_internet no
_:search stars three
_:system offered _:booking
_:result address 63 milton road
_:result area north
_:result category guesthouse
_:result stars 3
_:search category hotel
_:booking day ?
_:booking type Booking
_:result postcode cb41xa
_:system inquired _:user
_:search departure cambridge
_:search leave_at 18:15
_:search day sunday
_:search destination broxbourne
_:search arrive_by 7:00
_:search type Train
_:result ref ?
_:result arrive_by 7
_:result leave_at 18:15
_:result type Train
_:search has_internet no
_:search stars three
_:system offered _:booking
_:result address 63 milton road
_:result area north
_:result category guesthouse
_:result stars 3
_:search category hotel
_:booking day ?
_:booking type Booking
_:result postcode cb41xa
_:system inquired _:user
_:search departure cambridge
_:search leave_at 18:15
_:search day sunday
_:search destination broxbourne
_:search arrive_by 7:00
_:search type Train
_:result ref ?
_:result arrive_by 7
_:result duration one hour
_:result id tr 8991leaves
_:result leave_at 19:01
_:result type Train
_:booking category Train
_:result arrive_by ?
_:search has_internet no
_:search stars three
_:system offered _:booking
_:result address 63 milton road
_:result area north
_:result category guesthouse
_:result stars 3
_:search category hotel
_:booking day ?
_:booking type Booking
_:result postcode cb41xa
_:system inquired _:user
_:search departure cambridge
_:search leave_at 18:15
_:search day sunday
_:search destination broxbourne
_:search arrive_by 7:00
_:search type Train
_:result ref ?
_:result duration one hour
_:result id tr 8991leaves
_:result leave_at 19:01
_:booking category Train
_:result arrive_by 20:21
_:result type Train