inform((_:search,departure,'cambridge arts theatre');(_:search,leave_at,'09:30');(_:search,type,'Taxi'))
user
Please reserve for me a taxi that will pick me up at cambridge arts theatre after 09:30
request((_:search,destination,?);(_:search,type,'Taxi'))
system
And where will you be going ?
inform((_:search,destination,'restaurant one seven');(_:search,type,'Taxi'))
user
I 'm going to restaurant one seven .
inform((_:result,car,'black audi');(_:result,type,'Taxi'))
system
Your booking is complete , a black audi will be picking you up .
thank() request((_:result,phone,?);(_:result,type,'Taxi'))
user
Thank you . I need the contact number , as well .
system
The contact number is 07351996173 .
_:search departure cambridge arts theatre
_:search leave_at 09:30
_:search type Taxi
_:search departure cambridge arts theatre
_:search leave_at 09:30
_:search destination restaurant one seven
_:search type Taxi
_:search departure cambridge arts theatre
_:search leave_at 09:30
_:search destination restaurant one seven
_:search type Taxi
_:result car black audi
_:result type Taxi
_:result phone ?