inform((_:search,destination,'birmingham new street');(_:search,leave_at,'16:45');(_:search,type,'Train'))
user
Hi , can you find me a train going to birmingham new street that leaves after 16:45 ?
request((_:search,day,?);(_:search,departure,?);(_:search,type,'Train'))
system
What day would you like to go and where will you be departing from ?
inform((_:search,day,'wednesday');(_:search,departure,'cambridge');(_:search,type,'Train'))
user
I would like to leave cambridge on Wednesday .
inform((_:result,amount,'a few');(_:result,arrive_by,'20:44');(_:result,id,'TR1766');(_:result,leave_at,'18:01');(_:result,type,'Train')) offer((_:booking,category,'Train');(_:booking,type,'Booking'))
system
There a few trains that will get you there . TR1766 departs at 18:01 and arrives at 20:44 . Does that work for you ?
inform((_:search,people,'6');(_:search,type,'Train'))
user
Yes that works .   Please book it for 6 people .
inform((_:booking,category,'Train');(_:booking,day,'Wednesday');(_:booking,departure,'Cambridge');(_:booking,id,'TR1766');(_:booking,leave_at,'19:01');(_:booking,people,'6');(_:booking,ref,'8WMYBHC3');(_:booking,ticket,'450.6GBP');(_:booking,type,'Booking'))
system
I booked your seats for 6 people on TR1766 departing Cambridge on Wednesday at 19:01 . The total comes to 450.6GBP and your reference number is 8WMYBHC3 .
inform((_:search,name,'finches bed and breakfast');(_:search,type,'Hotel'))
user
Great !   Now I am looking for a hotel called Finches bed and breakfast .
system
What information would you like on it ?
request((_:result,category,?);(_:result,has_parking,?);(_:result,postcode,?);(_:result,type,'Hotel')) inform((_:search,has_parking,'yes');(_:search,type,'Hotel'))
user
I 'd like to know if it has free parking . Also , the hotel type and it 's postcode .
inform((_:result,category,'guesthouse');(_:result,has_parking,'none');(_:result,name,'Finches bed and breakfast');(_:result,postcode,'cb30nd');(_:result,type,'Hotel')) reqmore()
system
Finches bed and breakfast is a guesthouse .   It does have free parking .   It 's post code is cb30nd .   Is there anything else I can help you with tonight ?
thank()
user
No , that is all the information I need . Thank you for all of your help .
system
It 's been a pleasure . Good day sir . Goodbye .
_:search destination birmingham new street
_:search leave_at 16:45
_:search type Train
_:search destination birmingham new street
_:search leave_at 16:45
_:search day wednesday
_:search departure cambridge
_:search type Train
_:search destination birmingham new street
_:search leave_at 16:45
_:search day wednesday
_:search departure cambridge
_:result amount a few
_:result arrive_by 20:44
_:result id TR1766
_:result leave_at 18:01
_:result type Train
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:search people 6
_:search type Train
_:search destination birmingham new street
_:search leave_at 16:45
_:search day wednesday
_:search departure cambridge
_:result amount a few
_:result arrive_by 20:44
_:result id TR1766
_:result leave_at 18:01
_:result type Train
_:system offered _:booking
_:search people 6
_:booking category Train
_:booking day Wednesday
_:booking departure Cambridge
_:booking id TR1766
_:booking leave_at 19:01
_:booking people 6
_:booking ref 8WMYBHC3
_:booking ticket 450.6GBP
_:booking type Booking
_:search name finches bed and breakfast
_:search type Hotel
_:search destination birmingham new street
_:search leave_at 16:45
_:search day wednesday
_:search departure cambridge
_:result amount a few
_:result arrive_by 20:44
_:result id TR1766
_:result leave_at 18:01
_:result type Train
_:system offered _:booking
_:search people 6
_:booking category Train
_:booking day Wednesday
_:booking departure Cambridge
_:booking id TR1766
_:booking leave_at 19:01
_:booking people 6
_:booking ref 8WMYBHC3
_:booking ticket 450.6GBP
_:booking type Booking
_:search name finches bed and breakfast
_:result category ?
_:result has_parking ?
_:result postcode ?
_:result type Hotel
_:search has_parking yes
_:search type Hotel
_:search destination birmingham new street
_:search leave_at 16:45
_:search day wednesday
_:search departure cambridge
_:result amount a few
_:result arrive_by 20:44
_:result id TR1766
_:result leave_at 18:01
_:system offered _:booking
_:search people 6
_:booking category Train
_:booking day Wednesday
_:booking departure Cambridge
_:booking id TR1766
_:booking leave_at 19:01
_:booking people 6
_:booking ref 8WMYBHC3
_:booking ticket 450.6GBP
_:booking type Booking
_:search name finches bed and breakfast
_:search has_parking yes
_:search type Hotel
_:result category guesthouse
_:result has_parking none
_:result name Finches bed and breakfast
_:result postcode cb30nd
_:result type Hotel
_:system inquired _:user