inform((_:search,area,'centre');(_:search,pricerange,'moderate');(_:search,type,'Restaurant'))
user
Can you find me a restaurant in the centre with moderate prices ?
inform((_:result,count,'21');(_:result,type,'Restaurant'))
system
Yes there are 21 different places that match your description .
user
Surprise me .
inform((_:result,food,'british');(_:result,name,'cotto');(_:result,pricerange,'moderately priced');(_:result,type,'Restaurant'))
system
How about cotto ? It 's a moderately priced british restaurant .
inform((_:search,day,'monday');(_:search,duration,'15:45');(_:search,people,'7');(_:search,type,'Restaurant'))
user
Yes please book a table for 7 people at 15:45 on monday
reqmore() inform((_:booking,day,'Monday');(_:booking,duration,'15:45');(_:booking,name,'Cotto');(_:booking,people,'7');(_:booking,ref,'BNH1DKPW');(_:booking,type,'Booking'))
system
OK , you have a table for 7 at Cotto on Monday at 15:45 . Your reference number is BNH1DKPW . Can I help with anything else today ?
inform((_:search,arrive_by,'12:00');(_:search,day,'the day of my reservation');(_:search,departure,'birmingham new street');(_:search,destination,'cambridge');(_:search,type,'Train'))
user
I am looking for a train to pick me up at Birmingham New Street and arrive in Cambridge before 12:00 on the day of my reservation .
offer((_:booking,arrive_by,'11:23');(_:booking,category,'Train');(_:booking,destination,'Cambridge');(_:booking,id,'TR6309');(_:booking,leave_at,'8:40');(_:booking,type,'Booking')) request((_:search,people,?);(_:search,type,'Train'))
system
I can book train TR6309 for you , leaving 8:40 and arriving at 11:23 in Cambridge . How many tickets do you need ?
inform((_:search,people,'7');(_:search,type,'Train')) request((_:result,ref,?);(_:result,type,'Train'))
user
I will need 7 tickets . And can you please provide me with the reference number please ?
reqmore() inform((_:booking,category,'Train');(_:booking,people,'7');(_:booking,ref,'CGILQN2G');(_:booking,type,'Booking'))
system
i have booked you 7 tickets and the reference number is CGILQN2G . is there anything i can help you with ?
thank()
user
Thank you . That is all for now .
system
Thank you for using our service . Have a wonderful day !
_:search area centre
_:search pricerange moderate
_:search type Restaurant
_:search area centre
_:search pricerange moderate
_:search type Restaurant
_:result count 21
_:result type Restaurant
_:search area centre
_:search pricerange moderate
_:result count 21
_:result food british
_:result name cotto
_:result pricerange moderately priced
_:result type Restaurant
_:search day monday
_:search duration 15:45
_:search people 7
_:search type Restaurant
_:search area centre
_:search pricerange moderate
_:result count 21
_:result food british
_:result name cotto
_:result pricerange moderately priced
_:result type Restaurant
_:search duration 15:45
_:search people 7
_:system inquired _:user
_:booking day Monday
_:booking duration 15:45
_:booking name Cotto
_:booking people 7
_:booking ref BNH1DKPW
_:booking type Booking
_:search arrive_by 12:00
_:search day the day of my reservation
_:search departure birmingham new street
_:search destination cambridge
_:search type Train
_:search area centre
_:search pricerange moderate
_:result count 21
_:result food british
_:result name cotto
_:result pricerange moderately priced
_:result type Restaurant
_:search duration 15:45
_:system inquired _:user
_:booking day Monday
_:booking duration 15:45
_:booking name Cotto
_:booking people 7
_:booking ref BNH1DKPW
_:booking type Booking
_:search arrive_by 12:00
_:search day the day of my reservation
_:search departure birmingham new street
_:search destination cambridge
_:system offered _:booking
_:booking arrive_by 11:23
_:booking category Train
_:booking destination Cambridge
_:booking id TR6309
_:booking leave_at 8:40
_:search people 7
_:search type Train
_:result ref ?
_:result type Train
_:search area centre
_:search pricerange moderate
_:result count 21
_:result food british
_:result name cotto
_:result pricerange moderately priced
_:result type Restaurant
_:search duration 15:45
_:booking day Monday
_:booking duration 15:45
_:booking name Cotto
_:search arrive_by 12:00
_:search day the day of my reservation
_:search departure birmingham new street
_:search destination cambridge
_:system offered _:booking
_:booking arrive_by 11:23
_:booking destination Cambridge
_:booking id TR6309
_:booking leave_at 8:40
_:search people 7
_:search type Train
_:result ref ?
_:result type Train
_:system inquired _:user
_:booking category Train
_:booking people 7
_:booking ref CGILQN2G
_:booking type Booking