inform((_:search,destination,'london liverpool street');(_:search,leave_at,'17:15');(_:search,type,'Train'))
user
I am looking for a train that goes to london liverpool street and leaves after 17:15 .
request((_:search,day,?);(_:search,type,'Train'))
system
I can certainly help you with that . Which day did you have in mind to travel ?
inform((_:search,day,'friday');(_:search,type,'Train'))
user
I want to leave on Friday .
offer((_:booking,arrive_by,'01:27');(_:booking,category,'Train');(_:booking,leave_at,'23:59');(_:booking,type,'Booking'))
system
Unfortunately , the only train I have matching your criteria is one leaving 23:59 and arriving at 01:27 in the morning . Did you want to book that ?
inform((_:search,people,'8');(_:search,type,'Train'))
user
Yes that 's fine . I 'll take 8 tickets for that train please .
reqmore() inform((_:booking,category,'Train');(_:booking,id,'TR3138');(_:booking,ref,'NFA1DPXI');(_:booking,type,'Booking'))
system
Alright , your train tickets have been booked and the reference number is NFA1DPXI . The train ID is TR3138 . Is there anything else I can help you with ?
thank()
user
Nope , that is everything . Thank you so much !
system
Have a great day !
_:search destination london liverpool street
_:search leave_at 17:15
_:search type Train
_:search destination london liverpool street
_:search leave_at 17:15
_:search day friday
_:search type Train
_:search destination london liverpool street
_:search leave_at 17:15
_:search day friday
_:system offered _:booking
_:booking arrive_by 01:27
_:booking category Train
_:booking leave_at 23:59
_:booking type Booking
_:search people 8
_:search type Train
_:search destination london liverpool street
_:search leave_at 17:15
_:search day friday
_:system offered _:booking
_:booking arrive_by 01:27
_:booking leave_at 23:59
_:search people 8
_:search type Train
_:system inquired _:user
_:booking category Train
_:booking id TR3138
_:booking ref NFA1DPXI
_:booking type Booking