inform((_:search,leave_at,'19:30');(_:search,type,'Taxi'))
user
I need a taxi to come after 19:30 .
request((_:search,departure,?);(_:search,type,'Taxi'))
system
Where would you like to be picked up from ?
inform((_:search,departure,'wandlebury country park');(_:search,type,'Taxi'))
user
I am in wandlebury country park .
request((_:search,destination,?);(_:search,type,'Taxi'))
system
Where will you be going to ?
inform((_:search,destination,'meze bar');(_:search,type,'Taxi'))
user
I 'll be going to meze bar restaurant .
inform((_:result,car,'red lexus');(_:result,type,'Taxi'))
system
You are booked on a red lexus .
request((_:result,phone,?);(_:result,type,'Taxi'))
user
Great .   Can I get a contact number ?
inform((_:result,phone,'07236149315');(_:result,type,'Taxi')) reqmore()
system
Yes , your contact number is 07236149315 . Do you need other bookings ?
thank()
user
No , thank you for your help .
system
You 're quite welcome . Contact us again anytime ! Bye .
_:search leave_at 19:30
_:search type Taxi
_:search leave_at 19:30
_:search departure wandlebury country park
_:search type Taxi
_:search leave_at 19:30
_:search departure wandlebury country park
_:search destination meze bar
_:search type Taxi
_:search leave_at 19:30
_:search departure wandlebury country park
_:search destination meze bar
_:search type Taxi
_:result car red lexus
_:result type Taxi
_:result phone ?
_:search leave_at 19:30
_:search departure wandlebury country park
_:search destination meze bar
_:search type Taxi
_:result car red lexus
_:result phone 07236149315
_:result type Taxi
_:system inquired _:user