inform((_:search,type,'Taxi'))
user
i want to book a taxi .
request((_:search,destination,?);(_:search,type,'Taxi'))
system
Okay . Where is the destination ?
inform((_:search,destination,'museum of classical archaeology');(_:search,type,'Taxi'))
user
The destination is the museum of classical archaeology .
request((_:search,arrive_by,?);(_:search,leave_at,?);(_:search,type,'Taxi'))
system
When would you like to leave or arrive by ?
inform((_:search,leave_at,'10:15');(_:search,type,'Taxi'))
user
I want to leave after 10:15
request((_:search,departure,?);(_:search,type,'Taxi'))
system
Where would you like to be picked up from ?
inform((_:search,departure,'curry king');(_:search,type,'Taxi')) request((_:result,car,?);(_:result,type,'Taxi'))
user
I need to depart from Curry King , please . Can I have the car type and contact number as well ?
inform((_:result,car,'red BMW');(_:result,phone,'07641445161');(_:result,type,'Taxi')) reqmore()
system
A red BMW will pick you up , and the contact number is 07641445161 . Can I help you with anything else ?
thank()
user
No thank you , that 's all I need for now !
system
You 're welcome . Have a great time !
_:search type Taxi
_:search destination museum of classical archaeology
_:search type Taxi
_:search destination museum of classical archaeology
_:search arrive_by ?
_:search leave_at 10:15
_:search type Taxi
_:search destination museum of classical archaeology
_:search arrive_by ?
_:search leave_at 10:15
_:search departure curry king
_:search type Taxi
_:result car ?
_:result type Taxi
_:search destination museum of classical archaeology
_:search arrive_by ?
_:search leave_at 10:15
_:search departure curry king
_:search type Taxi
_:result car red BMW
_:result phone 07641445161
_:result type Taxi
_:system inquired _:user