inform((_:search,departure,"saint john 's college");(_:search,leave_at,'18:45');(_:search,type,'Taxi'))
user
I 'm at Saint John 's College . I need a taxi to pick me up at 18:45 .
request((_:search,destination,?);(_:search,type,'Taxi'))
system
Absolutely . Where will be you going ?
inform((_:search,destination,'la margherita');(_:search,type,'Taxi'))
user
I 'm going to la margherita .
inform((_:result,car,'blue skoda');(_:result,phone,'07101981582');(_:result,type,'Taxi'))
system
Okay great , I have you a blue skoda booked and your contact number is 07101981582 .
thank()
user
Thanks so much that sounds perfect . Have a great day :)
reqmore()
system
We are happy to help . Do you need any further assistance ?
thank()
user
No , that 's all for now . Thanks , again . Goodbye .
system
Thanks for using Cambridge TownInfo Centre . Bye !
_:search departure saint john 's college
_:search leave_at 18:45
_:search type Taxi
_:search departure saint john 's college
_:search leave_at 18:45
_:search destination la margherita
_:search type Taxi
_:search departure saint john 's college
_:search leave_at 18:45
_:search destination la margherita
_:search type Taxi
_:result car blue skoda
_:result phone 07101981582
_:result type Taxi
_:search departure saint john 's college
_:search leave_at 18:45
_:search destination la margherita
_:search type Taxi
_:result car blue skoda
_:result phone 07101981582
_:result type Taxi
_:system inquired _:user