user
I am planning a trip in Cambridge
system
great , would you like some information ?
inform((_:search,arrive_by,'21:45');(_:search,day,'sunday');(_:search,destination,'leicester');(_:search,type,'Train'))
user
I 'm looking to go to Leicester .   I want to leave on Sunday and arrive by 21:45 .
offer((_:booking,arrive_by,'21:06');(_:booking,category,'Train');(_:booking,destination,'Leicester');(_:booking,id,'TR9831');(_:booking,type,'Booking'))
system
Train TR9831 arrives in Leicester at 21:06 , will that work for you ?
request((_:result,duration,?);(_:result,id,?);(_:result,ticket,?);(_:result,type,'Train'))
user
That would be fine . I 'll need the travel time , price , and train ID , please ?
inform((_:result,id,'TR9831');(_:result,leave_at,'19:21');(_:result,ticket,'30.24 pounds');(_:result,type,'Train'))
system
train i d is TR9831 leaves at 19:21 and will cost 30.24 pounds
inform((_:search,name,'nandos');(_:search,type,'Restaurant'))
user
Thank you . Also i need to book a reservation at a restaurant named Nandos .
select((_:result,area,'centre');(_:result,area,'south');(_:result,type,'Restaurant')) inform((_:result,count,'2');(_:result,name,'Nandos');(_:result,type,'Restaurant'))
system
Okay , we have two Nandos . One in the south and one in the centre . Which would you prefer ?
inform((_:search,area,'centre');(_:search,day,'sunday');(_:search,duration,'16:45');(_:search,people,'8');(_:search,type,'Restaurant'))
user
I 'll go with the one in the centre . I need a booking for 8 at 16:45 on sunday .
reqmore() inform((_:booking,ref,'VIUNXVBC');(_:booking,type,'Booking'))
system
Your table is reserved , reference # VIUNXVBC . Can I help you with anything else today ?
user
That is all I need .
system
Ok .   Have a great day .
_:search arrive_by 21:45
_:search day sunday
_:search destination leicester
_:search type Train
_:search arrive_by 21:45
_:search day sunday
_:search destination leicester
_:search type Train
_:system offered _:booking
_:booking arrive_by 21:06
_:booking category Train
_:booking destination Leicester
_:booking id TR9831
_:booking type Booking
_:result duration ?
_:result id ?
_:result ticket ?
_:result type Train
_:search arrive_by 21:45
_:search day sunday
_:search destination leicester
_:system offered _:booking
_:booking arrive_by 21:06
_:booking category Train
_:booking destination Leicester
_:booking id TR9831
_:booking type Booking
_:result duration ?
_:result id TR9831
_:result leave_at 19:21
_:result ticket 30.24 pounds
_:result type Train
_:search name nandos
_:search type Restaurant
_:search arrive_by 21:45
_:search destination leicester
_:system offered _:booking
_:booking arrive_by 21:06
_:booking category Train
_:booking destination Leicester
_:booking id TR9831
_:booking type Booking
_:result duration ?
_:result id TR9831
_:result leave_at 19:21
_:result ticket 30.24 pounds
_:search name nandos
_:result area centre
_:result area south
_:result count 2
_:result name Nandos
_:result type Restaurant
_:search area centre
_:search day sunday
_:search duration 16:45
_:search people 8
_:search type Restaurant
_:search arrive_by 21:45
_:search destination leicester
_:system offered _:booking
_:booking arrive_by 21:06
_:booking category Train
_:booking destination Leicester
_:booking id TR9831
_:result duration ?
_:result id TR9831
_:result leave_at 19:21
_:result ticket 30.24 pounds
_:search name nandos
_:result area centre
_:result area south
_:result count 2
_:result name Nandos
_:result type Restaurant
_:search area centre
_:search day sunday
_:search duration 16:45
_:search people 8
_:search type Restaurant
_:system inquired _:user
_:booking ref VIUNXVBC
_:booking type Booking