inform((_:search,arrive_by,'before 8:45am');(_:search,destination,'cambridge');(_:search,type,'Train'))
user
I would like a ticket to a train that arrives in Cambridge before 8:45am .
inform((_:result,arrive_by,'8:45');(_:result,count,'231');(_:result,destination,'Cambridge');(_:result,type,'Train')) request((_:search,departure,?);(_:search,type,'Train'))
system
There are 231 trains that arrive in Cambridge before 8:45 , can you tell me where you want to depart from to narrow it down ?
inform((_:search,departure,'london kings cross');(_:search,type,'Train'))
user
I 'd like to depart from London kings cross
offer((_:booking,arrive_by,'8:08');(_:booking,category,'Train');(_:booking,destination,'Cambridge');(_:booking,id,'TR4543');(_:booking,leave_at,'07:17');(_:booking,type,'Booking'))
system
I can book you on train number TR4543 . It departs at 07:17 and arrives in Cambridge at 8:08 .
inform((_:search,day,'sunday');(_:search,type,'Train'))
user
I need the train to leave on Sunday .
select((_:result,leave_at,'5:17');(_:result,leave_at,'7:17');(_:result,type,'Train')) inform((_:result,type,'Train'))
system
Okay , I got one leaving at 5:17 and another at 7:17 , do you have a preference ?
inform((_:search,duration,'7:17');(_:search,name,'bangkok city');(_:search,people,'8');(_:search,type,'Restaurant')) request((_:result,ref,?);(_:result,type,'Train'))
user
7:17 please .   I would like to book for 8 people and i need the reference number .   I would also like to book at Bangkok City restaurant .
request((_:booking,day,?);(_:booking,duration,?);(_:booking,type,'Booking')) inform((_:booking,category,'Train');(_:booking,ref,'YRIP8V3C');(_:booking,type,'Booking'))
system
I 've booked the train . Your reference number is YRIP8V3C . For what day and time would you like the restaurant reservation ?
inform((_:search,day,'same day');(_:search,duration,'13:30');(_:search,people,'8');(_:search,type,'Restaurant'))
user
I want to book the reservation the same day as my train at 13:30 for 8 people .
canthelp((_:booking,duration,'at that time');(_:booking,type,'Booking')) request((_:booking,day,?);(_:booking,duration,?);(_:booking,type,'Booking'))
system
Unfortunately we can not book at that time , could you choose another day or time please ?
inform((_:search,day,'same day');(_:search,duration,'12:30');(_:search,type,'Restaurant')) request((_:result,ref,?);(_:result,type,'Restaurant'))
user
How about the same day at 12:30 ?   If that works , please send the reference number .
reqmore() inform((_:booking,ref,'YRIP8V3C');(_:booking,type,'Booking'))
system
It works . The reference number is YRIP8V3C . Anything else I can do for you ?
inform((_:search,name,'bangkok city');(_:search,type,'Restaurant'))
user
i would also like to book a reservation at bangkok city .
inform((_:booking,name,'Bangkok city');(_:booking,type,'Booking')) reqmore()
system
You would like an additional reservation at Bangkok city restaurant ?
thank()
user
No , my mistake . Thank you .
reqmore()
system
okay is there anything else i can help you with ?
thank()
user
No , that was everything , thank you !
thank()
system
Okay ! Thank you for calling .
thank()
user
Thank you very much for your help .
system
Good day then .
_:search arrive_by before 8:45am
_:search destination cambridge
_:search type Train
_:search arrive_by before 8:45am
_:search destination cambridge
_:result arrive_by 8:45
_:result count 231
_:result destination Cambridge
_:result type Train
_:search departure london kings cross
_:search type Train
_:search arrive_by before 8:45am
_:search destination cambridge
_:result arrive_by 8:45
_:result count 231
_:result destination Cambridge
_:result type Train
_:search departure london kings cross
_:system offered _:booking
_:booking arrive_by 8:08
_:booking category Train
_:booking destination Cambridge
_:booking id TR4543
_:booking leave_at 07:17
_:booking type Booking
_:search day sunday
_:search type Train
_:search arrive_by before 8:45am
_:search destination cambridge
_:result arrive_by 8:45
_:result count 231
_:result destination Cambridge
_:search departure london kings cross
_:system offered _:booking
_:booking arrive_by 8:08
_:booking category Train
_:booking destination Cambridge
_:booking id TR4543
_:booking leave_at 07:17
_:booking type Booking
_:search day sunday
_:result leave_at 5:17
_:result leave_at 7:17
_:result type Train
_:search duration 7:17
_:search name bangkok city
_:search people 8
_:search type Restaurant
_:result ref ?
_:search arrive_by before 8:45am
_:search destination cambridge
_:result arrive_by 8:45
_:result count 231
_:result destination Cambridge
_:search departure london kings cross
_:system offered _:booking
_:booking arrive_by 8:08
_:booking destination Cambridge
_:booking id TR4543
_:booking leave_at 07:17
_:result leave_at 5:17
_:result leave_at 7:17
_:result type Train
_:search name bangkok city
_:result ref ?
_:booking day ?
_:booking duration ?
_:booking category Train
_:booking ref YRIP8V3C
_:booking type Booking
_:search day same day
_:search duration 13:30
_:search people 8
_:search type Restaurant
_:search arrive_by before 8:45am
_:search destination cambridge
_:result arrive_by 8:45
_:result count 231
_:result destination Cambridge
_:search departure london kings cross
_:system offered _:booking
_:booking arrive_by 8:08
_:booking destination Cambridge
_:booking id TR4543
_:booking leave_at 07:17
_:result leave_at 5:17
_:result leave_at 7:17
_:result type Train
_:search name bangkok city
_:result ref ?
_:booking category Train
_:booking ref YRIP8V3C
_:search people 8
_:system canthelp _:booking/950e4500
_:booking/950e4500 duration at that time
_:booking/950e4500 type Booking
_:booking day ?
_:booking duration ?
_:booking type Booking
_:search day same day
_:search duration 12:30
_:search type Restaurant
_:result type Restaurant
_:search arrive_by before 8:45am
_:search destination cambridge
_:result arrive_by 8:45
_:result count 231
_:result destination Cambridge
_:search departure london kings cross
_:system offered _:booking
_:booking arrive_by 8:08
_:booking destination Cambridge
_:booking id TR4543
_:booking leave_at 07:17
_:result leave_at 5:17
_:result leave_at 7:17
_:result type Train
_:result ref ?
_:booking category Train
_:search people 8
_:system canthelp _:booking/950e4500
_:booking/950e4500 duration at that time
_:booking/950e4500 type Booking
_:booking day ?
_:booking duration ?
_:search day same day
_:search duration 12:30
_:result type Restaurant
_:system inquired _:user
_:booking ref YRIP8V3C
_:booking type Booking
_:search name bangkok city
_:search type Restaurant
_:search arrive_by before 8:45am
_:search destination cambridge
_:result arrive_by 8:45
_:result count 231
_:result destination Cambridge
_:search departure london kings cross
_:system offered _:booking
_:booking arrive_by 8:08
_:booking destination Cambridge
_:booking id TR4543
_:booking leave_at 07:17
_:result leave_at 5:17
_:result leave_at 7:17
_:result type Train
_:result ref ?
_:booking category Train
_:search people 8
_:system canthelp _:booking/950e4500
_:booking/950e4500 duration at that time
_:booking/950e4500 type Booking
_:booking day ?
_:booking duration ?
_:search day same day
_:search duration 12:30
_:result type Restaurant
_:booking ref YRIP8V3C
_:search name bangkok city
_:search type Restaurant
_:booking name Bangkok city
_:booking type Booking
_:system inquired _:user
_:search arrive_by before 8:45am
_:search destination cambridge
_:result arrive_by 8:45
_:result count 231
_:result destination Cambridge
_:search departure london kings cross
_:system offered _:booking
_:booking arrive_by 8:08
_:booking destination Cambridge
_:booking id TR4543
_:booking leave_at 07:17
_:result leave_at 5:17
_:result leave_at 7:17
_:result type Train
_:result ref ?
_:booking category Train
_:search people 8
_:system canthelp _:booking/950e4500
_:booking/950e4500 duration at that time
_:booking/950e4500 type Booking
_:booking day ?
_:booking duration ?
_:search day same day
_:search duration 12:30
_:result type Restaurant
_:booking ref YRIP8V3C
_:search name bangkok city
_:search type Restaurant
_:booking name Bangkok city
_:booking type Booking
_:system inquired _:user
_:search arrive_by before 8:45am
_:search destination cambridge
_:result arrive_by 8:45
_:result count 231
_:result destination Cambridge
_:search departure london kings cross
_:system offered _:booking
_:booking arrive_by 8:08
_:booking destination Cambridge
_:booking id TR4543
_:booking leave_at 07:17
_:result leave_at 5:17
_:result leave_at 7:17
_:result type Train
_:result ref ?
_:booking category Train
_:search people 8
_:system canthelp _:booking/950e4500
_:booking/950e4500 duration at that time
_:booking/950e4500 type Booking
_:booking day ?
_:booking duration ?
_:search day same day
_:search duration 12:30
_:result type Restaurant
_:booking ref YRIP8V3C
_:search name bangkok city
_:search type Restaurant
_:booking name Bangkok city
_:booking type Booking
_:system inquired _:user