13_a_law_h15a119
however, the following entities shall be excluded;
arc(r_0013_0003__the_r_0013_0005__entities, r_0013_0004__following, attrib10).
arc(r_0013_0006__shall, r_0013_0001__however, nim2).
arc(r_0013_0006__shall, r_0013_0007__be, scope).
arc(r_0013_0007__be, r_0013_0008__excluded, scope).
arc(r_0013_0008__excluded, r_0013_0003__the_r_0013_0005__entities, arg1).
arc(r_0013_0008__excluded, z_000_13_a_law_h15a119_21, arg0).
fof(formula,axiom,
? [R_0013_0001__HOWEVER,R_0013_0004__FOLLOWING,R_0013_0003__THE_R_0013_0005__ENTITIES,Z_000_13_A_LAW_H15A119_21,R_0013_0006__SHALL_R_0013_0007__BE_R_0013_0008__EXCLUDED] :
( r_0013_0001__however(R_0013_0001__HOWEVER)
& r_0013_0004__following(R_0013_0004__FOLLOWING)
& z_000_13_a_law_h15a119_21(Z_000_13_A_LAW_H15A119_21)
& r_0013_0006__shall_r_0013_0007__be_r_0013_0008__excluded(R_0013_0006__SHALL_R_0013_0007__BE_R_0013_0008__EXCLUDED)
& has_arg0(R_0013_0006__SHALL_R_0013_0007__BE_R_0013_0008__EXCLUDED,Z_000_13_A_LAW_H15A119_21)
& has_arg1(R_0013_0006__SHALL_R_0013_0007__BE_R_0013_0008__EXCLUDED,R_0013_0003__THE_R_0013_0005__ENTITIES)
& r_0013_0003__the_r_0013_0005__entities(R_0013_0003__THE_R_0013_0005__ENTITIES)
& has_attrib10(R_0013_0003__THE_R_0013_0005__ENTITIES,R_0013_0004__FOLLOWING)
& has_nim2(R_0013_0006__SHALL_R_0013_0007__BE_R_0013_0008__EXCLUDED,R_0013_0001__HOWEVER) ) ).
( (IP-MAT (ADVP-NIM (ADV however;{however}))
(PUNC ,)
(NP-SBJ (D the;{the})
(ADJP (ADJ following;{following}))
(NS entities;{entity}))
(MD;_cat_Vi_ shall;{shall})
(IP-INF-CAT (BE;_cat_VePASS_ be;{be})
(IP-PPL-CAT (NP-LGS *)
(VVN;_Tn_ excluded;{exclude})))
(PUNC ;))
(ID 13_a_law_h15a119;10_1_2_3))