inform((_:search,area,'centre');(_:search,food,'chinese');(_:search,type,'Restaurant'))
user
Is there a Chinese restaurant in the city centre ?
request((_:search,pricerange,?);(_:search,type,'Restaurant'))
system
What price range do you want to be in ?
inform((_:search,pricerange,'cheap');(_:search,type,'Restaurant'))
user
I want something that is not too cheap .
select((_:result,name,'Ian hong house');(_:result,name,'jinling noodle bar');(_:result,name,'shanghai family restaurant');(_:result,type,'Restaurant')) inform((_:result,area,'centre');(_:result,count,'3');(_:result,food,'chinese');(_:result,type,'Restaurant'))
system
There are 3 restaurants serving chinese food in the centre , jinling noodle bar ,   Ian hong house and shanghai family restaurant . Which one would you like ?
inform((_:search,name,'jinling noodle bar');(_:search,type,'Restaurant')) request((_:result,postcode,?);(_:result,pricerange,?);(_:result,type,'Restaurant'))
user
Let 's try the Jinling Noodle Bar .   Could you get me the postcode and price range for it ?
inform((_:result,postcode,'cb23pp');(_:result,pricerange,'moderate');(_:result,type,'Restaurant')) reqmore()
system
Postcode , cb23pp . It is in the moderate price range . Is there anything else you would like to know ?
inform((_:search,day,'tuesday');(_:search,type,'Train'))
user
I will also need a train on Tuesday .
inform((_:result,amount,'many');(_:result,type,'Train')) request((_:search,departure,?);(_:search,destination,?);(_:search,leave_at,?);(_:search,type,'Train'))
system
There are many trains available . Where are you going and do you have a preference on when you leave ?
inform((_:search,day,'tuesday');(_:search,departure,'ely');(_:search,leave_at,'16:45');(_:search,people,'1');(_:search,type,'Train')) request((_:result,ref,?);(_:result,type,'Train'))
user
I 'm leaving from ely on Tuesday after 16:45 . I 'd like to book for 1 and need the reference number please .
offer((_:booking,category,'Train');(_:booking,departure,'Ely');(_:booking,destination,'Cambridge');(_:booking,type,'Booking')) request((_:search,departure,?);(_:search,destination,?);(_:search,type,'Train'))
system
I can book that for you , but I need to first confirm that you are going from Ely to Cambridge ?
inform((_:search,day,'tuesday');(_:search,departure,'Ely');(_:search,destination,'Cambridge');(_:search,leave_at,'16:45');(_:search,people,'one');(_:search,type,'Train'))
user
Yes , that 's correct . Ely to Cambridge on Tuesday , for one person , and it needs to leave sometime after 16:45 .
inform((_:booking,category,'Train');(_:booking,id,'TR1431');(_:booking,ref,'ACJH1DDI');(_:booking,ticket,'4.4 GBP');(_:booking,type,'Booking'))
system
Booking was successful for TR1431 , the total fee is 4.4 GBP payable at the station , reference number is ACJH1DDI .
thank()
user
Okay thank you so much for your help .
reqmore()
system
Do you need help with anything else ?
thank()
user
I 'm good , thanks for your help !
system
Glad I could help !
_:search area centre
_:search food chinese
_:search type Restaurant
_:search area centre
_:search food chinese
_:search pricerange cheap
_:search type Restaurant
_:search area centre
_:search food chinese
_:search pricerange cheap
_:result name Ian hong house
_:result name jinling noodle bar
_:result name shanghai family restaurant
_:result area centre
_:result count 3
_:result food chinese
_:result type Restaurant
_:search name jinling noodle bar
_:search type Restaurant
_:result postcode ?
_:result pricerange ?
_:search area centre
_:search food chinese
_:search pricerange cheap
_:result name Ian hong house
_:result name jinling noodle bar
_:result name shanghai family restaurant
_:result area centre
_:result count 3
_:result food chinese
_:search name jinling noodle bar
_:result postcode cb23pp
_:result pricerange moderate
_:result type Restaurant
_:system inquired _:user
_:search day tuesday
_:search type Train
_:search area centre
_:search food chinese
_:search pricerange cheap
_:result name Ian hong house
_:result name jinling noodle bar
_:result name shanghai family restaurant
_:result area centre
_:result count 3
_:result food chinese
_:search name jinling noodle bar
_:result postcode cb23pp
_:result pricerange moderate
_:system inquired _:user
_:result amount many
_:result type Train
_:search destination ?
_:search day tuesday
_:search departure ely
_:search leave_at 16:45
_:search people 1
_:search type Train
_:result ref ?
_:search area centre
_:search food chinese
_:search pricerange cheap
_:result name Ian hong house
_:result name jinling noodle bar
_:result name shanghai family restaurant
_:result area centre
_:result count 3
_:result food chinese
_:search name jinling noodle bar
_:result postcode cb23pp
_:result pricerange moderate
_:system inquired _:user
_:result amount many
_:result type Train
_:result ref ?
_:system offered _:booking
_:booking category Train
_:booking departure Ely
_:booking destination Cambridge
_:booking type Booking
_:search day tuesday
_:search departure Ely
_:search destination Cambridge
_:search leave_at 16:45
_:search people one
_:search type Train
_:search area centre
_:search food chinese
_:search pricerange cheap
_:result name Ian hong house
_:result name jinling noodle bar
_:result name shanghai family restaurant
_:result area centre
_:result count 3
_:result food chinese
_:search name jinling noodle bar
_:result postcode cb23pp
_:result pricerange moderate
_:system inquired _:user
_:result amount many
_:result type Train
_:result ref ?
_:system offered _:booking
_:booking departure Ely
_:booking destination Cambridge
_:search day tuesday
_:search departure Ely
_:search destination Cambridge
_:search leave_at 16:45
_:search people one
_:search type Train
_:booking category Train
_:booking id TR1431
_:booking ref ACJH1DDI
_:booking ticket 4.4 GBP
_:booking type Booking
_:search area centre
_:search food chinese
_:search pricerange cheap
_:result name Ian hong house
_:result name jinling noodle bar
_:result name shanghai family restaurant
_:result area centre
_:result count 3
_:result food chinese
_:search name jinling noodle bar
_:result postcode cb23pp
_:result pricerange moderate
_:result amount many
_:result type Train
_:result ref ?
_:system offered _:booking
_:booking departure Ely
_:booking destination Cambridge
_:search day tuesday
_:search departure Ely
_:search destination Cambridge
_:search leave_at 16:45
_:search people one
_:search type Train
_:booking category Train
_:booking id TR1431
_:booking ref ACJH1DDI
_:booking ticket 4.4 GBP
_:booking type Booking
_:system inquired _:user