inform((_:search,arrive_by,'8:00');(_:search,destination,'birmingham new street');(_:search,type,'Train'))
user
I need a train to Birmingham New Street that arrives by 8:00 .
request((_:search,departure,?);(_:search,type,'Train'))
system
Where are you departing from ?
inform((_:search,day,'tuesday');(_:search,departure,'cambridge');(_:search,type,'Train'))
user
I am leaving from cambridge on tuesday
inform((_:result,arrive_by,'07:44');(_:result,leave_at,'5:01');(_:result,type,'Train'))
system
Okay , I 've got a training leaving at 5:01 and arriving by 07:44 , will that be good ?
inform((_:search,people,'8');(_:search,type,'Train'))
user
Perfect . I 'd like 8 tickets please .
reqmore() inform((_:booking,category,'Train');(_:booking,people,'8');(_:booking,ref,'E4459YTN');(_:booking,type,'Booking'))
system
Okay I have booked you 8 tickets on this train . Your reference number is E4459YTN . Is there anything else ?
thank()
user
Okay . Thank you for your help . That is all I believe .
system
Sure .   Glad to have helped .
_:search arrive_by 8:00
_:search destination birmingham new street
_:search type Train
_:search arrive_by 8:00
_:search destination birmingham new street
_:search day tuesday
_:search departure cambridge
_:search type Train
_:search arrive_by 8:00
_:search destination birmingham new street
_:search day tuesday
_:search departure cambridge
_:result arrive_by 07:44
_:result leave_at 5:01
_:result type Train
_:search people 8
_:search type Train
_:search arrive_by 8:00
_:search destination birmingham new street
_:search day tuesday
_:search departure cambridge
_:result arrive_by 07:44
_:result leave_at 5:01
_:result type Train
_:search people 8
_:search type Train
_:system inquired _:user
_:booking category Train
_:booking people 8
_:booking ref E4459YTN
_:booking type Booking