inform((_:search,leave_at,'15:45');(_:search,type,'Taxi'))
user
I 'd like a taxi please . I 'll be wanting it to leave after 15:45
request((_:search,departure,?);(_:search,type,'Taxi'))
system
I 'd be happy to help ! Where are you coming from ?
inform((_:search,departure,'the gandhi');(_:search,type,'Taxi'))
user
I 'm coming from the gandhi .
request((_:search,destination,?);(_:search,type,'Taxi'))
system
And can you tell me your destination please ?
inform((_:search,destination,'adc theatre');(_:search,type,'Taxi'))
user
I 'll be going to adc theatre .
request((_:search,leave_at,?);(_:search,type,'Taxi'))
system
What time would you like to leave ?
inform((_:search,leave_at,'15:45');(_:search,type,'Taxi'))
user
I would like to leave some time after 15:45 , please .
inform((_:result,car,'grey audi');(_:result,leave_at,'15:45');(_:result,phone,'07461616519');(_:result,type,'Taxi')) reqmore()
system
Alright , I have you booked , you will be expecting a grey audi , contact number 07461616519 , arriving after 15:45 . Is there anything else I can assist you with ?
thank()
user
No . That 's it thanks !
system
You 're welcome , have a great day !
_:search leave_at 15:45
_:search type Taxi
_:search leave_at 15:45
_:search departure the gandhi
_:search type Taxi
_:search leave_at 15:45
_:search departure the gandhi
_:search destination adc theatre
_:search type Taxi
_:search departure the gandhi
_:search destination adc theatre
_:search leave_at 15:45
_:search type Taxi
_:search departure the gandhi
_:search destination adc theatre
_:search leave_at 15:45
_:search type Taxi
_:result car grey audi
_:result leave_at 15:45
_:result phone 07461616519
_:result type Taxi
_:system inquired _:user