inform((_:search,area,'centre');(_:search,pricerange,'expensive');(_:search,type,'Restaurant'))
user
I 'm trying to find an expensive restaurant in the centre part of town .
offer((_:booking,type,'Booking')) inform((_:result,area,'centre');(_:result,name,'Cambridge Chop House');(_:result,pricerange,'expensive');(_:result,type,'Restaurant'))
system
The Cambridge Chop House is an good expensive restaurant in the centre of town . Would you like me to book it for you ?
inform((_:search,day,'sunday');(_:search,duration,'16:15');(_:search,people,'1');(_:search,type,'Restaurant')) request((_:result,ref,?);(_:result,type,'Restaurant'))
user
Yes , a table for 1 at 16:15 on sunday .   I need the reference number .
inform((_:booking,ref,'NKLSHT8G');(_:booking,type,'Booking'))
system
Great your reference number is NKLSHT8G
inform((_:search,departure,'leicester');(_:search,destination,'cambridge');(_:search,type,'Train'))
user
Could you help me find a train to Cambridge from Leicester please ?
request((_:search,day,?);(_:search,type,'Train'))
system
What day would you like me to book your train for ?
inform((_:search,arrive_by,'12:45');(_:search,day,'sunday');(_:search,destination,'leicester');(_:search,type,'Train'))
user
I am leaving on Sunday and I need to arrive by 12:45 in leicester .
inform((_:result,count,'6');(_:result,leave_at,'05:09');(_:result,leave_at,'10:09');(_:result,leave_at,'hourly at 9 minutes past the hour');(_:result,type,'Train')) offer((_:booking,category,'Train');(_:booking,type,'Booking'))
system
I have 6 trains leaving hourly at 9 minutes past the hour between 05:09 and 10:09 . Would you like to book one of these ?
request((_:result,id,?);(_:result,type,'Train'))
user
Can you give me the Train ID of the one departing at 10:09 ?
inform((_:result,id,'TR1744');(_:result,type,'Train'))
system
The number is TR1744 .
request((_:result,leave_at,?);(_:result,type,'Train'))
user
Ok , great . Could you just confirm that departure time ?
inform((_:result,leave_at,'10:09');(_:result,type,'Train'))
system
The train will depart at 10:09 .
thank()
user
Thanks , that is all I need . Have a nice day .
system
You 're welcome , have a great day .
_:search area centre
_:search pricerange expensive
_:search type Restaurant
_:search area centre
_:search pricerange expensive
_:system offered _:booking
_:booking type Booking
_:result area centre
_:result name Cambridge Chop House
_:result pricerange expensive
_:result type Restaurant
_:search day sunday
_:search duration 16:15
_:search people 1
_:search type Restaurant
_:result ref ?
_:search area centre
_:search pricerange expensive
_:system offered _:booking
_:result area centre
_:result name Cambridge Chop House
_:result pricerange expensive
_:result type Restaurant
_:search day sunday
_:search duration 16:15
_:search people 1
_:result ref ?
_:booking ref NKLSHT8G
_:booking type Booking
_:search departure leicester
_:search destination cambridge
_:search type Train
_:search area centre
_:search pricerange expensive
_:system offered _:booking
_:result area centre
_:result name Cambridge Chop House
_:result pricerange expensive
_:result type Restaurant
_:search duration 16:15
_:search people 1
_:result ref ?
_:booking ref NKLSHT8G
_:booking type Booking
_:search departure leicester
_:search arrive_by 12:45
_:search day sunday
_:search destination leicester
_:search type Train
_:search area centre
_:search pricerange expensive
_:system offered _:booking
_:result area centre
_:result name Cambridge Chop House
_:result pricerange expensive
_:search duration 16:15
_:search people 1
_:result ref ?
_:booking ref NKLSHT8G
_:booking type Booking
_:search departure leicester
_:search arrive_by 12:45
_:search day sunday
_:search destination leicester
_:search type Train
_:result count 6
_:result leave_at 05:09
_:result leave_at 10:09
_:result leave_at hourly at 9 minutes past the hour
_:result type Train
_:booking category Train
_:result id ?
_:search area centre
_:search pricerange expensive
_:system offered _:booking
_:result area centre
_:result name Cambridge Chop House
_:result pricerange expensive
_:search duration 16:15
_:search people 1
_:result ref ?
_:booking ref NKLSHT8G
_:booking type Booking
_:search departure leicester
_:search arrive_by 12:45
_:search day sunday
_:search destination leicester
_:search type Train
_:result count 6
_:result leave_at 05:09
_:result leave_at 10:09
_:result leave_at hourly at 9 minutes past the hour
_:booking category Train
_:result id TR1744
_:result type Train
_:result leave_at ?
_:search area centre
_:search pricerange expensive
_:system offered _:booking
_:result area centre
_:result name Cambridge Chop House
_:result pricerange expensive
_:search duration 16:15
_:search people 1
_:result ref ?
_:booking ref NKLSHT8G
_:booking type Booking
_:search departure leicester
_:search arrive_by 12:45
_:search day sunday
_:search destination leicester
_:search type Train
_:result count 6
_:booking category Train
_:result id TR1744
_:result leave_at 10:09
_:result type Train