inform((_:search,pricerange,'expensive');(_:search,type,'Restaurant'))
user
Hi , I need an expensive restaurant please .
request((_:search,food,?);(_:search,type,'Restaurant')) inform((_:result,amount,'quite a few');(_:result,pricerange,'expensive');(_:result,type,'Restaurant'))
system
There are quite a few expensive restaurants in the city ! Can you help me specify by telling me what kind of food you 'd like to try ?
inform((_:search,day,'sunday');(_:search,duration,'15:30');(_:search,food,'dontcare');(_:search,people,'5');(_:search,type,'Restaurant'))
user
I do not care the kind . Please pick one and book it for 5 people at 15:30 on sunday .
canthelp((_:booking,type,'Booking')) request((_:booking,day,?);(_:booking,duration,?);(_:booking,type,'Booking'))
system
Booking was unsuccessful . Do you have a different time or day ?
inform((_:search,duration,'14:30');(_:search,type,'Restaurant'))
user
Yes , lets try 14:30 please .
inform((_:booking,duration,'14:30');(_:booking,name,'Saigon City');(_:booking,ref,'DGMG8RF8');(_:booking,type,'Booking'))
system
You have a table at Saigon City at 14:30 . DGMG8RF8 is your reference number .
inform((_:search,departure,'cambridge');(_:search,leave_at,'16:45');(_:search,type,'Train'))
user
Thanks !   Could you also give me info on trains leaving after 16:45 from Cambridge .
select((_:result,day,'Sunday');(_:result,type,'Train')) request((_:search,destination,?);(_:search,type,'Train')) thank()
system
Sure .   Are you looking for a train on Sunday as well ?   And , what is your destination ?
inform((_:search,day,'monday');(_:search,destination,'birmingham new street');(_:search,type,'Train'))
user
I need one for monday to go to birmingham new street .
inform((_:result,arrive_by,'19:44');(_:result,departure,'Cambridge');(_:result,destination,'Birmingham New Street');(_:result,id,'TR7728');(_:result,leave_at,'17:01');(_:result,type,'Train'))
system
I would suggest train ID TR7728 which departs Cambridge at 17:01 and arrives at Birmingham New Street at 19:44 .
inform((_:search,people,'5');(_:search,type,'Train'))
user
That would be good , can I get tickets for 5 people ?
inform((_:booking,category,'Train');(_:booking,people,'5');(_:booking,ref,'LU2SUOW2');(_:booking,type,'Booking'))
system
Yes , I 've booked 5 tickets for you .   Your reference number is LU2SUOW2 .
thank()
user
Thank you very much , lovely day to you .
reqmore()
system
Is there anything else I can assist you with today ?
bye()
user
No , I think that is all . Bye .
system
Thank you for using our system today !
_:search pricerange expensive
_:search type Restaurant
_:search pricerange expensive
_:result amount quite a few
_:result pricerange expensive
_:result type Restaurant
_:search day sunday
_:search duration 15:30
_:search food dontcare
_:search people 5
_:search type Restaurant
_:search pricerange expensive
_:result amount quite a few
_:result pricerange expensive
_:result type Restaurant
_:search day sunday
_:search food dontcare
_:search people 5
_:system canthelp _:booking/ccff9a90
_:booking/ccff9a90 type Booking
_:booking day ?
_:booking duration ?
_:booking type Booking
_:search duration 14:30
_:search type Restaurant
_:search pricerange expensive
_:result amount quite a few
_:result pricerange expensive
_:result type Restaurant
_:search day sunday
_:search food dontcare
_:search people 5
_:system canthelp _:booking/ccff9a90
_:booking/ccff9a90 type Booking
_:booking day ?
_:search duration 14:30
_:booking duration 14:30
_:booking name Saigon City
_:booking ref DGMG8RF8
_:booking type Booking
_:search departure cambridge
_:search leave_at 16:45
_:search type Train
_:search pricerange expensive
_:result amount quite a few
_:result pricerange expensive
_:search food dontcare
_:search people 5
_:system canthelp _:booking/ccff9a90
_:booking/ccff9a90 type Booking
_:booking day ?
_:search duration 14:30
_:booking duration 14:30
_:booking name Saigon City
_:booking ref DGMG8RF8
_:booking type Booking
_:search departure cambridge
_:search leave_at 16:45
_:result day Sunday
_:result type Train
_:search day monday
_:search destination birmingham new street
_:search type Train
_:search pricerange expensive
_:result amount quite a few
_:result pricerange expensive
_:search food dontcare
_:system canthelp _:booking/ccff9a90
_:booking/ccff9a90 type Booking
_:booking day ?
_:search duration 14:30
_:booking duration 14:30
_:booking name Saigon City
_:booking ref DGMG8RF8
_:booking type Booking
_:search departure cambridge
_:search leave_at 16:45
_:result day Sunday
_:search day monday
_:search destination birmingham new street
_:result arrive_by 19:44
_:result departure Cambridge
_:result destination Birmingham New Street
_:result id TR7728
_:result leave_at 17:01
_:result type Train
_:search people 5
_:search type Train
_:search pricerange expensive
_:result amount quite a few
_:result pricerange expensive
_:search food dontcare
_:system canthelp _:booking/ccff9a90
_:booking/ccff9a90 type Booking
_:booking day ?
_:search duration 14:30
_:booking duration 14:30
_:booking name Saigon City
_:search departure cambridge
_:search leave_at 16:45
_:result day Sunday
_:search day monday
_:search destination birmingham new street
_:result arrive_by 19:44
_:result departure Cambridge
_:result destination Birmingham New Street
_:result id TR7728
_:result leave_at 17:01
_:result type Train
_:search people 5
_:search type Train
_:booking category Train
_:booking people 5
_:booking ref LU2SUOW2
_:booking type Booking
_:search pricerange expensive
_:result amount quite a few
_:result pricerange expensive
_:search food dontcare
_:system canthelp _:booking/ccff9a90
_:booking/ccff9a90 type Booking
_:booking day ?
_:search duration 14:30
_:booking duration 14:30
_:booking name Saigon City
_:search departure cambridge
_:search leave_at 16:45
_:result day Sunday
_:search day monday
_:search destination birmingham new street
_:result arrive_by 19:44
_:result departure Cambridge
_:result destination Birmingham New Street
_:result id TR7728
_:result leave_at 17:01
_:result type Train
_:search people 5
_:search type Train
_:booking category Train
_:booking people 5
_:booking ref LU2SUOW2
_:booking type Booking
_:system inquired _:user
_:user dismissed _:system