inform((_:search,arrive_by,'16:45');(_:search,day,'tuesday');(_:search,type,'Train'))
user
I need a train on Tuesday that arrives by 16:45 .
request((_:search,departure,?);(_:search,destination,?);(_:search,type,'Train'))
system
Certainly , where is your place of departure and arrival ?
inform((_:search,departure,'london');(_:search,destination,'cambridge');(_:search,type,'Train'))
user
I want to depart from London and arrive in Cambridge .
select((_:result,departure,'london kings cross');(_:result,departure,'london liverpool street');(_:result,type,'Train'))
system
london kings cross or london liverpool street ?
inform((_:search,departure,'london liverpool street');(_:search,type,'Train'))
user
london liverpool street .
inform((_:result,arrive_by,'15:07');(_:result,destination,'Cambridge');(_:result,id,'TR1395');(_:result,leave_at,'13:39');(_:result,type,'Train')) offer((_:booking,category,'Train');(_:booking,type,'Booking'))
system
I have train TR1395 that leaves at 13:39 and will arrive in Cambridge by 15:07 . Would that work for you ? I would be happy to book your ticket .
inform((_:search,name,'lensfield hotel');(_:search,people,'two');(_:search,type,'Hotel');(_:search,type,'Train')) request((_:result,ref,?);(_:result,type,'Train'))
user
For two people please . I will need the reference number . I also want to stay at the Lensfield hotel .
inform((_:booking,category,'Train');(_:booking,ref,'14AXWO0V');(_:booking,ticket,'33.2');(_:booking,type,'Booking'))
system
Your train booking was successful . You can pay the fee of 33.2 at the station . Your reference number is 14AXWO0V .
inform((_:search,name,'the lensfield hotel');(_:search,type,'Hotel')) request((_:result,phone,?);(_:result,stars,?);(_:result,type,'Hotel'))
user
do you know the lensfield hotel ? I need their phone # and how many stars do they currently have ?
offer((_:booking,type,'Booking')) inform((_:result,category,'hotel');(_:result,name,'The lensfield');(_:result,phone,'01223355017');(_:result,stars,'3');(_:result,type,'Hotel'))
system
The lensfield is a 3 star hotel and the phone number is 01223355017 . Would you like to make reservations there ?
thank()
user
No thank you . That 's all I need for now .
system
Ok . Enjoy your stay .
_:search arrive_by 16:45
_:search day tuesday
_:search type Train
_:search arrive_by 16:45
_:search day tuesday
_:search departure london
_:search destination cambridge
_:search type Train
_:search arrive_by 16:45
_:search day tuesday
_:search destination cambridge
_:result departure london kings cross
_:result departure london liverpool street
_:result type Train
_:search departure london liverpool street
_:search type Train
_:search arrive_by 16:45
_:search day tuesday
_:search destination cambridge
_:result departure london kings cross
_:result departure london liverpool street
_:search departure london liverpool street
_:result arrive_by 15:07
_:result destination Cambridge
_:result id TR1395
_:result leave_at 13:39
_:result type Train
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:search name lensfield hotel
_:search people two
_:search type Hotel
_:search type Train
_:result ref ?
_:search arrive_by 16:45
_:search day tuesday
_:search destination cambridge
_:result departure london kings cross
_:result departure london liverpool street
_:search departure london liverpool street
_:result arrive_by 15:07
_:result destination Cambridge
_:result id TR1395
_:result leave_at 13:39
_:result type Train
_:system offered _:booking
_:search people two
_:result ref ?
_:booking category Train
_:booking ref 14AXWO0V
_:booking ticket 33.2
_:booking type Booking
_:search name the lensfield hotel
_:search type Hotel
_:result phone ?
_:result stars ?
_:result type Hotel
_:search arrive_by 16:45
_:search day tuesday
_:search destination cambridge
_:result departure london kings cross
_:result departure london liverpool street
_:search departure london liverpool street
_:result arrive_by 15:07
_:result destination Cambridge
_:result id TR1395
_:result leave_at 13:39
_:system offered _:booking
_:search people two
_:result ref ?
_:booking category Train
_:booking ref 14AXWO0V
_:booking ticket 33.2
_:booking type Booking
_:search name the lensfield hotel
_:search type Hotel
_:result category hotel
_:result name The lensfield
_:result phone 01223355017
_:result stars 3
_:result type Hotel