inform((_:search,name,'la tasca');(_:search,type,'Restaurant'))
user
I 'm looking for information on la tasca .
inform((_:result,area,'centre');(_:result,food,'Spanish');(_:result,type,'Restaurant'))
system
It serves Spanish food and is located in the centre of town .
inform((_:search,day,'wednesday');(_:search,type,'Restaurant'))
user
Great !   Can I book a table for lunch Wednesday ?
request((_:booking,people,?);(_:booking,type,'Booking'))
system
How many people will be dining with you ?
inform((_:search,day,'wednesday');(_:search,duration,'12:00');(_:search,people,'4');(_:search,type,'Restaurant'))
user
I need a booking for 4 people at 12:00 on wednesday .
reqmore() inform((_:booking,ref,'PN280GZ3');(_:booking,type,'Booking'))
system
Your reservation is all set ! Your reference number is PN280GZ3 . Do you need anything else ?
inform((_:search,arrive_by,'14:30');(_:search,day,'thursday');(_:search,destination,'norwich');(_:search,type,'Train'))
user
I also need to get to Norwich on Thursday and I need to be there at or just before 14:30 .
offer((_:booking,category,'Train');(_:booking,destination,'Norwich');(_:booking,type,'Booking')) request((_:search,day,?);(_:search,leave_at,?);(_:search,type,'Train'))
system
I 'll be happy to book a train to Norwich for you .   On what day and time would you like to travel ?
inform((_:search,arrive_by,'14:30');(_:search,day,'thursday');(_:search,departure,'cambridge');(_:search,type,'Train'))
user
Well , Thursday .   Have to get there from Cambridge by 14:30 .
select((_:result,type,'Train')) offer((_:booking,arrive_by,'13:55');(_:booking,category,'Train');(_:booking,day,'thursday');(_:booking,departure,'cambridge');(_:booking,destination,'norwich');(_:booking,id,'TR1530');(_:booking,leave_at,'12:36');(_:booking,type,'Booking'))
system
I have found TR1530 that leaves cambridge on thursday at 12:36 and arrives in norwich at 13:55 .   Can I book a seat on this train for you ?
request((_:result,duration,?);(_:result,type,'Train'))
user
No thank you , I just need the travel time .
inform((_:result,duration,'79 minutes');(_:result,type,'Train')) reqmore() thank()
system
Okay ! Travel time is 79 minutes . Can I help you with anything else ?
user
No that 's all you can help me with .
system
Have a great day !
_:search name la tasca
_:search type Restaurant
_:search name la tasca
_:result area centre
_:result food Spanish
_:result type Restaurant
_:search day wednesday
_:search type Restaurant
_:search name la tasca
_:result area centre
_:result food Spanish
_:result type Restaurant
_:booking people ?
_:booking type Booking
_:search day wednesday
_:search duration 12:00
_:search people 4
_:search type Restaurant
_:search name la tasca
_:result area centre
_:result food Spanish
_:result type Restaurant
_:booking people ?
_:search duration 12:00
_:search people 4
_:system inquired _:user
_:booking ref PN280GZ3
_:booking type Booking
_:search arrive_by 14:30
_:search day thursday
_:search destination norwich
_:search type Train
_:search name la tasca
_:result area centre
_:result food Spanish
_:result type Restaurant
_:booking people ?
_:search duration 12:00
_:search people 4
_:system inquired _:user
_:booking ref PN280GZ3
_:booking type Booking
_:search destination norwich
_:system offered _:booking
_:booking category Train
_:booking destination Norwich
_:search leave_at ?
_:search arrive_by 14:30
_:search day thursday
_:search departure cambridge
_:search type Train
_:search name la tasca
_:result area centre
_:result food Spanish
_:booking people ?
_:search duration 12:00
_:search people 4
_:system inquired _:user
_:booking ref PN280GZ3
_:booking type Booking
_:search destination norwich
_:system offered _:booking
_:booking category Train
_:booking destination Norwich
_:search leave_at ?
_:search arrive_by 14:30
_:search day thursday
_:search departure cambridge
_:search type Train
_:result type Train
_:booking arrive_by 13:55
_:booking day thursday
_:booking departure cambridge
_:booking destination norwich
_:booking id TR1530
_:booking leave_at 12:36
_:result duration ?
_:search name la tasca
_:result area centre
_:result food Spanish
_:booking people ?
_:search duration 12:00
_:search people 4
_:booking ref PN280GZ3
_:booking type Booking
_:search destination norwich
_:system offered _:booking
_:booking category Train
_:booking destination Norwich
_:search leave_at ?
_:search arrive_by 14:30
_:search day thursday
_:search departure cambridge
_:search type Train
_:booking arrive_by 13:55
_:booking day thursday
_:booking departure cambridge
_:booking destination norwich
_:booking id TR1530
_:booking leave_at 12:36
_:result duration 79 minutes
_:result type Train
_:system inquired _:user