inform((_:search,type,'Train'))
user
Can you help me book some train tickets ?
request((_:search,departure,?);(_:search,destination,?);(_:search,type,'Train')) thank()
system
Sure ! Where are you departing from and what is your destination ?
inform((_:search,departure,'cambridge');(_:search,type,'Train'))
user
I am leaving from Cambridge .
request((_:search,day,?);(_:search,destination,?);(_:search,type,'Train'))
system
I 'll need to get some more information . Can you tell me your destination and when you will be travelling ?
inform((_:search,day,'thursday');(_:search,destination,'bishops stortford');(_:search,leave_at,'12:45');(_:search,type,'Train'))
user
I am going to bishops stortford at 12:45 on thursday .
select((_:result,departure,'bishops stortford');(_:result,leave_at,'12:45');(_:result,type,'Train'))
system
You would like to leave bishops stortford at 12:45 ?
inform((_:search,day,'thursday');(_:search,people,'3');(_:search,type,'Train'))
user
Yes , on Thursday . Can you book me a train for 3 people please ?
inform((_:result,arrive_by,'12:07');(_:result,id,'TR 2929');(_:result,leave_at,'11:29');(_:result,type,'Train')) offer((_:booking,category,'Train');(_:booking,type,'Booking'))
system
Okay the TR 2929 leaves at 11:29 and arrives at 12:07 . Would you like me to book this ?
inform((_:search,destination,'hogwarts');(_:search,people,'one');(_:search,type,'Train'))
user
Yes one ticket to hogwarts please ?
canthelp((_:search,destination,'Hogwarts');(_:search,leave_at,'September 1st');(_:search,type,'Train'))
system
Ah , sorry , unfortunately there are no trains leaving to Hogwarts after September 1st .
inform((_:search,day,'thursday');(_:search,departure,'cambridge');(_:search,destination,'bishops stortford');(_:search,leave_at,'12:45');(_:search,people,'3');(_:search,type,'Train')) request((_:result,ref,?);(_:result,type,'Train'))
user
I am sorry , poor joke . I am leaving cambridge going to bishops storford , leaving after 12:45 on thursday , need 3 tickets and ref number
reqmore() inform((_:booking,category,'Train');(_:booking,ref,'2WI5Y9KV');(_:booking,ticket,'30.29 GBP');(_:booking,type,'Booking'))
system
Booking was successful , the total fee is 30.29 GBP payable at the station . Reference number is : 2WI5Y9KV . Anything else I can do ?
inform((_:search,category,'guesthouse');(_:search,has_internet,'yes');(_:search,has_parking,'yes');(_:search,pricerange,'expensive');(_:search,type,'Hotel'))
user
Yes I am looking for a place to stay that includes free wifi and is a guesthouse in the expensive price range with free parking as well .
select((_:result,amount,'several');(_:result,category,'hotel');(_:result,type,'Hotel')) canthelp((_:search,category,'guesthouses');(_:search,type,'Hotel'))
system
There are no guesthouses that fit your needs . Would you like a hotel ? There are several available .
inform((_:search,pricerange,'cheap');(_:search,type,'Hotel'))
user
How about one that is cheap ?
request((_:search,area,?);(_:search,type,'Hotel')) inform((_:result,amount,'several');(_:result,area,'all areas');(_:result,category,'guesthouses');(_:result,pricerange,'cheap');(_:result,type,'Hotel'))
system
There are several cheap guesthouses in all areas of Cambridge . Do you have an area preference ?
inform((_:search,area,'dontcare');(_:search,has_internet,'yes');(_:search,has_parking,'yes');(_:search,pricerange,'cheap');(_:search,type,'Hotel'))
user
I am not looking in any specific area . A cheap guesthouse with free wifi and parking would be great . Can you recommend one ?
inform((_:result,name,'Autumn House');(_:result,type,'Hotel')) offer((_:booking,type,'Booking'))
system
Absolutely ! I recommend Autumn House . Would you like a reservation ?
thank()
user
yes i would like a reservation . thank you .
offer((_:booking,type,'Booking')) request((_:booking,day,?);(_:booking,people,?);(_:booking,stay,?);(_:booking,type,'Booking'))
system
I can help with that !   I just need to know your arrival date , the number of people that will be staying , and how many nights you 'd like to stay .
inform((_:search,day,'tuesday');(_:search,people,'3');(_:search,stay,'2');(_:search,type,'Hotel'))
user
Thanks , I need for 3 people for 2 nights . Arrival is on Tuesday .
inform((_:booking,ref,'ZYSDXL09');(_:booking,type,'Booking'))
system
Sure I have your reservation and the reference number is ZYSDXL09 .
thank()
user
Thank you for all your help . That is all for now .
system
You 're welcome , let me know if I can assist with anything else .
_:search type Train
_:search destination ?
_:search departure cambridge
_:search type Train
_:search departure cambridge
_:search day thursday
_:search destination bishops stortford
_:search leave_at 12:45
_:search type Train
_:search departure cambridge
_:search destination bishops stortford
_:search leave_at 12:45
_:result departure bishops stortford
_:result leave_at 12:45
_:result type Train
_:search day thursday
_:search people 3
_:search type Train
_:search departure cambridge
_:search leave_at 12:45
_:result departure bishops stortford
_:search day thursday
_:result arrive_by 12:07
_:result id TR 2929
_:result leave_at 11:29
_:result type Train
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:search destination hogwarts
_:search people one
_:search type Train
_:result departure bishops stortford
_:result arrive_by 12:07
_:result id TR 2929
_:result leave_at 11:29
_:result type Train
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:system canthelp _:search/be57d82f
_:search/be57d82f destination Hogwarts
_:search/be57d82f leave_at September 1st
_:search/be57d82f type Train
_:search day thursday
_:search departure cambridge
_:search destination bishops stortford
_:search leave_at 12:45
_:search people 3
_:search type Train
_:result ref ?
_:result departure bishops stortford
_:result arrive_by 12:07
_:result id TR 2929
_:result leave_at 11:29
_:result type Train
_:system offered _:booking
_:system canthelp _:search/be57d82f
_:search/be57d82f destination Hogwarts
_:search/be57d82f leave_at September 1st
_:search/be57d82f type Train
_:search day thursday
_:search departure cambridge
_:search destination bishops stortford
_:search leave_at 12:45
_:search people 3
_:result ref ?
_:system inquired _:user
_:booking category Train
_:booking ref 2WI5Y9KV
_:booking ticket 30.29 GBP
_:booking type Booking
_:search category guesthouse
_:search has_internet yes
_:search has_parking yes
_:search pricerange expensive
_:search type Hotel
_:result departure bishops stortford
_:result arrive_by 12:07
_:result id TR 2929
_:result leave_at 11:29
_:system offered _:booking
_:system canthelp _:search/be57d82f
_:search/be57d82f destination Hogwarts
_:search/be57d82f leave_at September 1st
_:search/be57d82f type Train
_:search day thursday
_:search departure cambridge
_:search destination bishops stortford
_:search leave_at 12:45
_:search people 3
_:result ref ?
_:system inquired _:user
_:booking category Train
_:booking ref 2WI5Y9KV
_:booking ticket 30.29 GBP
_:booking type Booking
_:search category guesthouse
_:search has_internet yes
_:search has_parking yes
_:result amount several
_:result category hotel
_:result type Hotel
_:system canthelp _:search/6a35a8c7
_:search/6a35a8c7 category guesthouses
_:search/6a35a8c7 type Hotel
_:search pricerange cheap
_:search type Hotel
_:result departure bishops stortford
_:result arrive_by 12:07
_:result id TR 2929
_:result leave_at 11:29
_:system offered _:booking
_:system canthelp _:search/be57d82f
_:search/be57d82f destination Hogwarts
_:search/be57d82f leave_at September 1st
_:search/be57d82f type Train
_:search day thursday
_:search departure cambridge
_:search destination bishops stortford
_:search leave_at 12:45
_:search people 3
_:result ref ?
_:system inquired _:user
_:booking category Train
_:booking ref 2WI5Y9KV
_:booking ticket 30.29 GBP
_:booking type Booking
_:search category guesthouse
_:system canthelp _:search/6a35a8c7
_:search/6a35a8c7 category guesthouses
_:search/6a35a8c7 type Hotel
_:result amount several
_:result area all areas
_:result category guesthouses
_:result pricerange cheap
_:result type Hotel
_:search area dontcare
_:search has_internet yes
_:search has_parking yes
_:search pricerange cheap
_:search type Hotel
_:result departure bishops stortford
_:result arrive_by 12:07
_:result id TR 2929
_:result leave_at 11:29
_:system offered _:booking
_:system canthelp _:search/be57d82f
_:search/be57d82f destination Hogwarts
_:search/be57d82f leave_at September 1st
_:search/be57d82f type Train
_:search day thursday
_:search departure cambridge
_:search destination bishops stortford
_:search leave_at 12:45
_:search people 3
_:result ref ?
_:system inquired _:user
_:booking category Train
_:booking ref 2WI5Y9KV
_:booking ticket 30.29 GBP
_:booking type Booking
_:search category guesthouse
_:system canthelp _:search/6a35a8c7
_:search/6a35a8c7 category guesthouses
_:search/6a35a8c7 type Hotel
_:result amount several
_:result area all areas
_:result category guesthouses
_:result pricerange cheap
_:search area dontcare
_:search has_internet yes
_:search has_parking yes
_:search pricerange cheap
_:search type Hotel
_:result name Autumn House
_:result type Hotel
_:result departure bishops stortford
_:result arrive_by 12:07
_:result id TR 2929
_:result leave_at 11:29
_:system offered _:booking
_:system canthelp _:search/be57d82f
_:search/be57d82f destination Hogwarts
_:search/be57d82f leave_at September 1st
_:search/be57d82f type Train
_:search departure cambridge
_:search destination bishops stortford
_:search leave_at 12:45
_:result ref ?
_:system inquired _:user
_:booking category Train
_:booking ref 2WI5Y9KV
_:booking ticket 30.29 GBP
_:search category guesthouse
_:system canthelp _:search/6a35a8c7
_:search/6a35a8c7 category guesthouses
_:search/6a35a8c7 type Hotel
_:result amount several
_:result area all areas
_:result category guesthouses
_:result pricerange cheap
_:search area dontcare
_:search has_internet yes
_:search has_parking yes
_:search pricerange cheap
_:result name Autumn House
_:result type Hotel
_:booking day ?
_:booking people ?
_:booking stay ?
_:booking type Booking
_:search day tuesday
_:search people 3
_:search stay 2
_:search type Hotel
_:result departure bishops stortford
_:result arrive_by 12:07
_:result id TR 2929
_:result leave_at 11:29
_:system offered _:booking
_:system canthelp _:search/be57d82f
_:search/be57d82f destination Hogwarts
_:search/be57d82f leave_at September 1st
_:search/be57d82f type Train
_:search departure cambridge
_:search destination bishops stortford
_:search leave_at 12:45
_:result ref ?
_:system inquired _:user
_:booking category Train
_:booking ticket 30.29 GBP
_:search category guesthouse
_:system canthelp _:search/6a35a8c7
_:search/6a35a8c7 category guesthouses
_:search/6a35a8c7 type Hotel
_:result amount several
_:result area all areas
_:result category guesthouses
_:result pricerange cheap
_:search area dontcare
_:search has_internet yes
_:search has_parking yes
_:search pricerange cheap
_:result name Autumn House
_:result type Hotel
_:booking day ?
_:booking people ?
_:booking stay ?
_:search day tuesday
_:search people 3
_:search stay 2
_:search type Hotel
_:booking ref ZYSDXL09
_:booking type Booking