inform((_:search,day,'tuesday');(_:search,leave_at,'18:15');(_:search,type,'Train'))
user
Hi , I am looking for a train that leaves on Tuesday after 18:15 .
request((_:search,departure,?);(_:search,destination,?);(_:search,type,'Train'))
system
Certainly ! What are your departure and destination locations ?
inform((_:search,departure,'cambridge');(_:search,destination,'leicester');(_:search,type,'Train'))
user
It should leave from Cambridge and go to Leicester please .
request((_:search,arrive_by,?);(_:search,type,'Train'))
system
Thanks for that information . Is there a time you would like to arrive by ?
user
I do not have an arrival time .
inform((_:result,arrive_by,'20:06');(_:result,departure,'Cambridge');(_:result,destination,'Leicester');(_:result,id,'TR0776');(_:result,leave_at,'18:21');(_:result,type,'Train')) offer((_:booking,category,'Train');(_:booking,type,'Booking'))
system
The TR0776 leaves Cambridge at 18:21 and gets into Leicester at 20:06 . Do you want me to book it for you ?
inform((_:search,people,'6');(_:search,type,'Train'))
user
Yes . I would like to book it for 6 people please .
reqmore() inform((_:booking,category,'Train');(_:booking,ref,'17I15NSK');(_:booking,ticket,'226.8 GBP');(_:booking,type,'Booking'))
system
Your booking was successful , the total fee is 226.8 GBP payable at the station . Your reference number is :   17I15NSK . Is there anything else I can help you with today ?
inform((_:search,area,'east');(_:search,category,'guesthouse');(_:search,has_internet,'yes');(_:search,stars,'4');(_:search,type,'Hotel'))
user
Yes I also need a guesthouse to stay in . It should have 4 stars , free wifi , in the east location .
request((_:search,pricerange,?);(_:search,type,'Hotel')) inform((_:result,category,'guesthouses');(_:result,count,'6');(_:result,type,'Hotel'))
system
We have 6 different guesthouses that fit your criteria . Do you have a specific price range in mind ?
inform((_:search,pricerange,"does n't matter");(_:search,type,'Hotel'))
user
No it does n't matter .
inform((_:result,has_internet,'none');(_:result,has_parking,'none');(_:result,name,'carolina bed and breakfast');(_:result,type,'Hotel')) offer((_:booking,type,'Booking'))
system
carolina bed and breakfast 	 has free wifi and parking if you want to book there .
inform((_:search,day,'thursday');(_:search,people,'6');(_:search,stay,'5');(_:search,type,'Hotel'))
user
Sounds good . I need it for 5 nights for 6 people starting from Thursday .
reqmore() inform((_:booking,day,'thursday');(_:booking,people,'6');(_:booking,ref,'EFRLBEKA');(_:booking,stay,'5');(_:booking,type,'Booking'))
system
Great , your Booking was successful ,   your reference number is : EFRLBEKA . for thursday 5 nights for 6 . Anything else I can help you with today ?
thank()
user
No , thanks . That 's all I needed . Goodbye .
system
Your welcome . Enjoy your trip . Goodbye
_:search day tuesday
_:search leave_at 18:15
_:search type Train
_:search day tuesday
_:search leave_at 18:15
_:search departure cambridge
_:search destination leicester
_:search type Train
_:search day tuesday
_:search leave_at 18:15
_:search departure cambridge
_:search destination leicester
_:search arrive_by ?
_:search type Train
_:search day tuesday
_:search leave_at 18:15
_:search departure cambridge
_:search destination leicester
_:search arrive_by ?
_:result arrive_by 20:06
_:result departure Cambridge
_:result destination Leicester
_:result id TR0776
_:result leave_at 18:21
_:result type Train
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:search people 6
_:search type Train
_:search day tuesday
_:search leave_at 18:15
_:search departure cambridge
_:search destination leicester
_:search arrive_by ?
_:result arrive_by 20:06
_:result departure Cambridge
_:result destination Leicester
_:result id TR0776
_:result leave_at 18:21
_:result type Train
_:system offered _:booking
_:search people 6
_:system inquired _:user
_:booking category Train
_:booking ref 17I15NSK
_:booking ticket 226.8 GBP
_:booking type Booking
_:search area east
_:search category guesthouse
_:search has_internet yes
_:search stars 4
_:search type Hotel
_:search day tuesday
_:search leave_at 18:15
_:search departure cambridge
_:search destination leicester
_:search arrive_by ?
_:result arrive_by 20:06
_:result departure Cambridge
_:result destination Leicester
_:result id TR0776
_:result leave_at 18:21
_:system offered _:booking
_:search people 6
_:system inquired _:user
_:booking category Train
_:booking ref 17I15NSK
_:booking ticket 226.8 GBP
_:booking type Booking
_:search area east
_:search category guesthouse
_:search has_internet yes
_:search stars 4
_:result category guesthouses
_:result count 6
_:result type Hotel
_:search pricerange does n't matter
_:search type Hotel
_:search leave_at 18:15
_:search departure cambridge
_:search destination leicester
_:search arrive_by ?
_:result arrive_by 20:06
_:result departure Cambridge
_:result destination Leicester
_:result id TR0776
_:result leave_at 18:21
_:system offered _:booking
_:system inquired _:user
_:booking category Train
_:booking ref 17I15NSK
_:booking ticket 226.8 GBP
_:booking type Booking
_:search area east
_:search category guesthouse
_:search has_internet yes
_:search stars 4
_:result category guesthouses
_:result count 6
_:search pricerange does n't matter
_:result has_internet none
_:result has_parking none
_:result name carolina bed and breakfast
_:result type Hotel
_:search day thursday
_:search people 6
_:search stay 5
_:search type Hotel
_:search leave_at 18:15
_:search departure cambridge
_:search destination leicester
_:search arrive_by ?
_:result arrive_by 20:06
_:result departure Cambridge
_:result destination Leicester
_:result id TR0776
_:result leave_at 18:21
_:system offered _:booking
_:booking category Train
_:booking ticket 226.8 GBP
_:search area east
_:search category guesthouse
_:search has_internet yes
_:search stars 4
_:result category guesthouses
_:result count 6
_:search pricerange does n't matter
_:result has_internet none
_:result has_parking none
_:result name carolina bed and breakfast
_:result type Hotel
_:search day thursday
_:search people 6
_:search stay 5
_:search type Hotel
_:system inquired _:user
_:booking day thursday
_:booking people 6
_:booking ref EFRLBEKA
_:booking stay 5
_:booking type Booking