inform((_:search,departure,'cocum');(_:search,type,'Taxi'))
user
Hi , could you help me find a taxi out of cocum ?
request((_:search,arrive_by,?);(_:search,leave_at,?);(_:search,type,'Taxi'))
system
Could you tell me when you would like to leave by and when you would like to arrive ?
inform((_:search,leave_at,'15:00');(_:search,type,'Taxi')) request((_:result,car,?);(_:result,type,'Taxi'))
user
I need to be picked up by 15:00 . Could you provide me the car type and contact number , please ?
request((_:search,destination,?);(_:search,type,'Taxi'))
system
What is your final destination ?
inform((_:search,arrive_by,'15:00');(_:search,destination,'gallery at twelve a high street');(_:search,type,'Taxi'))
user
Oh , I 'm sorry .   I would like to travel to Gallery at Twelve a High Street .   I actually need to be there by 15:00 .
thank()
system
OK , I can make that change .
user
When will the car arrive ?
inform((_:result,phone,'07916703661');(_:result,type,'Taxi'))
system
Unfortunately , it does not give me a specific arrival time . But if you like , you can call them to get that information . Their phone number is 07916703661 .
thank() request((_:result,car,?);(_:result,type,'Taxi'))
user
Thanks , I will call them .   Can you tell me what type of car I will have ?
inform((_:result,car,'white tesla');(_:result,type,'Taxi'))
system
Your car type is a white tesla .
thank()
user
Great Thank you . That is all I need to know .
system
Great . Thank you for calling .
_:search departure cocum
_:search type Taxi
_:search departure cocum
_:search arrive_by ?
_:search leave_at 15:00
_:search type Taxi
_:result car ?
_:result type Taxi
_:search departure cocum
_:search leave_at 15:00
_:result car ?
_:result type Taxi
_:search arrive_by 15:00
_:search destination gallery at twelve a high street
_:search type Taxi
_:search departure cocum
_:search leave_at 15:00
_:result car ?
_:result type Taxi
_:search arrive_by 15:00
_:search destination gallery at twelve a high street
_:search type Taxi
_:search departure cocum
_:search leave_at 15:00
_:result car ?
_:search arrive_by 15:00
_:search destination gallery at twelve a high street
_:search type Taxi
_:result phone 07916703661
_:result type Taxi
_:search departure cocum
_:search leave_at 15:00
_:search arrive_by 15:00
_:search destination gallery at twelve a high street
_:search type Taxi
_:result phone 07916703661
_:result car white tesla
_:result type Taxi