inform((_:search,day,'tuesday');(_:search,leave_at,'20:00');(_:search,type,'Train'))
user
I need a train after 20:00 on Tuesday , please .
inform((_:result,arrive_by,'20:00');(_:result,count,'2800');(_:result,day,'Tuesday');(_:result,type,'Train')) request((_:search,departure,?);(_:search,destination,?);(_:search,type,'Train'))
system
There are more than 2800 trains that leave on Tuesday and arrive before 20:00 . What are your departure and destination points ?
inform((_:search,departure,'cambridge');(_:search,destination,"london king 's cross");(_:search,type,'Train'))
user
Of course . I 'd like to leave from Cambridge and head to London King 's Cross .
select((_:result,arrive_by,'21:51');(_:result,arrive_by,'23:51');(_:result,id,'TR5941');(_:result,id,'TR6595');(_:result,leave_at,'21:00');(_:result,leave_at,'23:00');(_:result,type,'Train')) inform((_:result,type,'Train'))
system
TR5941 leaves at 21:00 and arrives at 21:51 .   TR6595 leaves at 23:00 and arrives by 23:51 .   Which do you prefer ?
thank() inform((_:search,id,'TR5941');(_:search,type,'Train'))
user
TR5941 is good . Thank you for your help .
bye() thank()
system
You 're welcome . Have a great day !
inform((_:search,type,'Hotel'))
user
Wait . I also need a place to stay .
request((_:search,area,?);(_:search,pricerange,?);(_:search,type,'Hotel'))
system
Certainly ! We have numbers of hotels . Any particular area or price range are you looking for ?
inform((_:search,area,'east');(_:search,stars,'4-star');(_:search,type,'Hotel'))
user
I prefer something in the east . And I only like to stay at 4-star rated places .
request((_:search,has_internet,?);(_:search,has_parking,?);(_:search,type,'Hotel')) inform((_:result,area,'east');(_:result,category,'guesthouses');(_:result,count,'6');(_:result,stars,'four');(_:result,type,'Hotel'))
system
There are 6 four - star guesthouses in the east . Do you need free parking or Internet ?
inform((_:search,has_parking,'yes');(_:search,type,'Hotel'))
user
I would like free parking .
request((_:search,pricerange,?);(_:search,type,'Hotel')) inform((_:result,count,'5');(_:result,type,'Hotel'))
system
There are 5 options available to you meeting that critera .   Are you looking for a specific price range ?
inform((_:search,pricerange,'moderately');(_:search,type,'Hotel'))
user
Something moderately priced would be best .
request((_:booking,people,?);(_:booking,stay,?);(_:booking,type,'Booking')) inform((_:result,count,'2');(_:result,type,'Hotel'))
system
I have 2 that I can try booking for you . How many in your party and how long is your stay going to be ?
user
I do not have that information at the moment .
offer((_:booking,type,'Booking'))
system
Unfortunately I will need this information in order to book the room . Would like to call back at another time when you have that information ?
user
Ok sorry I will call back when I have that information .
reqmore()
system
Is there anything else I can assist you with today ?
inform((_:search,stay,'one');(_:search,type,'Hotel')) request((_:result,address,?);(_:result,category,?);(_:result,type,'Hotel'))
user
Yes can I have the address and hotel type for one of hotels ? I 'd take whichever one that you recommend .
inform((_:result,address,'138 Perne Road');(_:result,has_internet,'none');(_:result,has_parking,'none');(_:result,name,'Warkworth House');(_:result,type,'Hotel'))
system
I have chosen the Warkworth House for you ! It has parking along with internet capabilities . The address is 138 Perne Road .
user
Excellent . That 's all I will need .
system
Great . Glad to help . Have a wonderful day !
_:search day tuesday
_:search leave_at 20:00
_:search type Train
_:search day tuesday
_:search leave_at 20:00
_:result arrive_by 20:00
_:result count 2800
_:result day Tuesday
_:result type Train
_:search departure cambridge
_:search destination london king 's cross
_:search type Train
_:search day tuesday
_:search leave_at 20:00
_:result count 2800
_:result day Tuesday
_:search departure cambridge
_:search destination london king 's cross
_:result arrive_by 21:51
_:result arrive_by 23:51
_:result id TR5941
_:result id TR6595
_:result leave_at 21:00
_:result leave_at 23:00
_:result type Train
_:search id TR5941
_:search type Train
_:search day tuesday
_:search leave_at 20:00
_:result count 2800
_:result day Tuesday
_:search departure cambridge
_:search destination london king 's cross
_:result arrive_by 21:51
_:result arrive_by 23:51
_:result id TR5941
_:result id TR6595
_:result leave_at 21:00
_:result leave_at 23:00
_:result type Train
_:search id TR5941
_:system dismissed _:user
_:search type Hotel
_:search day tuesday
_:search leave_at 20:00
_:result count 2800
_:result day Tuesday
_:search departure cambridge
_:search destination london king 's cross
_:result arrive_by 21:51
_:result arrive_by 23:51
_:result id TR5941
_:result id TR6595
_:result leave_at 21:00
_:result leave_at 23:00
_:result type Train
_:search id TR5941
_:system dismissed _:user
_:search pricerange ?
_:search area east
_:search stars 4-star
_:search type Hotel
_:search day tuesday
_:search leave_at 20:00
_:result day Tuesday
_:search departure cambridge
_:search destination london king 's cross
_:result arrive_by 21:51
_:result arrive_by 23:51
_:result id TR5941
_:result id TR6595
_:result leave_at 21:00
_:result leave_at 23:00
_:search id TR5941
_:system dismissed _:user
_:search pricerange ?
_:search area east
_:search stars 4-star
_:search has_internet ?
_:result area east
_:result category guesthouses
_:result count 6
_:result stars four
_:result type Hotel
_:search has_parking yes
_:search type Hotel
_:search day tuesday
_:search leave_at 20:00
_:result day Tuesday
_:search departure cambridge
_:search destination london king 's cross
_:result arrive_by 21:51
_:result arrive_by 23:51
_:result id TR5941
_:result id TR6595
_:result leave_at 21:00
_:result leave_at 23:00
_:search id TR5941
_:system dismissed _:user
_:search area east
_:search stars 4-star
_:search has_internet ?
_:result area east
_:result category guesthouses
_:result stars four
_:search has_parking yes
_:result count 5
_:result type Hotel
_:search pricerange moderately
_:search type Hotel
_:search day tuesday
_:search leave_at 20:00
_:result day Tuesday
_:search departure cambridge
_:search destination london king 's cross
_:result arrive_by 21:51
_:result arrive_by 23:51
_:result id TR5941
_:result id TR6595
_:result leave_at 21:00
_:result leave_at 23:00
_:search id TR5941
_:system dismissed _:user
_:search area east
_:search stars 4-star
_:search has_internet ?
_:result area east
_:result category guesthouses
_:result stars four
_:search has_parking yes
_:search pricerange moderately
_:search type Hotel
_:booking people ?
_:booking stay ?
_:booking type Booking
_:result count 2
_:result type Hotel
_:search day tuesday
_:search leave_at 20:00
_:result day Tuesday
_:search departure cambridge
_:search destination london king 's cross
_:result arrive_by 21:51
_:result arrive_by 23:51
_:result id TR5941
_:result id TR6595
_:result leave_at 21:00
_:result leave_at 23:00
_:search id TR5941
_:system dismissed _:user
_:search area east
_:search stars 4-star
_:search has_internet ?
_:result area east
_:result category guesthouses
_:result stars four
_:search has_parking yes
_:search pricerange moderately
_:search type Hotel
_:booking people ?
_:booking stay ?
_:booking type Booking
_:result count 2
_:result type Hotel
_:system offered _:booking
_:search day tuesday
_:search leave_at 20:00
_:result day Tuesday
_:search departure cambridge
_:search destination london king 's cross
_:result arrive_by 21:51
_:result arrive_by 23:51
_:result id TR5941
_:result id TR6595
_:result leave_at 21:00
_:result leave_at 23:00
_:search id TR5941
_:system dismissed _:user
_:search area east
_:search stars 4-star
_:search has_internet ?
_:result area east
_:result category guesthouses
_:result stars four
_:search has_parking yes
_:search pricerange moderately
_:booking people ?
_:booking stay ?
_:booking type Booking
_:result count 2
_:result type Hotel
_:system offered _:booking
_:system inquired _:user
_:search stay one
_:search type Hotel
_:result address ?
_:result category ?
_:search day tuesday
_:search leave_at 20:00
_:result day Tuesday
_:search departure cambridge
_:search destination london king 's cross
_:result arrive_by 21:51
_:result arrive_by 23:51
_:result id TR5941
_:result id TR6595
_:result leave_at 21:00
_:result leave_at 23:00
_:search id TR5941
_:system dismissed _:user
_:search area east
_:search stars 4-star
_:search has_internet ?
_:result area east
_:result category guesthouses
_:result stars four
_:search has_parking yes
_:search pricerange moderately
_:booking people ?
_:booking stay ?
_:booking type Booking
_:result count 2
_:system offered _:booking
_:system inquired _:user
_:search stay one
_:search type Hotel
_:result category ?
_:result address 138 Perne Road
_:result has_internet none
_:result has_parking none
_:result name Warkworth House
_:result type Hotel