inform((_:search,type,'Train'))
user
Hi . Can you help me find a train ?
request((_:search,destination,?);(_:search,type,'Train'))
system
Where would you like to go to ?
inform((_:search,destination,'London Kings Cross');(_:search,type,'Train'))
user
I will be going to Londons Kings Crossing .
request((_:search,arrive_by,?);(_:search,day,?);(_:search,departure,?);(_:search,leave_at,?);(_:search,type,'Train'))
system
Sure , just let me get a little more information .   Where are you departing from and when did you want the booking for ?
inform((_:search,day,'friday');(_:search,departure,'cambridge');(_:search,leave_at,'16:15');(_:search,type,'Train'))
user
I need to leave friday after 16:15 from cambridge .
inform((_:result,arrive_by,'17:51');(_:result,day,'Friday');(_:result,departure,'Cambridge');(_:result,destination,'london kings cross');(_:result,id,'TR6628');(_:result,leave_at,'17:00');(_:result,type,'Train')) offer((_:booking,category,'Train');(_:booking,type,'Booking'))
system
TR6628 leaves Cambridge on Friday at 17:00 and arrives by 17:51 at london kings cross , does this suit your needs ?
inform((_:search,people,'4');(_:search,type,'Train')) request((_:result,ref,?);(_:result,type,'Train'))
user
That sounds great , I 'll need 4 seats please and a reference number .
reqmore() inform((_:booking,category,'Train');(_:booking,ref,'O4BRX03O');(_:booking,ticket,'94.4 GBP');(_:booking,type,'Booking'))
system
I 've booked that for you .   Your reference number is O4BRX03O and you 'll owe 94.4 GBP payable at the station .   Anything else I can do ?
inform((_:search,area,'east');(_:search,food,'italian');(_:search,pricerange,'dontcare');(_:search,type,'Restaurant'))
user
Yes , please . I 'm looking for an Italian restaurant in the east . Price range does n't matter .
request((_:search,area,?);(_:search,type,'Restaurant'))
system
What area would you like to be in ?
inform((_:search,area,'east');(_:search,type,'Restaurant'))
user
I want to eat in the East .
offer((_:booking,type,'Booking')) inform((_:result,count,'1');(_:result,name,'Pizza Hut Fen Ditton');(_:result,type,'Restaurant'))
system
Okay , there is one that matches . It 's the Pizza Hut Fen Ditton . Would you like me to make a reservation for you ?
request((_:result,postcode,?);(_:result,type,'Restaurant'))
user
Not at this time but can I please get their postcode ?
reqmore() inform((_:result,postcode,'cb58wr');(_:result,type,'Restaurant'))
system
Of course , the postcode is cb58wr . Is there anything else I can assist you with ?
thank()
user
No , that will do it . Thank you and goodbye !
system
Have a good visit .
_:search type Train
_:search destination London Kings Cross
_:search type Train
_:search destination London Kings Cross
_:search arrive_by ?
_:search day friday
_:search departure cambridge
_:search leave_at 16:15
_:search type Train
_:search destination London Kings Cross
_:search arrive_by ?
_:search day friday
_:search departure cambridge
_:search leave_at 16:15
_:result arrive_by 17:51
_:result day Friday
_:result departure Cambridge
_:result destination london kings cross
_:result id TR6628
_:result leave_at 17:00
_:result type Train
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:search people 4
_:search type Train
_:result ref ?
_:search destination London Kings Cross
_:search arrive_by ?
_:search day friday
_:search departure cambridge
_:search leave_at 16:15
_:result arrive_by 17:51
_:result day Friday
_:result departure Cambridge
_:result destination london kings cross
_:result id TR6628
_:result leave_at 17:00
_:result type Train
_:system offered _:booking
_:search people 4
_:result ref ?
_:system inquired _:user
_:booking category Train
_:booking ref O4BRX03O
_:booking ticket 94.4 GBP
_:booking type Booking
_:search area east
_:search food italian
_:search pricerange dontcare
_:search type Restaurant
_:search destination London Kings Cross
_:search arrive_by ?
_:search day friday
_:search departure cambridge
_:search leave_at 16:15
_:result arrive_by 17:51
_:result day Friday
_:result departure Cambridge
_:result destination london kings cross
_:result id TR6628
_:result leave_at 17:00
_:result type Train
_:system offered _:booking
_:search people 4
_:result ref ?
_:system inquired _:user
_:booking category Train
_:booking ref O4BRX03O
_:booking ticket 94.4 GBP
_:booking type Booking
_:search food italian
_:search pricerange dontcare
_:search area east
_:search type Restaurant
_:search destination London Kings Cross
_:search arrive_by ?
_:search day friday
_:search departure cambridge
_:search leave_at 16:15
_:result arrive_by 17:51
_:result day Friday
_:result departure Cambridge
_:result destination london kings cross
_:result id TR6628
_:result leave_at 17:00
_:system offered _:booking
_:search people 4
_:result ref ?
_:system inquired _:user
_:booking category Train
_:booking ref O4BRX03O
_:booking ticket 94.4 GBP
_:booking type Booking
_:search food italian
_:search pricerange dontcare
_:search area east
_:search type Restaurant
_:result count 1
_:result name Pizza Hut Fen Ditton
_:result type Restaurant
_:result postcode ?
_:search destination London Kings Cross
_:search arrive_by ?
_:search day friday
_:search departure cambridge
_:search leave_at 16:15
_:result arrive_by 17:51
_:result day Friday
_:result departure Cambridge
_:result destination london kings cross
_:result id TR6628
_:result leave_at 17:00
_:system offered _:booking
_:search people 4
_:result ref ?
_:booking category Train
_:booking ref O4BRX03O
_:booking ticket 94.4 GBP
_:booking type Booking
_:search food italian
_:search pricerange dontcare
_:search area east
_:search type Restaurant
_:result count 1
_:result name Pizza Hut Fen Ditton
_:system inquired _:user
_:result postcode cb58wr
_:result type Restaurant