inform((_:search,destination,'leicester');(_:search,leave_at,'11:45');(_:search,type,'Train'))
user
i need a train going to leicester that leaves after 11:45
request((_:search,departure,?);(_:search,destination,?);(_:search,type,'Train'))
system
Sure , are you going to leicester , or to cambridge ? What is your departure site please ?
inform((_:search,departure,'leicester');(_:search,destination,'cambridge');(_:search,type,'Train'))
user
I will be departing leicester going to cambridge , sorry for the confusion . I need to leave after 11:45 also .
inform((_:result,day,'friday');(_:result,leave_at,'12:09');(_:result,type,'Train')) offer((_:booking,category,'Train');(_:booking,type,'Booking'))
system
The earliest train leaving after 11:45 is at 12:09 on friday . Would you like me to book this for you ?
request((_:result,id,?);(_:result,type,'Train'))
user
That is fine . Can I have the train ID once it 's booked ?
request((_:booking,people,?);(_:booking,type,'Booking');(_:search,day,?);(_:search,people,?);(_:search,type,'Train'))
system
Of course , what day will you be traveling , and how many people will be in your party ?
inform((_:search,day,'thursday');(_:search,people,'1');(_:search,type,'Train'))
user
I need 1 ticket for departure on Thursday .
reqmore() inform((_:booking,category,'Train');(_:booking,departure,'Leicester');(_:booking,leave_at,'12:09');(_:booking,people,'one');(_:booking,ref,'7UR3BFW6');(_:booking,type,'Booking'))
system
Great . I have booked you one seat on the 12:09 train from Leicester and your reference number is   7UR3BFW6 . Is there anything else I can do for you ?
inform((_:search,day,'thursday');(_:search,duration,'15:00');(_:search,food,'african');(_:search,people,'7');(_:search,pricerange,'expensive');(_:search,type,'Restaurant'))
user
Yes I want to reserve a table for 7 people at 15:00 on Thursday at an expensive African restaurant . Can you help me with this ?
canthelp((_:booking,type,'Booking')) request((_:booking,day,?);(_:booking,duration,?);(_:booking,type,'Booking'))
system
There are no tables available at Bedouin at that time . Would you like to try a different time slot or perhaps a different day ?
inform((_:search,duration,'14:00');(_:search,name,'Bedouin');(_:search,type,'Restaurant'))
user
Sure . If there are no other African eateries to choose from , try the 14:00 at the Bedouin .
canthelp((_:booking,name,'bedouin');(_:booking,type,'Booking')) request((_:booking,day,?);(_:booking,duration,?);(_:booking,type,'Booking'))
system
There is one restaurant called bedouin , but unfortunately it does not have any open reservations for matching your specifications . Could you provide another day or time ?
inform((_:search,food,'african');(_:search,pricerange,'expensive');(_:search,type,'Restaurant'))
user
Could you get a reservation at a difference expensive African restaurant ?
reqmore() inform((_:booking,people,'7');(_:booking,ref,'R2RPLBI3');(_:booking,type,'Booking'))
system
I was successfully able to book you a reservation for 7 . The reference number is R2RPLBI3 . Can I help you with anything else ?
thank()
user
No thank you . I have everything I need .
system
You are welcome .   Good bye .
_:search destination leicester
_:search leave_at 11:45
_:search type Train
_:search leave_at 11:45
_:search departure leicester
_:search destination cambridge
_:search type Train
_:search leave_at 11:45
_:search departure leicester
_:search destination cambridge
_:search type Train
_:result day friday
_:result leave_at 12:09
_:result type Train
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:result id ?
_:search leave_at 11:45
_:search departure leicester
_:search destination cambridge
_:result day friday
_:result leave_at 12:09
_:result type Train
_:system offered _:booking
_:booking category Train
_:result id ?
_:booking people ?
_:booking type Booking
_:search day thursday
_:search people 1
_:search type Train
_:search leave_at 11:45
_:search departure leicester
_:search destination cambridge
_:result day friday
_:result leave_at 12:09
_:result type Train
_:system offered _:booking
_:result id ?
_:system inquired _:user
_:booking category Train
_:booking departure Leicester
_:booking leave_at 12:09
_:booking people one
_:booking ref 7UR3BFW6
_:booking type Booking
_:search day thursday
_:search duration 15:00
_:search food african
_:search people 7
_:search pricerange expensive
_:search type Restaurant
_:search leave_at 11:45
_:search departure leicester
_:search destination cambridge
_:result day friday
_:result leave_at 12:09
_:result type Train
_:system offered _:booking
_:result id ?
_:system inquired _:user
_:booking category Train
_:booking departure Leicester
_:booking leave_at 12:09
_:booking people one
_:booking ref 7UR3BFW6
_:search day thursday
_:search food african
_:search people 7
_:search pricerange expensive
_:system canthelp _:booking/007383b6
_:booking/007383b6 type Booking
_:booking day ?
_:booking duration ?
_:booking type Booking
_:search duration 14:00
_:search name Bedouin
_:search type Restaurant
_:search leave_at 11:45
_:search departure leicester
_:search destination cambridge
_:result day friday
_:result leave_at 12:09
_:result type Train
_:system offered _:booking
_:result id ?
_:system inquired _:user
_:booking category Train
_:booking departure Leicester
_:booking leave_at 12:09
_:booking people one
_:booking ref 7UR3BFW6
_:search day thursday
_:search people 7
_:system canthelp _:booking/007383b6
_:booking/007383b6 type Booking
_:search duration 14:00
_:search name Bedouin
_:system canthelp _:booking/925d88ee
_:booking/925d88ee name bedouin
_:booking/925d88ee type Booking
_:booking day ?
_:booking duration ?
_:booking type Booking
_:search food african
_:search pricerange expensive
_:search type Restaurant
_:search leave_at 11:45
_:search departure leicester
_:search destination cambridge
_:result day friday
_:result leave_at 12:09
_:result type Train
_:system offered _:booking
_:result id ?
_:booking category Train
_:booking departure Leicester
_:booking leave_at 12:09
_:search day thursday
_:search people 7
_:system canthelp _:booking/007383b6
_:booking/007383b6 type Booking
_:search duration 14:00
_:search name Bedouin
_:system canthelp _:booking/925d88ee
_:booking/925d88ee name bedouin
_:booking/925d88ee type Booking
_:booking day ?
_:booking duration ?
_:search food african
_:search pricerange expensive
_:search type Restaurant
_:system inquired _:user
_:booking people 7
_:booking ref R2RPLBI3
_:booking type Booking