inform((_:search,type,'Taxi'))
user
i want to book a taxi .
request((_:search,departure,?);(_:search,destination,?);(_:search,type,'Taxi'))
system
Where would you like to be picked up from , and what is your destination ?
inform((_:search,departure,"little saint mary 's church");(_:search,destination,'camboats');(_:search,type,'Taxi'))
user
I am going to camboats , from little saint mary 's church .
request((_:search,arrive_by,?);(_:search,type,'Taxi'))
system
What time would you like to get there ?
inform((_:search,arrive_by,'13:15');(_:search,type,'Taxi'))
user
I need to arrive by 13:15 please ?
inform((_:result,car,'black volkswagen');(_:result,phone,'07746689138');(_:result,type,'Taxi'))
system
Ok , I book a black volkswagen for you .   The contact number is 07746689138 .
thank()
user
Great , thanks so much for your help .
thank() reqmore()
system
You 're very welcome . Is there anything else I can assist you with ?
thank()
user
No that is all for now . Thank you
system
I 'm glad I was able to assist you ! Thank you for using Cambridge TownInfo centre .
_:search type Taxi
_:search departure little saint mary 's church
_:search destination camboats
_:search type Taxi
_:search departure little saint mary 's church
_:search destination camboats
_:search arrive_by 13:15
_:search type Taxi
_:search departure little saint mary 's church
_:search destination camboats
_:search arrive_by 13:15
_:search type Taxi
_:result car black volkswagen
_:result phone 07746689138
_:result type Taxi
_:search departure little saint mary 's church
_:search destination camboats
_:search arrive_by 13:15
_:search type Taxi
_:result car black volkswagen
_:result phone 07746689138
_:result type Taxi
_:system inquired _:user