inform((_:search,area,'west');(_:search,food,'vietnamese');(_:search,type,'Restaurant'))
user
I 'm looking for a vietnamese restaurant in the west area .
inform((_:result,address,'17 Magdalene Street City Centre');(_:result,area,'west');(_:result,food,'vietnamese');(_:result,name,'thanh binh');(_:result,type,'Restaurant'))
system
thanh binh is a vietnamese restaurant in the west area.17 Magdalene Street City Centre
inform((_:search,pricerange,'cheap');(_:search,type,'Restaurant'))
user
Is this in the cheap price range ?
inform((_:result,count,'1');(_:result,name,'thanh binh');(_:result,pricerange,'cheap');(_:result,type,'Restaurant'))
system
I have one listing in the cheap range for thanh binh .
user
Would it be possible to make a reservation ?
request((_:booking,day,?);(_:booking,duration,?);(_:booking,people,?);(_:booking,type,'Booking')) thank()
system
I 'd love to help . How many people and what day and time ?
inform((_:search,day,'monday');(_:search,duration,'18:15');(_:search,people,'1');(_:search,type,'Restaurant'))
user
I need it for 1 for 18:15 on Monday .
inform((_:booking,day,'monday');(_:booking,duration,'18:15');(_:booking,name,'thanh binh');(_:booking,people,'1');(_:booking,ref,'LRUWVEYZ');(_:booking,type,'Booking'))
system
Your table for 1 at thanh binh this monday at 18:15 was successful . The table will be reserved for 15 minutes . Your Reference number is : LRUWVEYZ .
inform((_:search,name,'kirkwood house');(_:search,type,'Hotel'))
user
Can I also get some information on Kirkwood House hotel ?
inform((_:result,area,'north');(_:result,category,'guesthouse');(_:result,has_internet,'none');(_:result,has_parking,'none');(_:result,name,'Kirkwood House');(_:result,pricerange,'moderate');(_:result,stars,'4');(_:result,type,'Hotel'))
system
The Kirkwood House is a 4 star guesthouse in the north part of town . It is of moderate price range and includes internet and parking .
request((_:result,phone,?);(_:result,type,'Hotel'))
user
Sounds perfect .   What is the phone number please ?
inform((_:result,phone,'01223306283');(_:result,type,'Hotel')) reqmore()
system
their phone number is 01223306283 . what else could you love to know about them ?
thank()
user
That 's actually all I need to know about them . Thanks . I do n't need anything else today .
system
you are welcome . enjoy !
_:search area west
_:search food vietnamese
_:search type Restaurant
_:search area west
_:search food vietnamese
_:result address 17 Magdalene Street City Centre
_:result area west
_:result food vietnamese
_:result name thanh binh
_:result type Restaurant
_:search pricerange cheap
_:search type Restaurant
_:search area west
_:search food vietnamese
_:result address 17 Magdalene Street City Centre
_:result area west
_:result food vietnamese
_:search pricerange cheap
_:search type Restaurant
_:result count 1
_:result name thanh binh
_:result pricerange cheap
_:result type Restaurant
_:search area west
_:search food vietnamese
_:result address 17 Magdalene Street City Centre
_:result area west
_:result food vietnamese
_:search pricerange cheap
_:result count 1
_:result name thanh binh
_:result pricerange cheap
_:result type Restaurant
_:booking day ?
_:booking duration ?
_:booking people ?
_:booking type Booking
_:search day monday
_:search duration 18:15
_:search people 1
_:search type Restaurant
_:search area west
_:search food vietnamese
_:result address 17 Magdalene Street City Centre
_:result area west
_:result food vietnamese
_:search pricerange cheap
_:result count 1
_:result name thanh binh
_:result pricerange cheap
_:result type Restaurant
_:search day monday
_:search duration 18:15
_:search people 1
_:booking day monday
_:booking duration 18:15
_:booking name thanh binh
_:booking people 1
_:booking ref LRUWVEYZ
_:booking type Booking
_:search name kirkwood house
_:search type Hotel
_:search area west
_:search food vietnamese
_:result address 17 Magdalene Street City Centre
_:result food vietnamese
_:search pricerange cheap
_:result count 1
_:search day monday
_:search duration 18:15
_:search people 1
_:booking day monday
_:booking duration 18:15
_:booking name thanh binh
_:booking people 1
_:booking ref LRUWVEYZ
_:booking type Booking
_:search name kirkwood house
_:search type Hotel
_:result area north
_:result category guesthouse
_:result has_internet none
_:result has_parking none
_:result name Kirkwood House
_:result pricerange moderate
_:result stars 4
_:result type Hotel
_:result phone ?
_:search area west
_:search food vietnamese
_:result address 17 Magdalene Street City Centre
_:result food vietnamese
_:search pricerange cheap
_:result count 1
_:search day monday
_:search duration 18:15
_:search people 1
_:booking day monday
_:booking duration 18:15
_:booking name thanh binh
_:booking people 1
_:booking ref LRUWVEYZ
_:booking type Booking
_:search name kirkwood house
_:search type Hotel
_:result area north
_:result category guesthouse
_:result has_internet none
_:result has_parking none
_:result name Kirkwood House
_:result pricerange moderate
_:result stars 4
_:result phone 01223306283
_:result type Hotel
_:system inquired _:user