inform((_:search,destination,"little saint mary 's church");(_:search,leave_at,'21:00');(_:search,type,'Taxi'))
user
I want a taxi to pick me up after 21:00 to take me to Little Saint Mary 's Church .
request((_:search,departure,?);(_:search,type,'Taxi'))
system
I can help with that - where are you leaving from ?
inform((_:search,departure,'frankie and bennys');(_:search,type,'Taxi'))
user
I want to be picked up at frankie and bennys please
inform((_:result,car,'black Honda');(_:result,phone,'07796011098');(_:result,type,'Taxi'))
system
I 've booked you a black Honda , the contact number is 07796011098 .
thank()
user
Great , thank you for your help .
system
No problem . Are you finished ?
_:search destination little saint mary 's church
_:search leave_at 21:00
_:search type Taxi
_:search destination little saint mary 's church
_:search leave_at 21:00
_:search departure frankie and bennys
_:search type Taxi
_:search destination little saint mary 's church
_:search leave_at 21:00
_:search departure frankie and bennys
_:search type Taxi
_:result car black Honda
_:result phone 07796011098
_:result type Taxi