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,
( ~ ? [R_142_5_SHALL_APPLY,R_142_3_THIS_PROVISION,R_142_1_HOWEVER,R_142_9_CASES] :
( this_provision(R_142_3_THIS_PROVISION)
& however(R_142_1_HOWEVER)
& cases(R_142_9_CASES)
& shall_apply(R_142_5_SHALL_APPLY,R_142_3_THIS_PROVISION)
& nim2(R_142_5_SHALL_APPLY,R_142_1_HOWEVER)
& to_clr22(R_142_5_SHALL_APPLY,R_142_9_CASES) )
& ! [Z_142_A_LAW_H15A119_31,R_142_14_THE_ITEMS,R_142_15_FOLLOWING] :
( ( following(R_142_15_FOLLOWING)
& z_142_a_law_h15a119_31(Z_142_A_LAW_H15A119_31)
& of(Z_142_A_LAW_H15A119_31,R_142_14_THE_ITEMS)
& the_items(R_142_14_THE_ITEMS)
& attrib40(R_142_14_THE_ITEMS,R_142_15_FOLLOWING) )
=> ? [R_142_10_FALLING,R_142_9_CASES] :
( cases(R_142_9_CASES)
& falling(R_142_10_FALLING,R_142_9_CASES)
& under_clr31(R_142_10_FALLING,Z_142_A_LAW_H15A119_31) ) ) ) ).
( (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))