inform((_:search,destination,'cocum');(_:search,type,'Taxi'))
user
Hello , I 'm looking to book a taxi to Cocum .
request((_:search,departure,?);(_:search,type,'Taxi'))
system
All right , when would you like to depart ?
inform((_:search,leave_at,'2:30');(_:search,type,'Taxi'))
user
After 2:30 , please .
inform((_:result,car,'grey toyota');(_:result,phone,'07520577289');(_:result,type,'Taxi')) reqmore()
system
Certainly .   I 'm sending a grey toyota .   The contact number is 07520577289 .   Can I help you with anything else ?
inform((_:search,departure,'archway house');(_:search,type,'Taxi'))
user
I will need the taxi to depart from archway house .
reqmore()
system
Is there anything else I can do for you ?
thank()
user
No , thank you , I am all set .
system
Enjoy your trip !
_:search destination cocum
_:search type Taxi
_:search destination cocum
_:search departure ?
_:search leave_at 2:30
_:search type Taxi
_:search destination cocum
_:search leave_at 2:30
_:result car grey toyota
_:result phone 07520577289
_:result type Taxi
_:system inquired _:user
_:search departure archway house
_:search type Taxi
_:search destination cocum
_:search leave_at 2:30
_:result car grey toyota
_:result phone 07520577289
_:result type Taxi
_:search departure archway house
_:search type Taxi
_:system inquired _:user