inform((_:search,type,'Taxi'))
user
Please help me make a taxi reservation
request((_:search,departure,?);(_:search,type,'Taxi'))
system
Sure ! Where is your departure site ?
inform((_:search,departure,'riverside brasserie');(_:search,type,'Taxi'))
user
I want to depart from the Riverside Brasserie .
request((_:search,leave_at,?);(_:search,type,'Taxi')) thank()
system
I can help you with that . When do you need to leave ?
inform((_:search,arrive_by,'18:15');(_:search,leave_at,'dontcare');(_:search,type,'Taxi'))
user
It does n't matter , just so I arrive by 18:15 .
request((_:search,destination,?);(_:search,type,'Taxi')) thank()
system
I can help you with that . where are you going ?
inform((_:search,destination,'shanghai family restaurant');(_:search,type,'Taxi')) request((_:result,car,?);(_:result,type,'Taxi'))
user
I want to go to the Shanghai Family Restaurant . And I need the car type and contact number please .
inform((_:result,car,'black bmw');(_:result,phone,'07678946250');(_:result,type,'Taxi')) reqmore()
system
Okay , I have a black bmw for you with the contact number 07678946250 . Is there anything else you need today ?
thank()
user
No that is all . Thanks .
system
You 're welcome , have a wonderful time !
_:search type Taxi
_:search departure riverside brasserie
_:search type Taxi
_:search departure riverside brasserie
_:search arrive_by 18:15
_:search leave_at dontcare
_:search type Taxi
_:search departure riverside brasserie
_:search arrive_by 18:15
_:search leave_at dontcare
_:search destination shanghai family restaurant
_:search type Taxi
_:result car ?
_:result type Taxi
_:search departure riverside brasserie
_:search arrive_by 18:15
_:search leave_at dontcare
_:search destination shanghai family restaurant
_:search type Taxi
_:result car black bmw
_:result phone 07678946250
_:result type Taxi
_:system inquired _:user