inform((_:search,destination,'hughes hall');(_:search,type,'Taxi'))
user
Get me a taxi to hughes hall please
request((_:search,leave_at,?);(_:search,type,'Taxi'))
system
When will you be leaving ?
inform((_:search,leave_at,'15:15');(_:search,type,'Taxi'))
user
I 'd like to leave after 15:15 .
request((_:search,departure,?);(_:search,type,'Taxi'))
system
I 'd be happy to help ! Where are you coming from ?
inform((_:search,departure,'arbury lodge guesthouse');(_:search,type,'Taxi'))
user
I am coming from arbury lodge guesthouse .
inform((_:result,car,'red audi');(_:result,phone,'07384817213');(_:result,type,'Taxi'))
system
I have a red audi with contact number 07384817213 booked for you .
bye()
user
Great , thanks so much ! Bye !
system
Thank you for using our services .
_:search destination hughes hall
_:search type Taxi
_:search destination hughes hall
_:search leave_at 15:15
_:search type Taxi
_:search destination hughes hall
_:search leave_at 15:15
_:search departure arbury lodge guesthouse
_:search type Taxi
_:search destination hughes hall
_:search leave_at 15:15
_:search departure arbury lodge guesthouse
_:search type Taxi
_:result car red audi
_:result phone 07384817213
_:result type Taxi
_:user dismissed _:system