inform((_:search,destination,'magdalene college');(_:search,leave_at,'12:15');(_:search,type,'Taxi'))
user
I need a taxi to get me to magdalene college no later than 12:15
request((_:search,destination,?);(_:search,type,'Taxi'))
system
Ok , what is your destination ?
inform((_:search,departure,'kings lynn train station');(_:search,destination,'Magdalene College');(_:search,type,'Taxi'))
user
I 'm heading to Magdalene College , as I mentioned . I need to be retrieved from Kings Lynn Train Station .
inform((_:result,car,'black BMW');(_:result,phone,'07894559856');(_:result,type,'Taxi'))
system
I booked it for you . They will be driving a black BMW and their contact number is 07894559856 .
thank()
user
Thank you , that 's all I need .
thank()
system
Your welcome , have a great day .
bye()
user
You have a good day too .
system
Thank you and goodbye .
_:search destination magdalene college
_:search leave_at 12:15
_:search type Taxi
_:search leave_at 12:15
_:search departure kings lynn train station
_:search destination Magdalene College
_:search type Taxi
_:search leave_at 12:15
_:search departure kings lynn train station
_:search destination Magdalene College
_:search type Taxi
_:result car black BMW
_:result phone 07894559856
_:result type Taxi
_:search leave_at 12:15
_:search departure kings lynn train station
_:search destination Magdalene College
_:search type Taxi
_:result car black BMW
_:result phone 07894559856
_:result type Taxi
_:user dismissed _:system