inform((_:search,departure,'old schools');(_:search,leave_at,'09:15');(_:search,type,'Taxi'))
user
I want to book a taxi to leave after 09:15 at Old Schools .
request((_:search,destination,?);(_:search,type,'Taxi'))
system
I can help you with that . where are you going ?
inform((_:search,destination,'royal standard');(_:search,type,'Taxi'))
user
I 'll be going to royal standard .
inform((_:result,car,'red Volvo');(_:result,type,'Taxi'))
system
Great news ! I was able to book a red Volvo for you .
request((_:result,phone,?);(_:result,type,'Taxi'))
user
That is great news . May I have the contact number , too ?
inform((_:result,phone,'07321527336');(_:result,type,'Taxi')) offer((_:booking,type,'Booking')) reqmore()
system
The contact number for the Volvo is 07321527336 . Do you need any other tourist bookings ?
thank()
user
No , that 's everything I needed . Thanks !
system
You 're more than welcome !
_:search departure old schools
_:search leave_at 09:15
_:search type Taxi
_:search departure old schools
_:search leave_at 09:15
_:search destination royal standard
_:search type Taxi
_:search departure old schools
_:search leave_at 09:15
_:search destination royal standard
_:search type Taxi
_:result car red Volvo
_:result type Taxi
_:result phone ?
_:search departure old schools
_:search leave_at 09:15
_:search destination royal standard
_:search type Taxi
_:result car red Volvo
_:result phone 07321527336
_:result type Taxi
_:system offered _:booking
_:booking type Booking
_:system inquired _:user