inform((_:search,day,'monday');(_:search,destination,'cambridge');(_:search,type,'Train'))
user
I want to take a train to cambridge on monday , what 's available ?
inform((_:result,amount,'several');(_:result,day,'Monday');(_:result,type,'Train')) request((_:search,destination,?);(_:search,type,'Train'))
system
I have several possibilities for Monday .   Can you specify your destination so I can narrow down my search ?
inform((_:search,destination,'Cambridge');(_:search,type,'Train'))
user
I am going to Cambridge , from Birmimgnham New Street .
request((_:search,arrive_by,?);(_:search,leave_at,?);(_:search,type,'Train'))
system
OK , when do you want to leave or arrive by ?
request((_:result,arrive_by,?);(_:result,type,'Train')) inform((_:search,leave_at,'17:00');(_:search,type,'Train'))
user
I 'd like to leave after 17:00 . When would I arrive ?
inform((_:result,arrive_by,'10:23,do');(_:result,leave_at,'07:40');(_:result,type,'Train')) offer((_:booking,category,'Train');(_:booking,type,'Booking'))
system
There is train leaving at 07:40 that will arrive at 10:23,do you want that train ?
inform((_:search,type,'Train'))
user
Yes . Please book that train .
inform((_:booking,category,'Train');(_:booking,people,'1');(_:booking,ref,'TFI0LLL4');(_:booking,ticket,'75.09 GBP');(_:booking,type,'Booking'))
system
Booked 1 ticket ! Reference number : TFI0LLL4 . Fee is 75.09 GBP to be paid at the station .
inform((_:search,name,'la raza');(_:search,type,'Restaurant'))
user
Great ! Is there a restaurant called la raza near by ?
inform((_:result,address,'4 - 6 Rose Crescent');(_:result,area,'centre');(_:result,type,'Restaurant'))
system
I was able to find it on 4 - 6 Rose Crescent in the centre of town .
inform((_:search,day,'same day');(_:search,duration,'21:00');(_:search,people,'5');(_:search,type,'Restaurant'))
user
Great .   I would like to book a table for 5 people at 21:00 on the same day , please .
canthelp((_:booking,type,'Booking')) request((_:booking,day,?);(_:booking,duration,?);(_:booking,type,'Booking'))
system
They are all booked up during that slow . Could you do it at another time or on another day ?
inform((_:search,duration,'20:00');(_:search,type,'Restaurant'))
user
How about 20:00 ?
reqmore() inform((_:booking,ref,'3L30ZTQN');(_:booking,type,'Booking'))
system
Booking was successful . The table will be reserved for 15 minutes . 
 Reference number is : 3L30ZTQN .   Is there anything else you need help with ?
thank()
user
Nope , that 's all . Thanks a bunch !
system
Your welcome ! Have a good day .
_:search day monday
_:search destination cambridge
_:search type Train
_:search day monday
_:result amount several
_:result day Monday
_:result type Train
_:search destination Cambridge
_:search type Train
_:search day monday
_:result amount several
_:result day Monday
_:result type Train
_:search destination Cambridge
_:search arrive_by ?
_:result arrive_by ?
_:search leave_at 17:00
_:search type Train
_:search day monday
_:result amount several
_:result day Monday
_:search destination Cambridge
_:search arrive_by ?
_:search leave_at 17:00
_:result arrive_by 10:23,do
_:result leave_at 07:40
_:result type Train
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:search type Train
_:search day monday
_:result amount several
_:result day Monday
_:search destination Cambridge
_:search arrive_by ?
_:search leave_at 17:00
_:result arrive_by 10:23,do
_:result leave_at 07:40
_:result type Train
_:system offered _:booking
_:booking category Train
_:booking people 1
_:booking ref TFI0LLL4
_:booking ticket 75.09 GBP
_:booking type Booking
_:search name la raza
_:search type Restaurant
_:result amount several
_:result day Monday
_:search destination Cambridge
_:search arrive_by ?
_:search leave_at 17:00
_:result arrive_by 10:23,do
_:result leave_at 07:40
_:system offered _:booking
_:booking category Train
_:booking people 1
_:booking ref TFI0LLL4
_:booking ticket 75.09 GBP
_:booking type Booking
_:search name la raza
_:result address 4 - 6 Rose Crescent
_:result area centre
_:result type Restaurant
_:search day same day
_:search duration 21:00
_:search people 5
_:search type Restaurant
_:result amount several
_:result day Monday
_:search destination Cambridge
_:search arrive_by ?
_:search leave_at 17:00
_:result arrive_by 10:23,do
_:result leave_at 07:40
_:system offered _:booking
_:booking category Train
_:booking people 1
_:booking ref TFI0LLL4
_:booking ticket 75.09 GBP
_:search name la raza
_:result address 4 - 6 Rose Crescent
_:result area centre
_:result type Restaurant
_:search day same day
_:search people 5
_:system canthelp _:booking/481dbcfa
_:booking/481dbcfa type Booking
_:booking day ?
_:booking duration ?
_:booking type Booking
_:search duration 20:00
_:search type Restaurant
_:result amount several
_:result day Monday
_:search destination Cambridge
_:search arrive_by ?
_:search leave_at 17:00
_:result arrive_by 10:23,do
_:result leave_at 07:40
_:system offered _:booking
_:booking category Train
_:booking people 1
_:booking ticket 75.09 GBP
_:search name la raza
_:result address 4 - 6 Rose Crescent
_:result area centre
_:result type Restaurant
_:search day same day
_:search people 5
_:system canthelp _:booking/481dbcfa
_:booking/481dbcfa type Booking
_:booking day ?
_:booking duration ?
_:search duration 20:00
_:search type Restaurant
_:system inquired _:user
_:booking ref 3L30ZTQN
_:booking type Booking