inform((_:search,area,'south');(_:search,food,'portuguese');(_:search,type,'Restaurant'))
user
So I 'm interested in portuguese food . Do you know of any restaurants that serve it in the South ?
offer((_:booking,type,'Booking')) inform((_:result,name,'nandos');(_:result,type,'Restaurant'))
system
nandos is is a nice place . Do you want to book ?
inform((_:search,day,'wednesday');(_:search,duration,'19:30');(_:search,people,'5');(_:search,type,'Restaurant'))
user
Yes , please . 5 people at 19:30 on wednesday .
inform((_:booking,ref,'J1DOHU0T');(_:booking,type,'Booking'))
system
I 've made the reservation and your reference number is J1DOHU0T .
inform((_:search,arrive_by,'12:30');(_:search,departure,'london kings cross');(_:search,type,'Train'))
user
Great I am also looking to get a train from london kings cross that will arrive by 12:30
request((_:search,day,?);(_:search,type,'Train'))
system
I would be happy to help you with that . What day are you traveling ?
inform((_:search,day,'wednesday');(_:search,type,'Train'))
user
I will be traveling on Wednesday .
inform((_:result,count,'4');(_:result,type,'Train')) request((_:search,people,?);(_:search,type,'Train'))
system
I have 4 different trains that will meet your needs .   Will you be traveling alone or with a group ?
inform((_:search,people,'1');(_:search,type,'Train'))
user
I 'm traveling alone , can you tell me how much the train fare costs ?
inform((_:result,ticket,'23.60 pounds');(_:result,type,'Train')) offer((_:booking,category,'Train');(_:booking,type,'Booking'))
system
The cost per ticket is 23.60 pounds . Would you like me to book a train for you ?
inform((_:search,arrive_by,'12:30');(_:search,day,'wednesday');(_:search,destination,'cambridge');(_:search,type,'Train'))
user
Yes please book me on the train that arrives in Cambridge on Wednesday as closest to 12:30 .
reqmore() inform((_:booking,category,'Train');(_:booking,departure,'London Kings Cross');(_:booking,leave_at,'11:17');(_:booking,ref,'IDCU3WFU');(_:booking,ticket,'23.6 Pounds');(_:booking,type,'Booking'))
system
Done ! Your train leaves London Kings Cross at 11:17 . Please pay 23.6 Pounds at the station . Your reference number is IDCU3WFU . Can I help you with anything else ?
inform((_:search,arrive_by,'12:30');(_:search,destination,'cambridge');(_:search,type,'Train'))
user
Thank you . I also need a train to to arrive in Cambridge by 12:30 .
offer((_:booking,category,'Train');(_:booking,type,'Booking')) inform((_:booking,category,'Train');(_:booking,type,'Booking'))
system
I have booked you on one . Would you like a second train ?
user
Opps no , that was an error on my part . I wo n't be needing anything else .
system
Ok , thanks for using our service . Have a great day !
_:search area south
_:search food portuguese
_:search type Restaurant
_:search area south
_:search food portuguese
_:system offered _:booking
_:booking type Booking
_:result name nandos
_:result type Restaurant
_:search day wednesday
_:search duration 19:30
_:search people 5
_:search type Restaurant
_:search area south
_:search food portuguese
_:system offered _:booking
_:result name nandos
_:result type Restaurant
_:search day wednesday
_:search duration 19:30
_:search people 5
_:booking ref J1DOHU0T
_:booking type Booking
_:search arrive_by 12:30
_:search departure london kings cross
_:search type Train
_:search area south
_:search food portuguese
_:system offered _:booking
_:result name nandos
_:result type Restaurant
_:search duration 19:30
_:search people 5
_:booking ref J1DOHU0T
_:booking type Booking
_:search arrive_by 12:30
_:search departure london kings cross
_:search day wednesday
_:search type Train
_:search area south
_:search food portuguese
_:system offered _:booking
_:result name nandos
_:search duration 19:30
_:booking ref J1DOHU0T
_:booking type Booking
_:search arrive_by 12:30
_:search departure london kings cross
_:search day wednesday
_:result count 4
_:result type Train
_:search people 1
_:search type Train
_:search area south
_:search food portuguese
_:system offered _:booking
_:result name nandos
_:search duration 19:30
_:booking ref J1DOHU0T
_:booking type Booking
_:search departure london kings cross
_:result count 4
_:search people 1
_:result ticket 23.60 pounds
_:result type Train
_:booking category Train
_:search arrive_by 12:30
_:search day wednesday
_:search destination cambridge
_:search type Train
_:search area south
_:search food portuguese
_:system offered _:booking
_:result name nandos
_:search duration 19:30
_:search departure london kings cross
_:result count 4
_:search people 1
_:result ticket 23.60 pounds
_:result type Train
_:search day wednesday
_:system inquired _:user
_:booking category Train
_:booking departure London Kings Cross
_:booking leave_at 11:17
_:booking ref IDCU3WFU
_:booking ticket 23.6 Pounds
_:booking type Booking
_:search arrive_by 12:30
_:search destination cambridge
_:search type Train
_:search area south
_:search food portuguese
_:system offered _:booking
_:result name nandos
_:search duration 19:30
_:search departure london kings cross
_:result count 4
_:search people 1
_:result ticket 23.60 pounds
_:result type Train
_:search day wednesday
_:system inquired _:user
_:booking departure London Kings Cross
_:booking leave_at 11:17
_:booking ref IDCU3WFU
_:booking ticket 23.6 Pounds
_:search arrive_by 12:30
_:search destination cambridge
_:search type Train
_:booking category Train
_:booking type Booking