inform((_:search,day,'friday');(_:search,type,'Train'))
user
I need   a train on Friday .
request((_:search,day,?);(_:search,departure,?);(_:search,destination,?);(_:search,leave_at,?);(_:search,type,'Train')) thank()
system
Okay . What day would you like to travel ? What time would you like to leave ? Where are you departing from and what is the destination please ?
inform((_:search,day,'friday');(_:search,departure,'london kings cross');(_:search,destination,'cambridge');(_:search,leave_at,'16:30');(_:search,type,'Train'))
user
I am going to cambridge coming from london kings cross .   I will be leaving on friday after 16:30 .
inform((_:result,leave_at,'17:17');(_:result,type,'Train')) offer((_:booking,category,'Train');(_:booking,type,'Booking'))
system
OK , the earliest departure I have is 17:17 . Would you like to book it ?
request((_:result,ticket,?);(_:result,type,'Train'))
user
How much is a ticket ?
inform((_:result,ticket,'do not have that information available');(_:result,type,'Train'))
system
I do not have that information available .
request((_:result,id,?);(_:result,type,'Train'))
user
Can I at least get the train ID ?
canthelp((_:search,type,'Train'))
system
They system is down please try again later .
inform((_:search,area,'centre');(_:search,category,'entertainment');(_:search,type,'Attraction')) request((_:result,id,?);(_:result,ticket,?);(_:result,type,'Train'))
user
Please inform me of the train ID and price when the system is available . I am also looking for entertainment in the centre .
inform((_:result,arrive_by,'18:08');(_:result,duration,'51 minutes');(_:result,id,'TR0835');(_:result,leave_at,'17:17');(_:result,ticket,'23.60 pounds');(_:result,type,'Train'))
system
I have TR0835 leaving at 17:17 and arriving at 18:08 . That has a travel time of 51 minutes and a price of 23.60 pounds .
inform((_:search,category,'entertainment');(_:search,type,'Attraction'))
user
I want an entertainment attraction in the center part of town also thanks .
system
little saint mary 's church offers architecture and is located at little saint mary 's lane . Entrance fee is free
_:search day friday
_:search type Train
_:search day friday
_:search departure london kings cross
_:search destination cambridge
_:search leave_at 16:30
_:search type Train
_:search day friday
_:search departure london kings cross
_:search destination cambridge
_:search leave_at 16:30
_:search type Train
_:result leave_at 17:17
_:result type Train
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:result ticket ?
_:search day friday
_:search departure london kings cross
_:search destination cambridge
_:search leave_at 16:30
_:search type Train
_:result leave_at 17:17
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:result ticket do not have that information available
_:result type Train
_:result id ?
_:search day friday
_:search departure london kings cross
_:search destination cambridge
_:search leave_at 16:30
_:result leave_at 17:17
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:result ticket do not have that information available
_:result type Train
_:result id ?
_:system canthelp _:search/1bc8a6a2
_:search/1bc8a6a2 type Train
_:search area centre
_:search category entertainment
_:search type Attraction
_:result ticket ?
_:search day friday
_:search departure london kings cross
_:search destination cambridge
_:search leave_at 16:30
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:system canthelp _:search/1bc8a6a2
_:search/1bc8a6a2 type Train
_:search area centre
_:result arrive_by 18:08
_:result duration 51 minutes
_:result id TR0835
_:result leave_at 17:17
_:result ticket 23.60 pounds
_:result type Train
_:search category entertainment
_:search type Attraction