inform((_:search,day,'thursday');(_:search,destination,'birmingham new street');(_:search,type,'Train'))
user
i am looking for a train going to birmingham new street and should leave on thursday
request((_:search,departure,?);(_:search,type,'Train'))
system
Where will you departing from ?
inform((_:search,arrive_by,'17:15');(_:search,departure,'cambridge');(_:search,type,'Train'))
user
I am departing from Cambridge and want the train to arrive by 17:15 .
request((_:search,leave_at,?);(_:search,type,'Train'))
system
Okay , what time do you want to leave ?
inform((_:search,arrive_by,'17:15');(_:search,leave_at,"does n't matter");(_:search,type,'Train'))
user
It does n't matter , just as long as it arrive by 17:15 .
inform((_:result,id,'TR5961');(_:result,type,'Train'))
system
How about train TR5961 ?
request((_:result,duration,?);(_:result,ticket,?);(_:result,type,'Train'))
user
tell me the price and travel time please
inform((_:result,arrive_by,'07:44');(_:result,duration,'163 minutes');(_:result,leave_at,'05:01');(_:result,ticket,'75.10 pounds');(_:result,type,'Train'))
system
05:01 	 07:44 	 75.10 pounds 	 163 minutes there you go
thank()
user
Thank you for your help
system
You are welcome . Have a nice train ride .
_:search day thursday
_:search destination birmingham new street
_:search type Train
_:search day thursday
_:search destination birmingham new street
_:search arrive_by 17:15
_:search departure cambridge
_:search type Train
_:search day thursday
_:search destination birmingham new street
_:search departure cambridge
_:search arrive_by 17:15
_:search leave_at does n't matter
_:search type Train
_:search day thursday
_:search destination birmingham new street
_:search departure cambridge
_:search arrive_by 17:15
_:search leave_at does n't matter
_:search type Train
_:result id TR5961
_:result type Train
_:result duration ?
_:result ticket ?
_:search day thursday
_:search destination birmingham new street
_:search departure cambridge
_:search arrive_by 17:15
_:search leave_at does n't matter
_:search type Train
_:result id TR5961
_:result arrive_by 07:44
_:result duration 163 minutes
_:result leave_at 05:01
_:result ticket 75.10 pounds
_:result type Train