inform((_:search,departure,'saint johns college');(_:search,type,'Taxi'))
user
I would like a taxi from Saint John 's college to Pizza Hut Fen Ditton .
request((_:search,arrive_by,?);(_:search,leave_at,?);(_:search,type,'Taxi'))
system
What time do you want to leave and what time do you want to arrive by ?
inform((_:search,leave_at,'17:15');(_:search,type,'Taxi'))
user
I want to leave after 17:15 .
inform((_:result,car,'blue honda');(_:result,phone,'07218068540');(_:result,type,'Taxi'))
system
Booking completed ! your taxi will be blue honda Contact number is 07218068540
thank()
user
Thank you for all the help ! I appreciate it .
reqmore()
system
You are welcome .   Is there anything else I can help you with today ?
bye()
user
No , I am all set .   Have a nice day .   Bye .
system
you too ! thank you
_:search departure saint johns college
_:search type Taxi
_:search departure saint johns college
_:search arrive_by ?
_:search leave_at 17:15
_:search type Taxi
_:search departure saint johns college
_:search arrive_by ?
_:search leave_at 17:15
_:search type Taxi
_:result car blue honda
_:result phone 07218068540
_:result type Taxi
_:search departure saint johns college
_:search arrive_by ?
_:search leave_at 17:15
_:search type Taxi
_:result car blue honda
_:result phone 07218068540
_:result type Taxi
_:system inquired _:user
_:user dismissed _:system