inform((_:search,departure,'kings college');(_:search,destination,'pizza express fen ditton');(_:search,leave_at,'17:15');(_:search,type,'Taxi')) request((_:result,car,?);(_:result,type,'Taxi'))
user
I need to book a taxi from Kings college to Pizza express Fen Ditton sometime after 17:15 . I need the car type and contact number please .
inform((_:result,car,'grey lexus');(_:result,phone,'07607911761');(_:result,type,'Taxi'))
system
Okay , I have successfully booked the taxi for you . It is a grey lexus and the contact number is 07607911761 .
thank()
user
Thank you ! That will be all !
system
It was a pleasure to assist you ! Goodbye !
_:search departure kings college
_:search destination pizza express fen ditton
_:search leave_at 17:15
_:search type Taxi
_:result car ?
_:result type Taxi
_:search departure kings college
_:search destination pizza express fen ditton
_:search leave_at 17:15
_:search type Taxi
_:result car grey lexus
_:result phone 07607911761
_:result type Taxi