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_13_6_SHALL_BE_EXCLUDED,Z_13_A_LAW_H15A119_21,R_13_3_THE_ENTITIES,R_13_4_FOLLOWING,R_13_1_HOWEVER] :
( following(R_13_4_FOLLOWING)
& however(R_13_1_HOWEVER)
& shall_be_excluded(R_13_6_SHALL_BE_EXCLUDED,Z_13_A_LAW_H15A119_21,R_13_3_THE_ENTITIES)
& the_entities(R_13_3_THE_ENTITIES)
& attrib10(R_13_3_THE_ENTITIES,R_13_4_FOLLOWING)
& nim2(R_13_6_SHALL_BE_EXCLUDED,R_13_1_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))