inform((_:search,departure,'royal spice');(_:search,leave_at,'13:45');(_:search,type,'Taxi'))
user
Can you book a taxi for 13:45 from the royal spice .
request((_:search,destination,?);(_:search,type,'Taxi'))
system
Okay , What is your destination ?
inform((_:search,destination,'kirkwood house');(_:search,type,'Taxi'))
user
I 'm going to kirkwood house .
inform((_:result,car,'grey volvo');(_:result,phone,'07541606356');(_:result,type,'Taxi'))
system
Your car is a grey volvo , contact number is 07541606356 .
thank()
user
Thank you very much !
system
Of course .   I 'm glad we could help .
_:search departure royal spice
_:search leave_at 13:45
_:search type Taxi
_:search departure royal spice
_:search leave_at 13:45
_:search destination kirkwood house
_:search type Taxi
_:search departure royal spice
_:search leave_at 13:45
_:search destination kirkwood house
_:search type Taxi
_:result car grey volvo
_:result phone 07541606356
_:result type Taxi