inform((_:search,departure,'trinity college');(_:search,type,'Taxi'))
user
I need a taxi to pick me up at Trinity college .
request((_:search,leave_at,?);(_:search,type,'Taxi'))
system
Sure thing , when you like to leave by ?
inform((_:search,leave_at,'24:00');(_:search,type,'Taxi'))
user
I need to leave after 24:00 .
request((_:search,destination,?);(_:search,type,'Taxi'))
system
I can help you with that . where are you going ?
inform((_:search,destination,'saffron brasserie');(_:search,type,'Taxi'))
user
I 'm headed to saffron brasserie .
inform((_:result,type,'Taxi'))
system
I have your taxi booked .
request((_:result,car,?);(_:result,type,'Taxi'))
user
Can I get the car type and contact number please ?
inform((_:result,car,'red Audi');(_:result,phone,'07990384611');(_:result,type,'Taxi')) offer((_:booking,type,'Booking')) reqmore()
system
Certainly . You 'll be picked up by a red Audi and the driver 's number is 07990384611 . Do you need help with anything else ? A restaurant reservation perhaps ?
inform((_:search,type,'Restaurant'))
user
No thank you , we have a restaurant recommendation already for today .
system
Have a wonderful day .
_:search departure trinity college
_:search type Taxi
_:search departure trinity college
_:search leave_at 24:00
_:search type Taxi
_:search departure trinity college
_:search leave_at 24:00
_:search destination saffron brasserie
_:search type Taxi
_:search departure trinity college
_:search leave_at 24:00
_:search destination saffron brasserie
_:search type Taxi
_:result type Taxi
_:result car ?
_:search departure trinity college
_:search leave_at 24:00
_:search destination saffron brasserie
_:result car red Audi
_:result phone 07990384611
_:result type Taxi
_:system offered _:booking
_:booking type Booking
_:system inquired _:user
_:search type Restaurant