inform((_:search,destination,'fitzbillies restaurant');(_:search,type,'Taxi'))
user
I need a taxi to take me to fitzbillies restaurant
request((_:search,departure,?);(_:search,type,'Taxi'))
system
I would be happy to book that for you , where do you need picked up from ?
inform((_:search,departure,'kings lynn train station');(_:search,type,'Taxi'))
user
From Kings lynn train station .
request((_:search,arrive_by,?);(_:search,leave_at,?);(_:search,type,'Taxi'))
system
Ok , and what time will you need to arrive / leave ?
inform((_:search,leave_at,'20:00');(_:search,type,'Taxi'))
user
I need to leave after 20:00 please .
inform((_:result,car,'black volkswagen');(_:result,phone,'07477854911');(_:result,type,'Taxi'))
system
Great . We have a black volkswagen booked for you . The driver 's phone number is 07477854911
thank()
user
Thank you goodbye
system
welcome again next time
_:search destination fitzbillies restaurant
_:search type Taxi
_:search destination fitzbillies restaurant
_:search departure kings lynn train station
_:search type Taxi
_:search destination fitzbillies restaurant
_:search departure kings lynn train station
_:search arrive_by ?
_:search leave_at 20:00
_:search type Taxi
_:search destination fitzbillies restaurant
_:search departure kings lynn train station
_:search arrive_by ?
_:search leave_at 20:00
_:search type Taxi
_:result car black volkswagen
_:result phone 07477854911
_:result type Taxi