inform((_:search,leave_at,'10:30');(_:search,type,'Taxi'))
user
I need a taxi leaving after 10:30 .
request((_:search,departure,?);(_:search,destination,?);(_:search,type,'Taxi'))
system
I 'd be happy to assist you today , but first I 'll need to know your departure and destination locations ?
inform((_:search,departure,'sitar tandoori');(_:search,destination,'clare hall');(_:search,type,'Taxi')) request((_:result,car,?);(_:result,type,'Taxi'))
user
I need to be picked up from Sitar Tandoori and I am going to Clare Hall . And I need the car type and contact number .
request((_:search,arrive_by,?);(_:search,type,'Taxi'))
system
When do you need to arrive ?
user
I Do n't have a specific time just need to leave after 10:30
inform((_:result,car,'red bmw');(_:result,phone,'07717590121');(_:result,type,'Taxi'))
system
Okay your booking is complete .   You have a red bmw coming to get you and a contact number of 07717590121 .
thank()
user
That 's great . Thank you .
system
You 're welcome . Enjoy your visit to Cambridge !
_:search leave_at 10:30
_:search type Taxi
_:search leave_at 10:30
_:search departure sitar tandoori
_:search destination clare hall
_:search type Taxi
_:result car ?
_:result type Taxi
_:search leave_at 10:30
_:search departure sitar tandoori
_:search destination clare hall
_:result car ?
_:result type Taxi
_:search arrive_by ?
_:search type Taxi
_:search leave_at 10:30
_:search departure sitar tandoori
_:search destination clare hall
_:search arrive_by ?
_:search type Taxi
_:result car red bmw
_:result phone 07717590121
_:result type Taxi