inform((_:search,area,'south');(_:search,category,'hotel');(_:search,pricerange,'expensive');(_:search,type,'Hotel'))
user
Hi , I 'm looking for an expensive hotel in the south of town .
offer((_:booking,type,'Booking')) inform((_:result,name,'Lensfield hotel');(_:result,type,'Hotel'))
system
The Lensfield hotel should fit your needs perfectly , would you like for me to set up a booking ?
inform((_:search,stars,'3');(_:search,type,'Hotel'))
user
Does that hotel have a 3 star rating ?
select((_:result,type,'Hotel'))
system
Indeed it does . Does it sound like somewhere you 'd like to stay ?
inform((_:search,area,'south');(_:search,category,'hotel');(_:search,has_parking,'no');(_:search,pricerange,'expensive');(_:search,stars,'3');(_:search,type,'Hotel'))
user
I do not need any free parking . Is there any expensive   hotel in the south with 3 stars and no parking ?
inform((_:result,area,'south');(_:result,has_parking,'none');(_:result,name,'Lensfield Hotel');(_:result,pricerange,'expensive');(_:result,stars,'3-star');(_:result,type,'Hotel'))
system
No , there is not .   The only expensive 3-star hotel in the south is The Lensfield Hotel and it has parking .
inform((_:search,day,'tuesday');(_:search,people,'seven');(_:search,stay,'5');(_:search,type,'Hotel'))
user
Okay , I need to book it for seven people 5 nights starting tuesday .
inform((_:booking,ref,'ALYDOZKZ');(_:booking,type,'Booking'))
system
I booked it for you . Your reference number is ALYDOZKZ .
inform((_:search,destination,'cambridge');(_:search,type,'Train'))
user
Thank you ! I also need to book a train to Cambridge .
request((_:search,day,?);(_:search,departure,?);(_:search,leave_at,?);(_:search,type,'Train')) inform((_:result,amount,'many');(_:result,type,'Train'))
system
There are many options . Could you please tell me where you are travelling from , on what day , and possibly at what time ?
inform((_:search,arrive_by,'11:30');(_:search,departure,'kings lynn');(_:search,destination,'cambridge');(_:search,type,'Train'))
user
I need a train going to cambridge that arrives at 11:30 . I will depart from kings lynn .
request((_:search,day,?);(_:search,type,'Train')) inform((_:result,amount,'multiple');(_:result,type,'Train'))
system
There are multiple trains that match the criteria you listed . Can you please provide the day you will be traveling on ?
inform((_:search,day,'tuesday');(_:search,type,'Train'))
user
I will need that for Tuesday as well .
inform((_:result,arrive_by,'10:58');(_:result,departure,'kings lynn');(_:result,destination,'cambridge');(_:result,duration,'47 minutes');(_:result,id,'TR1704');(_:result,leave_at,'10:11');(_:result,ticket,'9.80 pounds');(_:result,type,'Train')) offer((_:booking,category,'Train');(_:booking,type,'Booking'))
system
Train TR1704 leaves kings lynn at 10:11 and arrives at cambridge by 10:58 , making the travel time 47 minutes . The cost is 9.80 pounds . Are you interested in booking ?
inform((_:search,people,'7');(_:search,type,'Train')) request((_:result,ref,?);(_:result,type,'Train'))
user
Yes , please book this train for 7 people . I also will need the reference number .
reqmore() inform((_:booking,category,'Train');(_:booking,ref,'JEQ34OF0');(_:booking,ticket,'68.6');(_:booking,type,'Booking'))
system
The booking was successful , the total fee is 68.6 GBP payable at the station . Reference number is : JEQ34OF0 . Is there anything else I can help you with ?
thank()
user
That was it . Thanks so much for your help .
system
I 'm glad I could help you with your accommodations and travel needs . Good bye .
_:search area south
_:search category hotel
_:search pricerange expensive
_:search type Hotel
_:search area south
_:search category hotel
_:search pricerange expensive
_:system offered _:booking
_:booking type Booking
_:result name Lensfield hotel
_:result type Hotel
_:search stars 3
_:search type Hotel
_:system offered _:booking
_:booking type Booking
_:result name Lensfield hotel
_:result type Hotel
_:search area south
_:search category hotel
_:search has_parking no
_:search pricerange expensive
_:search stars 3
_:search type Hotel
_:system offered _:booking
_:booking type Booking
_:search area south
_:search category hotel
_:search has_parking no
_:search pricerange expensive
_:search stars 3
_:result area south
_:result has_parking none
_:result name Lensfield Hotel
_:result pricerange expensive
_:result stars 3-star
_:result type Hotel
_:search day tuesday
_:search people seven
_:search stay 5
_:search type Hotel
_:system offered _:booking
_:search area south
_:search category hotel
_:search has_parking no
_:search pricerange expensive
_:search stars 3
_:result area south
_:result has_parking none
_:result name Lensfield Hotel
_:result pricerange expensive
_:result stars 3-star
_:result type Hotel
_:search day tuesday
_:search people seven
_:search stay 5
_:booking ref ALYDOZKZ
_:booking type Booking
_:search destination cambridge
_:search type Train
_:system offered _:booking
_:search area south
_:search category hotel
_:search has_parking no
_:search pricerange expensive
_:search stars 3
_:result area south
_:result has_parking none
_:result name Lensfield Hotel
_:result pricerange expensive
_:result stars 3-star
_:search people seven
_:search stay 5
_:booking ref ALYDOZKZ
_:booking type Booking
_:search day ?
_:search leave_at ?
_:result amount many
_:result type Train
_:search arrive_by 11:30
_:search departure kings lynn
_:search destination cambridge
_:search type Train
_:system offered _:booking
_:search area south
_:search category hotel
_:search has_parking no
_:search pricerange expensive
_:search stars 3
_:result area south
_:result has_parking none
_:result name Lensfield Hotel
_:result pricerange expensive
_:result stars 3-star
_:search people seven
_:search stay 5
_:booking ref ALYDOZKZ
_:booking type Booking
_:search leave_at ?
_:search arrive_by 11:30
_:search departure kings lynn
_:search destination cambridge
_:result amount multiple
_:result type Train
_:search day tuesday
_:search type Train
_:system offered _:booking
_:search area south
_:search category hotel
_:search has_parking no
_:search pricerange expensive
_:search stars 3
_:result area south
_:result has_parking none
_:result name Lensfield Hotel
_:result pricerange expensive
_:result stars 3-star
_:search stay 5
_:booking ref ALYDOZKZ
_:booking type Booking
_:search leave_at ?
_:search arrive_by 11:30
_:search departure kings lynn
_:search destination cambridge
_:result amount multiple
_:search day tuesday
_:result arrive_by 10:58
_:result departure kings lynn
_:result destination cambridge
_:result duration 47 minutes
_:result id TR1704
_:result leave_at 10:11
_:result ticket 9.80 pounds
_:result type Train
_:booking category Train
_:search people 7
_:search type Train
_:result ref ?
_:system offered _:booking
_:search area south
_:search category hotel
_:search has_parking no
_:search pricerange expensive
_:search stars 3
_:result area south
_:result has_parking none
_:result name Lensfield Hotel
_:result pricerange expensive
_:result stars 3-star
_:search stay 5
_:search leave_at ?
_:search arrive_by 11:30
_:search departure kings lynn
_:search destination cambridge
_:result amount multiple
_:search day tuesday
_:result arrive_by 10:58
_:result departure kings lynn
_:result destination cambridge
_:result duration 47 minutes
_:result id TR1704
_:result leave_at 10:11
_:result ticket 9.80 pounds
_:result type Train
_:search people 7
_:search type Train
_:result ref ?
_:system inquired _:user
_:booking category Train
_:booking ref JEQ34OF0
_:booking ticket 68.6
_:booking type Booking