142_a_law_h15a119
However, this provision shall not apply to cases falling under either of the following items:
arc(r_0142_0005__shall, r_0142_0001__However, nim2).
arc(r_0142_0005__shall, r_0142_0007__apply, scope).
arc(r_0142_0006__not, r_0142_0005__shall, keep_scope).
arc(r_0142_0007__apply, r_0142_0003__this_r_0142_0004__provision, arg0).
arc(r_0142_0007__apply, r_0142_0009__cases, r_0142_0008__to_clr22).
arc(r_0142_0010__falling, r_0142_0009__cases, arg0).
arc(r_0142_0010__falling, z_000_142_a_law_h15a119_31, r_0142_0011__under_clr31).
arc(r_0142_0012__either_quant, r_0142_0010__falling, scope).
arc(r_0142_0012__either_quant, z_000_142_a_law_h15a119_31, restriction).
arc(r_0142_0014__the_r_0142_0016__items, r_0142_0015__following, attrib40).
arc(z_000_142_a_law_h15a119_31, r_0142_0014__the_r_0142_0016__items, r_0142_0013__of).
fof(formula,axiom,
( ! [Z_000_142_A_LAW_H15A119_31,R_0142_0015__FOLLOWING,R_0142_0014__THE_R_0142_0016__ITEMS] :
( ( r_0142_0015__following(R_0142_0015__FOLLOWING)
& z_000_142_a_law_h15a119_31(Z_000_142_A_LAW_H15A119_31)
& has_r_0142_0013__of(Z_000_142_A_LAW_H15A119_31,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_attrib40(R_0142_0014__THE_R_0142_0016__ITEMS,R_0142_0015__FOLLOWING) )
=> ? [R_0142_0009__CASES,R_0142_0010__FALLING] :
( r_0142_0009__cases(R_0142_0009__CASES)
& r_0142_0010__falling(R_0142_0010__FALLING)
& has_r_0142_0011__under_clr31(R_0142_0010__FALLING,Z_000_142_A_LAW_H15A119_31)
& has_arg0(R_0142_0010__FALLING,R_0142_0009__CASES) ) )
& ~ ? [R_0142_0001__HOWEVER,R_0142_0003__THIS_R_0142_0004__PROVISION,R_0142_0009__CASES,R_0142_0005__SHALL_R_0142_0007__APPLY] :
( 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_0009__cases(R_0142_0009__CASES)
& r_0142_0005__shall_r_0142_0007__apply(R_0142_0005__SHALL_R_0142_0007__APPLY)
& has_r_0142_0008__to_clr22(R_0142_0005__SHALL_R_0142_0007__APPLY,R_0142_0009__CASES)
& has_arg0(R_0142_0005__SHALL_R_0142_0007__APPLY,R_0142_0003__THIS_R_0142_0004__PROVISION)
& has_nim2(R_0142_0005__SHALL_R_0142_0007__APPLY,R_0142_0001__HOWEVER) ) ) ).
( (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))