inform((_:search,name,'funky fun house');(_:search,type,'Attraction'))
user
Can you help me find the funky fun house ?
inform((_:result,address,'8 Mercers Row , Mercers Row industrial estate');(_:result,name,'Funky Fun House');(_:result,type,'Attraction'))
system
The Funky Fun House is located at 8 Mercers Row , Mercers Row industrial estate . Would you like the phone number ?
request((_:result,area,?);(_:result,postcode,?);(_:result,type,'Attraction'))
user
Please give me their postcode , and the area of town they are located in .
reqmore() inform((_:result,area,'East');(_:result,postcode,'cb58hy');(_:result,type,'Attraction'))
system
It 's on the East side and the postcode is cb58hy . Is there anything else I can help you with ?
inform((_:search,area,'centre');(_:search,food,'korean');(_:search,type,'Restaurant'))
user
I would like a place to eat in the centre and should serve korean food .
offer((_:booking,type,'Booking')) inform((_:result,name,'Little Seoul');(_:result,type,'Restaurant'))
system
I would recommend Little Seoul . Would you like to make a reservation ?
user
Yes , can you please do that for me .
request((_:booking,day,?);(_:booking,type,'Booking'))
system
What day should the reservation be on ?
inform((_:search,day,'monday');(_:search,duration,'20:00');(_:search,people,'one');(_:search,type,'Restaurant'))
user
Monday , at 20:00 for one person please .
reqmore() inform((_:booking,ref,'W98YEY49');(_:booking,type,'Booking'))
system
Your reference number is W98YEY49 , is there anything else you need ?
thank()
user
No , actually you took care of everything . Thanks so much . Goodbye .
system
Enjoy your stay in Cambridge !
_:search name funky fun house
_:search type Attraction
_:search name funky fun house
_:search type Attraction
_:result address 8 Mercers Row , Mercers Row industrial estate
_:result name Funky Fun House
_:result type Attraction
_:result area ?
_:result postcode ?
_:search name funky fun house
_:result address 8 Mercers Row , Mercers Row industrial estate
_:result name Funky Fun House
_:system inquired _:user
_:result area East
_:result postcode cb58hy
_:result type Attraction
_:search area centre
_:search food korean
_:search type Restaurant
_:search name funky fun house
_:result address 8 Mercers Row , Mercers Row industrial estate
_:system inquired _:user
_:result area East
_:result postcode cb58hy
_:search area centre
_:search food korean
_:search type Restaurant
_:system offered _:booking
_:booking type Booking
_:result name Little Seoul
_:result type Restaurant
_:search name funky fun house
_:result address 8 Mercers Row , Mercers Row industrial estate
_:system inquired _:user
_:result area East
_:result postcode cb58hy
_:search area centre
_:search food korean
_:system offered _:booking
_:result name Little Seoul
_:result type Restaurant
_:booking day ?
_:booking type Booking
_:search day monday
_:search duration 20:00
_:search people one
_:search type Restaurant
_:search name funky fun house
_:result address 8 Mercers Row , Mercers Row industrial estate
_:result area East
_:result postcode cb58hy
_:search area centre
_:search food korean
_:system offered _:booking
_:result name Little Seoul
_:result type Restaurant
_:booking day ?
_:search day monday
_:search duration 20:00
_:search people one
_:search type Restaurant
_:system inquired _:user
_:booking ref W98YEY49
_:booking type Booking