inform((_:search,day,'sunday');(_:search,departure,'birmingham new street');(_:search,destination,'cambridge');(_:search,type,'Train'))
user
I am planning your trip in Cambridge . I need a train , The train should depart from birmingham new street and should leave on sunday
request((_:search,leave_at,?);(_:search,type,'Train')) thank()
system
I can help you with that .   Do you have a time preference ?
inform((_:search,arrive_by,'14:30');(_:search,type,'Train'))
user
Yes I need to arrive by 14:30 .
inform((_:result,arrive_by,'14:23,is');(_:result,id,'TR9644');(_:result,type,'Train')) offer((_:booking,category,'Train');(_:booking,type,'Booking'))
system
I have train TR9644 arriving by 14:23,is that good for you ?
request((_:result,ref,?);(_:result,type,'Train'))
user
Yes could you please book it for me and get me a reference number ?
request((_:search,people,?);(_:search,type,'Train'))
system
How many tickets do you need ?
inform((_:search,people,'1');(_:search,type,'Train'))
user
I need 1 ticket please .
reqmore() inform((_:booking,category,'Train');(_:booking,id,'TR9644');(_:booking,people,'1');(_:booking,ref,'CFPQ0W33');(_:booking,ticket,'60.08 GBP');(_:booking,type,'Booking'))
system
I have 1 ticket booked on TR9644 . The cost is 60.08 GBP and your reference number is CFPQ0W33 . Can I help you with anything else ?
inform((_:search,area,'centre');(_:search,category,'hotel');(_:search,pricerange,'expensive');(_:search,type,'Hotel'))
user
Yes , I 'd like to find an expensive hotel in the city centre .
inform((_:result,has_internet,'none');(_:result,has_parking,'none');(_:result,name,'Gonville Hotel');(_:result,name,'University Arms Hotel');(_:result,stars,'3');(_:result,stars,'4');(_:result,type,'Hotel'))
system
Sure ! Would you like to stay at the Gonville Hotel ( 3 stars ) , or the University Arms Hotel ( 4 stars ) ? Both have parking and internet .
inform((_:search,day,'sunday');(_:search,people,'1');(_:search,stay,'4');(_:search,type,'Hotel'))
user
Lets go with university arms , please book me for 1 person , 4 nights on sunday .
reqmore() inform((_:booking,ref,'IFHSYRZN');(_:booking,type,'Booking'))
system
All set , the reference number is IFHSYRZN , any other questions today ?
inform((_:search,day,'sunday');(_:search,people,'1');(_:search,stay,'3');(_:search,type,'Hotel'))
user
Which ever one you recommend . I 'll need it booked for 1 person , Sunday , 3 nights please .
inform((_:booking,ref,'IFHSYRZN');(_:booking,type,'Booking'))
system
You 're all set ! Your reference number is IFHSYRZN
thank()
user
Thank you for all your help .
system
Have a nice day .
_:search day sunday
_:search departure birmingham new street
_:search destination cambridge
_:search type Train
_:search day sunday
_:search departure birmingham new street
_:search destination cambridge
_:search leave_at ?
_:search arrive_by 14:30
_:search type Train
_:search day sunday
_:search departure birmingham new street
_:search destination cambridge
_:search leave_at ?
_:search arrive_by 14:30
_:search type Train
_:result arrive_by 14:23,is
_:result id TR9644
_:result type Train
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:result ref ?
_:search day sunday
_:search departure birmingham new street
_:search destination cambridge
_:search leave_at ?
_:search arrive_by 14:30
_:result arrive_by 14:23,is
_:result id TR9644
_:result type Train
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:result ref ?
_:search people 1
_:search type Train
_:search day sunday
_:search departure birmingham new street
_:search destination cambridge
_:search leave_at ?
_:search arrive_by 14:30
_:result arrive_by 14:23,is
_:result id TR9644
_:result type Train
_:system offered _:booking
_:result ref ?
_:search people 1
_:system inquired _:user
_:booking category Train
_:booking id TR9644
_:booking people 1
_:booking ref CFPQ0W33
_:booking ticket 60.08 GBP
_:booking type Booking
_:search area centre
_:search category hotel
_:search pricerange expensive
_:search type Hotel
_:search departure birmingham new street
_:search destination cambridge
_:search leave_at ?
_:search arrive_by 14:30
_:result arrive_by 14:23,is
_:result id TR9644
_:system offered _:booking
_:result ref ?
_:system inquired _:user
_:booking category Train
_:booking id TR9644
_:booking people 1
_:booking ref CFPQ0W33
_:booking ticket 60.08 GBP
_:booking type Booking
_:search area centre
_:search category hotel
_:search pricerange expensive
_:result has_internet none
_:result has_parking none
_:result name Gonville Hotel
_:result name University Arms Hotel
_:result stars 3
_:result stars 4
_:result type Hotel
_:search day sunday
_:search people 1
_:search stay 4
_:search type Hotel
_:search departure birmingham new street
_:search destination cambridge
_:search leave_at ?
_:search arrive_by 14:30
_:result arrive_by 14:23,is
_:result id TR9644
_:system offered _:booking
_:result ref ?
_:booking category Train
_:booking id TR9644
_:booking people 1
_:booking ticket 60.08 GBP
_:search area centre
_:search category hotel
_:search pricerange expensive
_:result has_internet none
_:result has_parking none
_:result name Gonville Hotel
_:result name University Arms Hotel
_:result stars 3
_:result stars 4
_:result type Hotel
_:system inquired _:user
_:booking ref IFHSYRZN
_:booking type Booking
_:search day sunday
_:search people 1
_:search stay 3
_:search type Hotel
_:search departure birmingham new street
_:search destination cambridge
_:search leave_at ?
_:search arrive_by 14:30
_:result arrive_by 14:23,is
_:result id TR9644
_:system offered _:booking
_:result ref ?
_:booking category Train
_:booking id TR9644
_:booking people 1
_:booking ticket 60.08 GBP
_:search area centre
_:search category hotel
_:search pricerange expensive
_:result has_internet none
_:result has_parking none
_:result name Gonville Hotel
_:result name University Arms Hotel
_:result stars 3
_:result stars 4
_:result type Hotel
_:system inquired _:user
_:search day sunday
_:search people 1
_:search stay 3
_:search type Hotel
_:booking ref IFHSYRZN
_:booking type Booking