172_a_law_h15a119
In such a case, any person making a request for disclosure and others shall comply with the procedures.
( (IP-MAT (PP-NIM (P-ROLE In;{in})
(NP (ADJP (ADJ;_such_ such;{such}))
(D a;{a})
(N case;{case})))
(PUNC ,)
(NP-SBJ (D any;{any})
(N person;{person})
(IP-PPL (VAG;_Tn_ making;{make})
(NP-OB1 (D a;{a})
(N request;{request})
(PP (P-ROLE for;{for})
(NP (NLYR (NLYR (N disclosure;{disclosure}))
(CONJP (CONJ and;{and})
(NLYR (NS others;{other})))))))))
(MD;_cat_Vi_ shall;{shall})
(IP-INF-CAT (VB;_Ipr_ comply;{comply[with]})
(PP-CLR (P-ROLE with;{with})
(NP (D the;{the})
(NS procedures;{procedure}))))
(PUNC .))
(ID 172_a_law_h15a119;136_4_29_1))
arc(r_0172_0003__a_r_0172_0004__case,r_0172_0002__such,attrib).
arc(r_0172_0008__making,r_0172_0006__any_r_0172_0007__person,inv_arg0).
arc(r_0172_0008__making,r_0172_0009__a_r_0172_0010__request,arg1).
arc(r_0172_0009__a_r_0172_0010__request,r_0172_0013__and,r_0172_0011__for).
arc(r_0172_0013__and,r_0172_0012__disclosure,conj1).
arc(r_0172_0013__and,r_0172_0014__others,conj2).
arc(r_0172_0015__shall,r_0172_0003__a_r_0172_0004__case,r_0172_0001__In__nim).
arc(r_0172_0015__shall,r_0172_0016__comply_r_0172_0017__with,scope).
arc(r_0172_0016__comply_r_0172_0017__with,r_0172_0006__any_r_0172_0007__person,arg0).
arc(r_0172_0016__comply_r_0172_0017__with,r_0172_0018__the_r_0172_0019__procedures,arg1).
fof(formula,axiom,
? [R_0172_0002__SUCH,R_0172_0003__A_R_0172_0004__CASE,R_0172_0012__DISCLOSURE,R_0172_0014__OTHERS,R_0172_0013__AND,R_0172_0009__A_R_0172_0010__REQUEST,R_0172_0008__MAKING,R_0172_0006__ANY_R_0172_0007__PERSON,R_0172_0018__THE_R_0172_0019__PROCEDURES,R_0172_0015__SHALL_R_0172_0016__COMPLY_R_0172_0017__WITH] :
( r_0172_0002__such(R_0172_0002__SUCH)
& r_0172_0012__disclosure(R_0172_0012__DISCLOSURE)
& r_0172_0014__others(R_0172_0014__OTHERS)
& r_0172_0018__the_r_0172_0019__procedures(R_0172_0018__THE_R_0172_0019__PROCEDURES)
& r_0172_0015__shall_r_0172_0016__comply_r_0172_0017__with(R_0172_0015__SHALL_R_0172_0016__COMPLY_R_0172_0017__WITH)
& has_arg1(R_0172_0015__SHALL_R_0172_0016__COMPLY_R_0172_0017__WITH,R_0172_0018__THE_R_0172_0019__PROCEDURES)
& has_arg0(R_0172_0015__SHALL_R_0172_0016__COMPLY_R_0172_0017__WITH,R_0172_0006__ANY_R_0172_0007__PERSON)
& r_0172_0006__any_r_0172_0007__person(R_0172_0006__ANY_R_0172_0007__PERSON)
& has_inv_arg0(R_0172_0006__ANY_R_0172_0007__PERSON,R_0172_0008__MAKING)
& r_0172_0008__making(R_0172_0008__MAKING)
& has_arg1(R_0172_0008__MAKING,R_0172_0009__A_R_0172_0010__REQUEST)
& r_0172_0009__a_r_0172_0010__request(R_0172_0009__A_R_0172_0010__REQUEST)
& has_r_0172_0011__for(R_0172_0009__A_R_0172_0010__REQUEST,R_0172_0013__AND)
& r_0172_0013__and(R_0172_0013__AND)
& has_conj2(R_0172_0013__AND,R_0172_0014__OTHERS)
& has_conj1(R_0172_0013__AND,R_0172_0012__DISCLOSURE)
& has_r_0172_0001__In__nim(R_0172_0015__SHALL_R_0172_0016__COMPLY_R_0172_0017__WITH,R_0172_0003__A_R_0172_0004__CASE)
& r_0172_0003__a_r_0172_0004__case(R_0172_0003__A_R_0172_0004__CASE)
& has_attrib(R_0172_0003__A_R_0172_0004__CASE,R_0172_0002__SUCH) ) ).