inform((_:search,area,'centre');(_:search,pricerange,'expensive');(_:search,type,'Restaurant'))
user
Hello , I am looking for an expensive restaurant , located in the centre .
request((_:search,food,?);(_:search,type,'Restaurant'))
system
Are you looking for a particular type of food ?
inform((_:search,food,'dontcare');(_:search,type,'Restaurant'))
user
No , I am not .
offer((_:booking,type,'Booking')) inform((_:result,address,'at 52 mill road city centre');(_:result,name,'kymmoy');(_:result,type,'Restaurant'))
system
I have the kymmoy located at 52 mill road city centre . Would you like reservations ?
inform((_:search,day,'sunday');(_:search,duration,'20:00');(_:search,people,'5');(_:search,type,'Restaurant'))
user
Yes please can you make a reservation for 5 people at 20:00 on Sunday .
reqmore() inform((_:booking,day,'sunday');(_:booking,duration,'20:00');(_:booking,people,'5');(_:booking,ref,'HJ2OIWKI');(_:booking,type,'Booking'))
system
I have your reservation for 5 people on sunday at 20:00 , your reference number is HJ2OIWKI .   Can I help with anything else ?
inform((_:search,day,'same day');(_:search,destination,'cambridge');(_:search,type,'Train'))
user
train . The train should be on the same day as the restaurant booking and should go to cambridge
request((_:search,day,?);(_:search,departure,?);(_:search,leave_at,?);(_:search,type,'Train'))
system
I 'd be happy to help with your request , but first I 'll need to know where you 're leaving from and what day and time you 'd like to leave .
inform((_:search,arrive_by,'13:45');(_:search,departure,'birmingham new street');(_:search,type,'Train'))
user
I 'll be departing from birmingham new street and need to arrive by 13:45 .
inform((_:booking,arrive_by,'12:23');(_:booking,category,'Train');(_:booking,people,'1');(_:booking,ref,'FCGNZKOW');(_:booking,type,'Booking'))
system
I booked you for 1 ticket your reference number is FCGNZKOW . It will arrive by 12:23
thank()
user
Thank you for booking it .
reqmore()
system
Can I help with anything else today ?
inform((_:search,people,'5');(_:search,type,'Train'))
user
I actually need 5 tickets - all of us eating at the restaurant will be coming in on that train .
request((_:search,food,?);(_:search,type,'Restaurant')) offer((_:booking,category,'Train');(_:booking,type,'Booking')) thank()
system
OKay , I will work on booking this . In the mean time do you know what kid of food you want ?
inform((_:search,type,'Restaurant');(_:search,type,'Train'))
user
I 'm sorry , I forgot we already made your reservation for the restaurant . Let me work on that train for you .
inform((_:booking,ref,'HJ2OIWKI');(_:booking,type,'Booking'))
system
The booking of the restaurant is ready , and the reference number is : HJ2OIWKI .
thank()
user
Thank you ! I appreciate all of your help today . Have a good afternoon .
system
Thank you for using our system !
_:search area centre
_:search pricerange expensive
_:search type Restaurant
_:search area centre
_:search pricerange expensive
_:search food dontcare
_:search type Restaurant
_:search area centre
_:search pricerange expensive
_:search food dontcare
_:system offered _:booking
_:booking type Booking
_:result address at 52 mill road city centre
_:result name kymmoy
_:result type Restaurant
_:search day sunday
_:search duration 20:00
_:search people 5
_:search type Restaurant
_:search area centre
_:search pricerange expensive
_:search food dontcare
_:system offered _:booking
_:result address at 52 mill road city centre
_:result name kymmoy
_:result type Restaurant
_:search duration 20:00
_:search people 5
_:system inquired _:user
_:booking day sunday
_:booking duration 20:00
_:booking people 5
_:booking ref HJ2OIWKI
_:booking type Booking
_:search day same day
_:search destination cambridge
_:search type Train
_:search area centre
_:search pricerange expensive
_:search food dontcare
_:system offered _:booking
_:result address at 52 mill road city centre
_:result name kymmoy
_:result type Restaurant
_:search duration 20:00
_:search people 5
_:system inquired _:user
_:booking day sunday
_:booking duration 20:00
_:booking people 5
_:booking ref HJ2OIWKI
_:booking type Booking
_:search destination cambridge
_:search day ?
_:search leave_at ?
_:search arrive_by 13:45
_:search departure birmingham new street
_:search type Train
_:search area centre
_:search pricerange expensive
_:search food dontcare
_:system offered _:booking
_:result address at 52 mill road city centre
_:result name kymmoy
_:result type Restaurant
_:search duration 20:00
_:search people 5
_:system inquired _:user
_:booking day sunday
_:booking duration 20:00
_:search destination cambridge
_:search day ?
_:search leave_at ?
_:search arrive_by 13:45
_:search departure birmingham new street
_:search type Train
_:booking arrive_by 12:23
_:booking category Train
_:booking people 1
_:booking ref FCGNZKOW
_:booking type Booking
_:search area centre
_:search pricerange expensive
_:search food dontcare
_:system offered _:booking
_:result address at 52 mill road city centre
_:result name kymmoy
_:result type Restaurant
_:search duration 20:00
_:booking day sunday
_:booking duration 20:00
_:search destination cambridge
_:search day ?
_:search leave_at ?
_:search arrive_by 13:45
_:search departure birmingham new street
_:booking arrive_by 12:23
_:booking category Train
_:booking people 1
_:booking ref FCGNZKOW
_:booking type Booking
_:system inquired _:user
_:search people 5
_:search type Train
_:search area centre
_:search pricerange expensive
_:system offered _:booking
_:result address at 52 mill road city centre
_:result name kymmoy
_:result type Restaurant
_:search duration 20:00
_:booking day sunday
_:booking duration 20:00
_:search destination cambridge
_:search day ?
_:search leave_at ?
_:search arrive_by 13:45
_:search departure birmingham new street
_:booking arrive_by 12:23
_:booking category Train
_:booking people 1
_:booking ref FCGNZKOW
_:booking type Booking
_:system inquired _:user
_:search people 5
_:search food ?
_:search type Restaurant
_:search type Train
_:search area centre
_:search pricerange expensive
_:system offered _:booking
_:result address at 52 mill road city centre
_:result name kymmoy
_:result type Restaurant
_:search duration 20:00
_:booking day sunday
_:booking duration 20:00
_:search destination cambridge
_:search day ?
_:search leave_at ?
_:search arrive_by 13:45
_:search departure birmingham new street
_:booking arrive_by 12:23
_:booking category Train
_:booking people 1
_:system inquired _:user
_:search people 5
_:search food ?
_:search type Restaurant
_:search type Train
_:booking ref HJ2OIWKI
_:booking type Booking