inform((_:search,destination,'cambridge');(_:search,leave_at,'18:00');(_:search,type,'Train'))
user
Is there a train I can take to cambridge that leaves after 18:00 ?
request((_:search,departure,?);(_:search,type,'Train'))
system
Absolutely . Where are you coming from ?
inform((_:search,departure,'birmingham new street');(_:search,type,'Train'))
user
I 'm departing from birmingham new street .
inform((_:result,arrive_by,'21:23');(_:result,destination,'Cambridge');(_:result,id,'TR8903');(_:result,leave_at,'18:40');(_:result,type,'Train')) offer((_:booking,category,'Train');(_:booking,type,'Booking'))
system
I have train TR8903 that leaves at 18:40 and will arrive in Cambridge at 21:23 . Would that interest you ?
inform((_:search,people,'one');(_:search,type,'Train'))
user
Yes please book me for one ticket .
reqmore() inform((_:booking,category,'Train');(_:booking,ref,'KHBLJGHN');(_:booking,ticket,'75.09 GBP');(_:booking,type,'Booking'))
system
Booking was successful , the total fee is 75.09 GBP payable at the station . 
 Reference number is : KHBLJGHN .   Is there anything else I can do to assit you today ?
inform((_:search,category,'guesthouse');(_:search,pricerange,'cheap');(_:search,type,'Hotel'))
user
Also looking for a guesthouse in the cheap price range .
system
Are you going to stay in a specific area of town ?
_:search destination cambridge
_:search leave_at 18:00
_:search type Train
_:search destination cambridge
_:search leave_at 18:00
_:search departure birmingham new street
_:search type Train
_:search destination cambridge
_:search leave_at 18:00
_:search departure birmingham new street
_:result arrive_by 21:23
_:result destination Cambridge
_:result id TR8903
_:result leave_at 18:40
_:result type Train
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:search people one
_:search type Train
_:search destination cambridge
_:search leave_at 18:00
_:search departure birmingham new street
_:result arrive_by 21:23
_:result destination Cambridge
_:result id TR8903
_:result leave_at 18:40
_:result type Train
_:system offered _:booking
_:search people one
_:system inquired _:user
_:booking category Train
_:booking ref KHBLJGHN
_:booking ticket 75.09 GBP
_:booking type Booking
_:search category guesthouse
_:search pricerange cheap
_:search type Hotel