142_a_law_h15a119
However, this provision shall not apply to cases falling under either of the following items:
( (IP-MAT (ADVP-NIM (ADV However;{however}))
(PUNC ,)
(NP-SBJ (D this;{this})
(N provision;{provision}))
(MD;_cat_Vi_ shall;{shall})
(NEG not;{not})
(IP-INF-CAT (VB;_Ipr_ apply;{apply[to]})
(PP-CLR (P-ROLE to;{to})
(NP (NS cases;{case})
(IP-PPL (VAG;_Ipr_ falling;{fall[under]})
(PP-CLR (P-ROLE under;{under})
(NP (Q;_nphd_ either;{either})
(PP (P-ROLE of;{of})
(NP (D the;{the})
(ADJP (ADJ following;{following}))
(NS items;{item})))))))))
(PUNC :))
(ID 142_a_law_h15a119;115_4_24_2))
arc(r_0142_0005__shall,r_0142_0001__However,nim).
arc(r_0142_0005__shall,r_0142_0007__apply_r_0142_0008__to,scope).
arc(r_0142_0006__not,r_0142_0005__shall,keep_scope).
arc(r_0142_0007__apply_r_0142_0008__to,r_0142_0003__this_r_0142_0004__provision,arg0).
arc(r_0142_0007__apply_r_0142_0008__to,r_0142_0009__cases,arg1).
arc(r_0142_0010__falling_r_0142_0011__under,r_0142_0009__cases,inv_arg0).
arc(r_0142_0010__falling_r_0142_0011__under,z_0142_5008,arg1).
arc(r_0142_0012__either__quant,r_0142_0010__falling_r_0142_0011__under,scope).
arc(r_0142_0012__either__quant,z_0142_5008,restriction).
arc(r_0142_0014__the_r_0142_0016__items,r_0142_0015__following,attrib).
arc(z_0142_5008,r_0142_0014__the_r_0142_0016__items,r_0142_0013__of).
fof(formula,axiom,
( ! [Z_0142_5008,R_0142_0015__FOLLOWING,R_0142_0014__THE_R_0142_0016__ITEMS] :
( ( r_0142_0015__following(R_0142_0015__FOLLOWING)
& z_0142_5008(Z_0142_5008)
& has_r_0142_0013__of(Z_0142_5008,R_0142_0014__THE_R_0142_0016__ITEMS)
& r_0142_0014__the_r_0142_0016__items(R_0142_0014__THE_R_0142_0016__ITEMS)
& has_attrib(R_0142_0014__THE_R_0142_0016__ITEMS,R_0142_0015__FOLLOWING) )
=> ? [R_0142_0010__FALLING_R_0142_0011__UNDER] :
( r_0142_0010__falling_r_0142_0011__under(R_0142_0010__FALLING_R_0142_0011__UNDER)
& has_arg1(R_0142_0010__FALLING_R_0142_0011__UNDER,Z_0142_5008) ) )
& ~ ? [R_0142_0001__HOWEVER,R_0142_0003__THIS_R_0142_0004__PROVISION,R_0142_0015__FOLLOWING,R_0142_0014__THE_R_0142_0016__ITEMS,Z_0142_5008,R_0142_0010__FALLING_R_0142_0011__UNDER,R_0142_0009__CASES,R_0142_0005__SHALL_R_0142_0007__APPLY_R_0142_0008__TO] :
( r_0142_0001__However(R_0142_0001__HOWEVER)
& r_0142_0003__this_r_0142_0004__provision(R_0142_0003__THIS_R_0142_0004__PROVISION)
& r_0142_0015__following(R_0142_0015__FOLLOWING)
& r_0142_0005__shall_r_0142_0007__apply_r_0142_0008__to(R_0142_0005__SHALL_R_0142_0007__APPLY_R_0142_0008__TO)
& has_arg1(R_0142_0005__SHALL_R_0142_0007__APPLY_R_0142_0008__TO,R_0142_0009__CASES)
& r_0142_0009__cases(R_0142_0009__CASES)
& has_inv_arg0(R_0142_0009__CASES,R_0142_0010__FALLING_R_0142_0011__UNDER)
& r_0142_0010__falling_r_0142_0011__under(R_0142_0010__FALLING_R_0142_0011__UNDER)
& has_arg1(R_0142_0010__FALLING_R_0142_0011__UNDER,Z_0142_5008)
& z_0142_5008(Z_0142_5008)
& has_r_0142_0013__of(Z_0142_5008,R_0142_0014__THE_R_0142_0016__ITEMS)
& r_0142_0014__the_r_0142_0016__items(R_0142_0014__THE_R_0142_0016__ITEMS)
& has_attrib(R_0142_0014__THE_R_0142_0016__ITEMS,R_0142_0015__FOLLOWING)
& has_arg0(R_0142_0005__SHALL_R_0142_0007__APPLY_R_0142_0008__TO,R_0142_0003__THIS_R_0142_0004__PROVISION)
& has_nim(R_0142_0005__SHALL_R_0142_0007__APPLY_R_0142_0008__TO,R_0142_0001__HOWEVER) ) ) ).