inform((_:search,arrive_by,'20:30');(_:search,departure,'cambridge');(_:search,type,'Train'))
user
Hello , I 'm trying to find a train from Cambridge that arrives by 20:30 .
request((_:search,destination,?);(_:search,type,'Train'))
system
Okay , what is your destination ?
inform((_:search,destination,'stansted airport');(_:search,type,'Train'))
user
My destination is stansted airport .
request((_:search,day,?);(_:search,leave_at,?);(_:search,type,'Train'))
system
Great , what day would you like your train for ? Also , would you like to leave by a certain time ?
inform((_:search,arrive_by,'20:30');(_:search,day,'monday');(_:search,type,'Train'))
user
I need the train for Monday . Departure time does n't matter , as long as I arrive by 20:30 .
inform((_:result,arrive_by,'20:08');(_:result,id,'TR6539');(_:result,type,'Train')) offer((_:booking,category,'Train');(_:booking,type,'Booking'))
system
No problem , the TR6539 train should arrive by 20:08 , would you like to make a booking .
inform((_:search,category,'guesthouse');(_:search,stars,'4');(_:search,type,'Hotel'))
user
No , can you find a guesthouse for me with a 4 star rating ?
inform((_:result,arrive_by,'20:08');(_:result,day,'Monday');(_:result,id,'TR6539');(_:result,type,'Train'))
system
How about TR6539 on Monday ? It arrives by 20:08 .
request((_:result,duration,?);(_:result,type,'Train'))
user
That would be great . What is the total travel time of the train ride ?
inform((_:result,duration,'about 28 minutes');(_:result,type,'Train')) request((_:search,area,?);(_:search,type,'Hotel')) inform((_:result,category,'guesthouse');(_:result,type,'Hotel'))
system
This trip is about 28 minutes . Now we can get to finding you a guesthouse . What area would you like me to look for ?
inform((_:search,area,'east');(_:search,pricerange,'moderately');(_:search,type,'Hotel'))
user
East please . Something moderately priced ?
inform((_:result,name,'Carolina Bed and Breakfast');(_:result,name,'Warkworth House');(_:result,type,'Hotel')) offer((_:booking,type,'Booking')) inform((_:result,area,'east');(_:result,category,'guesthouses');(_:result,count,'3');(_:result,pricerange,'moderately priced');(_:result,type,'Hotel'))
system
There are three moderately priced guesthouses in the east . I would recommend either Carolina Bed and Breakfast or Warkworth House . Would you like me to book one of them ?
inform((_:search,day,'thursday');(_:search,name,'carolina bed and breakfast');(_:search,stay,'four');(_:search,type,'Hotel'))
user
Yes , let 's try the Carolina Bed and Breakfast for four nights starting Thursday .
canthelp((_:booking,type,'Booking')) request((_:booking,day,?);(_:booking,stay,?);(_:booking,type,'Booking'))
system
I m sorry that day is unavailable , would a shorter stay work or any other day or place ?
inform((_:search,stay,'2');(_:search,type,'Hotel'))
user
How about 2 nights ?
reqmore() inform((_:booking,ref,'1V6RIXRJ');(_:booking,stay,'Two');(_:booking,type,'Booking'))
system
Two nights works ! Your reference number is 1V6RIXRJ . Is there anything else I could do for you ?
user
Okay great , no that 's everything I needed .
bye()
system
Enjoy your stay !
bye()
user
Thank you . Good bye .
system
You 're welcome , have a great stay .
_:search arrive_by 20:30
_:search departure cambridge
_:search type Train
_:search arrive_by 20:30
_:search departure cambridge
_:search destination stansted airport
_:search type Train
_:search departure cambridge
_:search destination stansted airport
_:search leave_at ?
_:search arrive_by 20:30
_:search day monday
_:search type Train
_:search departure cambridge
_:search destination stansted airport
_:search leave_at ?
_:search arrive_by 20:30
_:search day monday
_:result arrive_by 20:08
_:result id TR6539
_:result type Train
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:search category guesthouse
_:search stars 4
_:search type Hotel
_:search departure cambridge
_:search destination stansted airport
_:search leave_at ?
_:search arrive_by 20:30
_:search day monday
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:search category guesthouse
_:search stars 4
_:search type Hotel
_:result arrive_by 20:08
_:result day Monday
_:result id TR6539
_:result type Train
_:result duration ?
_:search departure cambridge
_:search destination stansted airport
_:search leave_at ?
_:search arrive_by 20:30
_:search day monday
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:search category guesthouse
_:search stars 4
_:result arrive_by 20:08
_:result day Monday
_:result id TR6539
_:result duration about 28 minutes
_:result category guesthouse
_:result type Hotel
_:search area east
_:search pricerange moderately
_:search type Hotel
_:search departure cambridge
_:search destination stansted airport
_:search leave_at ?
_:search arrive_by 20:30
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:search category guesthouse
_:search stars 4
_:result arrive_by 20:08
_:result day Monday
_:result id TR6539
_:result duration about 28 minutes
_:search area east
_:search pricerange moderately
_:result name Carolina Bed and Breakfast
_:result name Warkworth House
_:result area east
_:result category guesthouses
_:result count 3
_:result pricerange moderately priced
_:result type Hotel
_:search day thursday
_:search name carolina bed and breakfast
_:search stay four
_:search type Hotel
_:search departure cambridge
_:search destination stansted airport
_:search leave_at ?
_:search arrive_by 20:30
_:system offered _:booking
_:booking category Train
_:search category guesthouse
_:search stars 4
_:result arrive_by 20:08
_:result day Monday
_:result id TR6539
_:result duration about 28 minutes
_:search area east
_:search pricerange moderately
_:result name Carolina Bed and Breakfast
_:result name Warkworth House
_:result area east
_:result category guesthouses
_:result count 3
_:result pricerange moderately priced
_:result type Hotel
_:search day thursday
_:search name carolina bed and breakfast
_:system canthelp _:booking/9f2c3086
_:booking/9f2c3086 type Booking
_:booking day ?
_:booking stay ?
_:booking type Booking
_:search stay 2
_:search type Hotel
_:search departure cambridge
_:search destination stansted airport
_:search leave_at ?
_:search arrive_by 20:30
_:system offered _:booking
_:booking category Train
_:search category guesthouse
_:search stars 4
_:result arrive_by 20:08
_:result day Monday
_:result id TR6539
_:result duration about 28 minutes
_:search area east
_:search pricerange moderately
_:result name Carolina Bed and Breakfast
_:result name Warkworth House
_:result area east
_:result category guesthouses
_:result count 3
_:result pricerange moderately priced
_:result type Hotel
_:search day thursday
_:search name carolina bed and breakfast
_:system canthelp _:booking/9f2c3086
_:booking/9f2c3086 type Booking
_:booking day ?
_:search stay 2
_:search type Hotel
_:system inquired _:user
_:booking ref 1V6RIXRJ
_:booking stay Two
_:booking type Booking
_:search departure cambridge
_:search destination stansted airport
_:search leave_at ?
_:search arrive_by 20:30
_:system offered _:booking
_:booking category Train
_:search category guesthouse
_:search stars 4
_:result arrive_by 20:08
_:result day Monday
_:result id TR6539
_:result duration about 28 minutes
_:search area east
_:search pricerange moderately
_:result name Carolina Bed and Breakfast
_:result name Warkworth House
_:result area east
_:result category guesthouses
_:result count 3
_:result pricerange moderately priced
_:result type Hotel
_:search day thursday
_:search name carolina bed and breakfast
_:system canthelp _:booking/9f2c3086
_:booking/9f2c3086 type Booking
_:booking day ?
_:search stay 2
_:search type Hotel
_:system inquired _:user
_:booking ref 1V6RIXRJ
_:booking stay Two
_:booking type Booking
_:system dismissed _:user
_:user dismissed _:system