inform((_:search,name,'leverton house');(_:search,type,'Hotel'))
user
I need directions to leverton house , a hotel in Cambridge , can you help me ?
offer((_:booking,category,'Train');(_:booking,destination,'leverton house');(_:booking,type,'Booking'))
system
Woudl you like me to book a train to leverton house for you ?
inform((_:search,day,'tuesday');(_:search,name,'Leverton House');(_:search,people,'5');(_:search,stay,'two');(_:search,type,'Hotel'))
user
No thanks . But I do need to book Leverton House for two nights starting on Tuesday . There are 5 in my party .
reqmore() inform((_:booking,day,'Tuesday');(_:booking,name,'Leverton House');(_:booking,ref,'CQ1T0JWE');(_:booking,type,'Booking'))
system
Booking was successful for your stay at Leverton House on Tuesday . Your reference number is : CQ1T0JWE . Can I help with anything else today ?
inform((_:search,day,'thursday');(_:search,departure,'cambridge');(_:search,type,'Train'))
user
Yes , I am also looking for a train out of Cambridge for Thursday .
request((_:search,destination,?);(_:search,type,'Train'))
system
What is your destination ?
inform((_:search,destination,'norwich');(_:search,type,'Train'))
user
I want to travel to Norwich .
request((_:search,arrive_by,?);(_:search,leave_at,?);(_:search,type,'Train'))
system
What time would you like to arrive or leave by ?
inform((_:search,leave_at,'20:45');(_:search,type,'Train')) request((_:result,arrive_by,?);(_:result,id,?);(_:result,type,'Train'))
user
I would like to leave after 20:45 . Could I get the arrival time and train ID ?
system
Can you book it for me and get a reference number ?
_:search name leverton house
_:search type Hotel
_:system offered _:booking
_:booking category Train
_:booking destination leverton house
_:booking type Booking
_:search day tuesday
_:search name Leverton House
_:search people 5
_:search stay two
_:search type Hotel
_:system offered _:booking
_:booking category Train
_:booking destination leverton house
_:search name Leverton House
_:search people 5
_:search stay two
_:system inquired _:user
_:booking day Tuesday
_:booking name Leverton House
_:booking ref CQ1T0JWE
_:booking type Booking
_:search day thursday
_:search departure cambridge
_:search type Train
_:system offered _:booking
_:booking category Train
_:booking destination leverton house
_:search name Leverton House
_:search people 5
_:search stay two
_:system inquired _:user
_:booking day Tuesday
_:booking name Leverton House
_:booking ref CQ1T0JWE
_:booking type Booking
_:search day thursday
_:search departure cambridge
_:search destination norwich
_:search type Train
_:system offered _:booking
_:booking category Train
_:booking destination leverton house
_:search name Leverton House
_:search people 5
_:search stay two
_:system inquired _:user
_:booking day Tuesday
_:booking name Leverton House
_:booking ref CQ1T0JWE
_:booking type Booking
_:search day thursday
_:search departure cambridge
_:search destination norwich
_:search arrive_by ?
_:search leave_at 20:45
_:search type Train
_:result arrive_by ?
_:result id ?
_:result type Train