inform((_:search,arrive_by,'19:15');(_:search,departure,'cambridge');(_:search,destination,'leicester');(_:search,type,'Train'))
user
I would like to take a train from Cambridge to Leicester .   I have to get there for a dinner by 19:15 .
request((_:booking,day,?);(_:booking,type,'Booking');(_:search,day,?);(_:search,type,'Train')) thank()
system
I can help with that . What day is your dinner ?
inform((_:search,day,'tuesday');(_:search,type,'Train'))
user
It is on Tuesday .
inform((_:result,arrive_by,'19:06');(_:result,destination,'Leicester');(_:result,id,'TR4506');(_:result,leave_at,'17:21');(_:result,type,'Train')) offer((_:booking,category,'Train');(_:booking,type,'Booking'))
system
I have train TR4506 that leaves at 17:21 and arrives in Leicester at 19:06 . Would this work for you ?
user
That 's perfect . That 's all I need for now .
inform((_:booking,arrive_by,'17:06');(_:booking,category,'Train');(_:booking,id,'TR4506');(_:booking,leave_at,'17:21');(_:booking,ref,'244DG7UO');(_:booking,ticket,'37.79 GBP');(_:booking,type,'Booking'))
system
Okay , your trip has been booked . Train # TR4506 . Leaving at 17:21 , arriving at 17:06 .   Total cost is 37.79 GBP payable at the station . Your reference number is 244DG7UO
inform((_:search,area,'west');(_:search,category,'swimming pool');(_:search,type,'Attraction'))
user
Can you possibly find me a swimming pool in the West ?
canthelp((_:search,area,'west');(_:search,category,'swimming pools');(_:search,type,'Attraction'))
system
There are no swimming pools in the west .
inform((_:search,category,'college');(_:search,type,'Attraction'))
user
how about one that is in the type of college ?
inform((_:result,amount,'quite a few');(_:result,type,'Attraction'))
system
yes those we have quite a few of , how can I help you ?
request((_:result,entrance_fee,?);(_:result,phone,?);(_:result,postcode,?);(_:result,type,'Attraction'))
user
Any you suggest will be fine . I 'll just need the postcode , phone number , and entrance fee , please ?
request((_:search,entrance_fee,?);(_:search,type,'Attraction'))
system
Do you need free admission or pay to get in ?
user
It does n't matter , just pick the one you think is best !
system
Clare college is a nice place and phone is 01223336233
_:search arrive_by 19:15
_:search departure cambridge
_:search destination leicester
_:search type Train
_:search arrive_by 19:15
_:search departure cambridge
_:search destination leicester
_:booking day ?
_:booking type Booking
_:search day tuesday
_:search type Train
_:search arrive_by 19:15
_:search departure cambridge
_:search destination leicester
_:booking day ?
_:booking type Booking
_:search day tuesday
_:search type Train
_:result arrive_by 19:06
_:result destination Leicester
_:result id TR4506
_:result leave_at 17:21
_:result type Train
_:system offered _:booking
_:booking category Train
_:search arrive_by 19:15
_:search departure cambridge
_:search destination leicester
_:booking day ?
_:search day tuesday
_:result arrive_by 19:06
_:result destination Leicester
_:result id TR4506
_:result leave_at 17:21
_:result type Train
_:system offered _:booking
_:booking arrive_by 17:06
_:booking category Train
_:booking id TR4506
_:booking leave_at 17:21
_:booking ref 244DG7UO
_:booking ticket 37.79 GBP
_:booking type Booking
_:search area west
_:search category swimming pool
_:search type Attraction
_:search arrive_by 19:15
_:search departure cambridge
_:search destination leicester
_:booking day ?
_:search day tuesday
_:result arrive_by 19:06
_:result destination Leicester
_:result id TR4506
_:result leave_at 17:21
_:result type Train
_:system offered _:booking
_:booking arrive_by 17:06
_:booking category Train
_:booking id TR4506
_:booking leave_at 17:21
_:booking ref 244DG7UO
_:booking ticket 37.79 GBP
_:booking type Booking
_:search area west
_:system canthelp _:search/21812d2e
_:search/21812d2e area west
_:search/21812d2e category swimming pools
_:search/21812d2e type Attraction
_:search category college
_:search type Attraction
_:search arrive_by 19:15
_:search departure cambridge
_:search destination leicester
_:booking day ?
_:search day tuesday
_:result arrive_by 19:06
_:result destination Leicester
_:result id TR4506
_:result leave_at 17:21
_:system offered _:booking
_:booking arrive_by 17:06
_:booking category Train
_:booking id TR4506
_:booking leave_at 17:21
_:booking ref 244DG7UO
_:booking ticket 37.79 GBP
_:booking type Booking
_:search area west
_:system canthelp _:search/21812d2e
_:search/21812d2e area west
_:search/21812d2e category swimming pools
_:search/21812d2e type Attraction
_:search category college
_:search type Attraction
_:result amount quite a few
_:result type Attraction
_:result entrance_fee ?
_:result phone ?
_:result postcode ?
_:search arrive_by 19:15
_:search departure cambridge
_:search destination leicester
_:booking day ?
_:search day tuesday
_:result arrive_by 19:06
_:result destination Leicester
_:result id TR4506
_:result leave_at 17:21
_:system offered _:booking
_:booking arrive_by 17:06
_:booking category Train
_:booking id TR4506
_:booking leave_at 17:21
_:booking ref 244DG7UO
_:booking ticket 37.79 GBP
_:booking type Booking
_:search area west
_:system canthelp _:search/21812d2e
_:search/21812d2e area west
_:search/21812d2e category swimming pools
_:search/21812d2e type Attraction
_:search category college
_:result amount quite a few
_:result type Attraction
_:result entrance_fee ?
_:result phone ?
_:result postcode ?
_:search entrance_fee ?
_:search type Attraction