inform((_:search,departure,"little saint mary 's church");(_:search,destination,'trinity college');(_:search,type,'Taxi'))
user
Hi ! I need a taxi from little saint mary 's church to trinity college . I sure hope you can help me !
request((_:search,leave_at,?);(_:search,type,'Taxi'))
system
Sure thing , when you like to leave by ?
inform((_:search,leave_at,'24:45');(_:search,type,'Taxi'))
user
I need to leave after 24:45 .
inform((_:result,car,'grey toyota');(_:result,type,'Taxi'))
system
Your booking is complete , a grey toyota will be picking you up .
request((_:result,phone,?);(_:result,type,'Taxi'))
user
I 'll also need the contact number .
inform((_:result,phone,'07655357606');(_:result,type,'Taxi')) reqmore()
system
Of course , the number is 07655357606 . Can I help with anything else ?
thank()
user
No , that 's it . Thank you .
system
Thank you and have a great day !
_:search departure little saint mary 's church
_:search destination trinity college
_:search type Taxi
_:search departure little saint mary 's church
_:search destination trinity college
_:search leave_at 24:45
_:search type Taxi
_:search departure little saint mary 's church
_:search destination trinity college
_:search leave_at 24:45
_:search type Taxi
_:result car grey toyota
_:result type Taxi
_:result phone ?
_:search departure little saint mary 's church
_:search destination trinity college
_:search leave_at 24:45
_:search type Taxi
_:result car grey toyota
_:result phone 07655357606
_:result type Taxi
_:system inquired _:user