-- stratum 0 advertising
op1_helper_constraint0_helper_publisher('V.8qgOfsaEJkK1tzX51sTT9NKdM8J2SrzQq6k8cRPzvP0.H3') :- true.
-- stratum 1 advertising
op1_helper_constraint0_helper_publication(P) :- Have(P), Field(P,'#Joinery',_,'publication'), Field(P,'By','0',by), op1_helper_constraint0_helper_publisher(by), Field(P,'Serial',_,_).
-- stratum 2 advertising
op1_helper_constraint0_helper_root(R) :- op1_helper_constraint0_helper_publication(P), RecordLink(P,'Bundle+Link','0','bundle',R).
-- stratum 3 advertising
op1_helper_constraint0_helper_directory(D) :- op1_helper_constraint0_helper_directory(Parent), Have(Parent), RecordLink(Parent,'Child+Link',_,_,D).
op1_helper_constraint0_helper_directory(D) :- op1_helper_constraint0_helper_directory(Parent), Have(Parent), RecordLink(Parent,'Page+Link',_,_,D).
op1_helper_constraint0_helper_directory(D) :- op1_helper_constraint0_helper_root(R), Have(R), RecordLink(R,'Root+Link',_,'files',D).
-- stratum 4 advertising
op1_helper_constraint0_helper_file(F) :- op1_helper_constraint0_helper_directory(D), Have(D), RecordLink(D,'File+Link',_,_,F).
op1_helper_constraint0_helper_file(F) :- op1_helper_constraint0_helper_file(Parent), Have(Parent), RecordLink(Parent,'Chunk+Link',_,_,F).
-- stratum 5 requesting
op1_helper_constraint0_facet1(P) :- Advertised(P), AdvertisedField(P,'#Joinery',_,'publication'), AdvertisedField(P,'By','0',by), op1_helper_constraint0_helper_publisher(by), AdvertisedField(P,'Serial',_,_).
op1_helper_constraint0_facet1(R) :- op1_helper_constraint0_helper_directory(R), Advertised(R).
op1_helper_constraint0_facet1(R) :- op1_helper_constraint0_helper_file(R), Advertised(R).
op1_helper_constraint0_facet1(R) :- op1_helper_constraint0_helper_root(R), Advertised(R).
-- stratum 6 requesting
op1_facet_selectadvertisedcandidate(Record) :- op1_helper_constraint0_facet1(Record), not AdvertisedField(Record,'#Joinery-Reach',_,'localhost'), not AdvertisedField(Record,'#Joinery-Reach',_,'native').
-- stratum 7 requesting
lace_may_request(Record) :- Advertised(Record), op1_facet_selectadvertisedcandidate(Record), not Have(Record).
