inform((_:search,type,'Hotel'))
user
I would like to book a hotel room for two .
offer((_:booking,category,'Train');(_:booking,type,'Booking'))
system
Okay , is it possible you meant to say you needed to find a train ? I can help you with that .
inform((_:search,day,'tuesday');(_:search,departure,'stansted airport');(_:search,type,'Train'))
user
Yes , sorry .   I need to leave Stansted airport on Tuesday .
request((_:search,destination,?);(_:search,type,'Train'))
system
And what is your destination ?
inform((_:search,destination,'cambridge');(_:search,type,'Train')) request((_:result,duration,?);(_:result,leave_at,?);(_:result,type,'Train'))
user
Cambridge . Please give me departure time and travel time .
select((_:result,arrive_by,'5:52');(_:result,leave_at,'5:24');(_:result,type,'Train'))
system
Would leaving at 5:24 and arriving at 5:52 work ?
request((_:result,duration,?);(_:result,type,'Train'))
user
It most certainly would , thank you .   I am not ready to book , can you just give me the travel time for that trip ?
inform((_:result,duration,'28 minutes');(_:result,type,'Train')) reqmore()
system
The travel time is 28 minutes . Is there anything else ?
thank()
user
No , that 's all , thanks .
system
You 're welcome . Have a great day !
_:search type Hotel
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:search day tuesday
_:search departure stansted airport
_:search type Train
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:search day tuesday
_:search departure stansted airport
_:search destination cambridge
_:search type Train
_:result duration ?
_:result leave_at ?
_:result type Train
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:search day tuesday
_:search departure stansted airport
_:search destination cambridge
_:search type Train
_:result duration ?
_:result arrive_by 5:52
_:result leave_at 5:24
_:result type Train
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:search day tuesday
_:search departure stansted airport
_:search destination cambridge
_:search type Train
_:result arrive_by 5:52
_:result leave_at 5:24
_:result duration 28 minutes
_:result type Train
_:system inquired _:user