inform((_:search,destination,'charlie chan');(_:search,type,'Taxi'))
user
Can you help me reserve a taxi to charlie chan ?
request((_:search,leave_at,?);(_:search,type,'Taxi'))
system
Sure thing , when you like to leave by ?
inform((_:search,leave_at,'14:15');(_:search,type,'Taxi'))
user
I need to leave after 14:15 .
request((_:search,departure,?);(_:search,type,'Taxi'))
system
And where should we have them pick you up ?
user
I need to be picked up from 6742 North Ridgewood Court .
request((_:search,arrive_by,?);(_:search,type,'Taxi'))
system
What time do you want to arrive by ?
inform((_:search,arrive_by,'dontcare');(_:search,type,'Taxi'))
user
I do n't care .
request((_:search,departure,?);(_:search,type,'Taxi'))
system
Where are you departing from ?
inform((_:search,departure,'kings hedges learner pool');(_:search,type,'Taxi'))
user
kings hedges learner pool is where i am leaving from .
inform((_:result,car,'red honda');(_:result,phone,'07992450678');(_:result,type,'Taxi'))
system
I have a red honda with contact number 07992450678 .
thank()
user
Thank you ! I think that is all I need for today .
system
Great ! Have a nice day !
_:search destination charlie chan
_:search type Taxi
_:search destination charlie chan
_:search leave_at 14:15
_:search type Taxi
_:search destination charlie chan
_:search leave_at 14:15
_:search departure ?
_:search type Taxi
_:search destination charlie chan
_:search leave_at 14:15
_:search departure ?
_:search arrive_by dontcare
_:search type Taxi
_:search destination charlie chan
_:search leave_at 14:15
_:search arrive_by dontcare
_:search departure kings hedges learner pool
_:search type Taxi
_:search destination charlie chan
_:search leave_at 14:15
_:search arrive_by dontcare
_:search departure kings hedges learner pool
_:search type Taxi
_:result car red honda
_:result phone 07992450678
_:result type Taxi