inform((_:search,destination,'leicester');(_:search,type,'Train'))
user
I would like to go and visit Leicester . Do you think you can help me find a train to get me there ?
inform((_:result,amount,'plenty');(_:result,destination,'Leicester');(_:result,type,'Train')) request((_:search,departure,?);(_:search,type,'Train')) thank()
system
Sure ! There are plenty of trains going to Leicester . What city will you be departing from ?
inform((_:search,departure,'cambridge');(_:search,type,'Train'))
user
I will be leaving from cambridge .
request((_:search,arrive_by,?);(_:search,day,?);(_:search,leave_at,?);(_:search,type,'Train'))
system
Perfect . What day would you like to travel on ? Do you need to depart or arrive by a certain time ?
inform((_:search,arrive_by,'08:30');(_:search,day,'sunday');(_:search,type,'Train'))
user
I will be traveling on Sunday and would like to arrive by 08:30 please .
inform((_:result,arrive_by,'08:06');(_:result,leave_at,'06:21');(_:result,type,'Train')) request((_:search,people,?);(_:search,type,'Train'))
system
The first train leaves at 06:21 and arrives at 08:06 . How many tickets would you like please ?
inform((_:search,people,'eight');(_:search,type,'Train'))
user
I need it for eight people , please .
reqmore() inform((_:booking,category,'Train');(_:booking,id,'TR9187');(_:booking,ref,'MJJ7J6CV');(_:booking,type,'Booking'))
system
Great ! You 're booked on TR9187 with reference number MJJ7J6CV . Is there anything else I can help with ?
inform((_:search,area,'north');(_:search,category,'guesthouse');(_:search,has_parking,'yes');(_:search,pricerange,'expensive');(_:search,type,'Hotel'))
user
Yes ! I also need to find an expensive guesthouse in the north . It should have plenty of free parking for my fancy car .
canthelp((_:search,area,'north');(_:search,category,'guest houses');(_:search,has_parking,'none');(_:search,pricerange,'expensive');(_:search,type,'Hotel'))
system
I am sorry , there are no expensive guest houses in the north with free parking .   Would you like to try another area ?
inform((_:search,pricerange,'cheap');(_:search,type,'Hotel'))
user
Then how about one that is in the cheap price range ?
offer((_:booking,type,'Booking')) inform((_:result,count,'2');(_:result,name,'City Centre north');(_:result,name,'Worth House');(_:result,stars,'0');(_:result,stars,'4');(_:result,type,'Hotel'))
system
There are 2 options . City Centre north has a rating of 0 stars and Worth House has a rating of 4 stars . Would you like me to book either of them ?
inform((_:search,name,'worth house');(_:search,type,'Hotel'))
user
Worth House sounds good .   Thank you .
request((_:booking,people,?);(_:booking,stay,?);(_:booking,type,'Booking'))
system
I 'll be happy to book a room for you . How many nights and how many people ?
thank()
user
I actually just needed the information . That 's all I need for now . Thank you . Goodbye .
system
Sure , thanks for using this service .
_:search destination leicester
_:search type Train
_:search destination leicester
_:result amount plenty
_:result destination Leicester
_:result type Train
_:search departure cambridge
_:search type Train
_:search destination leicester
_:result amount plenty
_:result destination Leicester
_:result type Train
_:search departure cambridge
_:search leave_at ?
_:search arrive_by 08:30
_:search day sunday
_:search type Train
_:search destination leicester
_:result amount plenty
_:result destination Leicester
_:search departure cambridge
_:search leave_at ?
_:search arrive_by 08:30
_:search day sunday
_:result arrive_by 08:06
_:result leave_at 06:21
_:result type Train
_:search people eight
_:search type Train
_:search destination leicester
_:result amount plenty
_:result destination Leicester
_:search departure cambridge
_:search leave_at ?
_:search arrive_by 08:30
_:search day sunday
_:result arrive_by 08:06
_:result leave_at 06:21
_:result type Train
_:search people eight
_:system inquired _:user
_:booking category Train
_:booking id TR9187
_:booking ref MJJ7J6CV
_:booking type Booking
_:search area north
_:search category guesthouse
_:search has_parking yes
_:search pricerange expensive
_:search type Hotel
_:search destination leicester
_:result amount plenty
_:result destination Leicester
_:search departure cambridge
_:search leave_at ?
_:search arrive_by 08:30
_:search day sunday
_:result arrive_by 08:06
_:result leave_at 06:21
_:result type Train
_:search people eight
_:system inquired _:user
_:booking category Train
_:booking id TR9187
_:booking ref MJJ7J6CV
_:booking type Booking
_:search area north
_:search category guesthouse
_:search has_parking yes
_:system canthelp _:search/d02e59f3
_:search/d02e59f3 area north
_:search/d02e59f3 category guest houses
_:search/d02e59f3 has_parking none
_:search/d02e59f3 pricerange expensive
_:search/d02e59f3 type Hotel
_:search pricerange cheap
_:search type Hotel
_:search destination leicester
_:result amount plenty
_:result destination Leicester
_:search departure cambridge
_:search leave_at ?
_:search arrive_by 08:30
_:search day sunday
_:result arrive_by 08:06
_:result leave_at 06:21
_:search people eight
_:system inquired _:user
_:booking category Train
_:booking id TR9187
_:booking ref MJJ7J6CV
_:booking type Booking
_:search area north
_:search category guesthouse
_:search has_parking yes
_:system canthelp _:search/d02e59f3
_:search/d02e59f3 area north
_:search/d02e59f3 category guest houses
_:search/d02e59f3 has_parking none
_:search/d02e59f3 pricerange expensive
_:search/d02e59f3 type Hotel
_:search pricerange cheap
_:system offered _:booking
_:result count 2
_:result name City Centre north
_:result name Worth House
_:result stars 0
_:result stars 4
_:result type Hotel
_:search name worth house
_:search type Hotel
_:search destination leicester
_:result amount plenty
_:result destination Leicester
_:search departure cambridge
_:search leave_at ?
_:search arrive_by 08:30
_:search day sunday
_:result arrive_by 08:06
_:result leave_at 06:21
_:search people eight
_:system inquired _:user
_:booking category Train
_:booking id TR9187
_:booking ref MJJ7J6CV
_:search area north
_:search category guesthouse
_:search has_parking yes
_:system canthelp _:search/d02e59f3
_:search/d02e59f3 area north
_:search/d02e59f3 category guest houses
_:search/d02e59f3 has_parking none
_:search/d02e59f3 pricerange expensive
_:search/d02e59f3 type Hotel
_:search pricerange cheap
_:system offered _:booking
_:result count 2
_:result name City Centre north
_:result name Worth House
_:result stars 0
_:result stars 4
_:result type Hotel
_:search name worth house
_:search type Hotel
_:booking people ?
_:booking stay ?
_:booking type Booking