inform((_:search,destination,"queens ' college");(_:search,type,'Taxi'))
user
Hi , I need a tax to queens ' college please .
request((_:search,departure,?);(_:search,type,'Taxi'))
system
What is your departure site ?
inform((_:search,departure,'the oak bistro');(_:search,type,'Taxi'))
user
I 'm departing from the oak bistro .
request((_:search,leave_at,?);(_:search,type,'Taxi'))
system
What time would you like to leave ?
inform((_:search,leave_at,'17:00');(_:search,type,'Taxi'))
user
I would like to leave after 17:00 .
system
I have the taxi ready for you
_:search destination queens ' college
_:search type Taxi
_:search destination queens ' college
_:search departure the oak bistro
_:search type Taxi
_:search destination queens ' college
_:search departure the oak bistro
_:search leave_at 17:00
_:search type Taxi