inform((_:search,destination,'da vinci pizzeria');(_:search,type,'Taxi'))
user
Can you book me a taxi to da vinci pizzeria ?
request((_:search,arrive_by,?);(_:search,type,'Taxi'))
system
Of course , when do you want to arrive ?
inform((_:search,arrive_by,'three forty five p.m.');(_:search,type,'Taxi'))
user
I need to be there by three forty five p.m.
request((_:search,leave_at,?);(_:search,type,'Taxi'))
system
What time do you wan to leave by ?
inform((_:search,leave_at,'05:45');(_:search,type,'Taxi'))
user
I would like to leave after 05:45 .
request((_:search,departure,?);(_:search,type,'Taxi'))
system
I 'd be happy to help ! Where are you coming from ?
inform((_:search,departure,'williams art and antiques');(_:search,type,'Taxi'))
user
I 'll be leaving from williams art and antiques .
inform((_:result,car,'yellow lexus');(_:result,phone,'07451454919');(_:result,type,'Taxi'))
system
I have a yellow lexus with phone number 07451454919 .
bye()
user
That you for helping me . I have all I need . Goodbye .
system
You are welcome . Enjoy your stay .
_:search destination da vinci pizzeria
_:search type Taxi
_:search destination da vinci pizzeria
_:search arrive_by three forty five p.m.
_:search type Taxi
_:search destination da vinci pizzeria
_:search arrive_by three forty five p.m.
_:search leave_at 05:45
_:search type Taxi
_:search destination da vinci pizzeria
_:search arrive_by three forty five p.m.
_:search leave_at 05:45
_:search departure williams art and antiques
_:search type Taxi
_:search destination da vinci pizzeria
_:search arrive_by three forty five p.m.
_:search leave_at 05:45
_:search departure williams art and antiques
_:search type Taxi
_:result car yellow lexus
_:result phone 07451454919
_:result type Taxi
_:user dismissed _:system