inform((_:search,type,'Taxi'))
user
i want to book a taxi .
request((_:search,leave_at,?);(_:search,type,'Taxi'))
system
When would you like to leave ?
inform((_:search,arrive_by,'13:00');(_:search,type,'Taxi'))
user
I need to arrive by 13:00 . It does n't matter what time I leave .
request((_:search,departure,?);(_:search,destination,?);(_:search,type,'Taxi'))
system
Okay , and where are your departure and destination locations ?
inform((_:search,departure,'the fez club');(_:search,destination,'lensfield hotel');(_:search,type,'Taxi')) request((_:result,car,?);(_:result,type,'Taxi'))
user
I want to go to the lensfield hotel and depart from the fez club . Could you please give me the contact number and car type of the driver ?
inform((_:result,car,'yellow Toyota');(_:result,phone,'07205440226');(_:result,type,'Taxi')) reqmore()
system
You are scheduled for a yellow Toyota .   Contact number : 07205440226 .   Can I help with anything else today ?
thank()
user
No , that will be all . Thank you very much for your time .
system
Thank you for using Cambridge TownInfo centre . Have a good time !
_:search type Taxi
_:search leave_at ?
_:search arrive_by 13:00
_:search type Taxi
_:search leave_at ?
_:search arrive_by 13:00
_:search departure the fez club
_:search destination lensfield hotel
_:search type Taxi
_:result car ?
_:result type Taxi
_:search leave_at ?
_:search arrive_by 13:00
_:search departure the fez club
_:search destination lensfield hotel
_:search type Taxi
_:result car yellow Toyota
_:result phone 07205440226
_:result type Taxi
_:system inquired _:user