inform((_:search,day,'wednesday');(_:search,departure,'broxbourne');(_:search,type,'Train'))
user
I need a train leaving broxbourne on wednesday .   Can you book it for me ?
thank() request((_:search,destination,?);(_:search,type,'Train'))
system
Sure ! What is your destination ?
inform((_:search,arrive_by,'11:45');(_:search,destination,'cambridge');(_:search,type,'Train'))
user
I need to arrive in Cambridge by 11:45 .
inform((_:result,arrive_by,'11:32');(_:result,destination,'Cambridge');(_:result,id,'TR1819');(_:result,leave_at,'10:32');(_:result,type,'Train')) offer((_:booking,category,'Train');(_:booking,type,'Booking'))
system
I have train TR1819 that leaves at 10:32 and arrives in Cambridge at 11:32 . Would that work for you ?
request((_:result,ticket,?);(_:result,type,'Train'))
user
yeah , what 's the price of the tickets ?
inform((_:result,ticket,'17.90 pounds');(_:result,type,'Train')) offer((_:booking,category,'Train');(_:booking,type,'Booking'))
system
The price of the tickets is 17.90 pounds . Shall I make a booking for you ?
inform((_:search,area,'north');(_:search,pricerange,'cheap');(_:search,type,'Hotel'))
user
Yes , please . I 'm also looking for a hotel that 's cheap and in the north .
system
There are no cheap hotels in the north but there are 2 guesthouses . Will those work ?
_:search day wednesday
_:search departure broxbourne
_:search type Train
_:search day wednesday
_:search departure broxbourne
_:search arrive_by 11:45
_:search destination cambridge
_:search type Train
_:search day wednesday
_:search departure broxbourne
_:search arrive_by 11:45
_:search destination cambridge
_:search type Train
_:result arrive_by 11:32
_:result destination Cambridge
_:result id TR1819
_:result leave_at 10:32
_:result type Train
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:result ticket ?
_:search day wednesday
_:search departure broxbourne
_:search arrive_by 11:45
_:search destination cambridge
_:result arrive_by 11:32
_:result destination Cambridge
_:result id TR1819
_:result leave_at 10:32
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:result ticket 17.90 pounds
_:result type Train
_:search area north
_:search pricerange cheap
_:search type Hotel