Context                Previous, Next                Top


13_a_law_h15a119
however, the following entities shall be excluded;

n13_a_law_h15a119 n13_a_law_h15a119__1_1_1_1 however n13_a_law_h15a119__1_2_1 , n13_a_law_h15a119__1_3_1_1 the n13_a_law_h15a119__1_3_2_1_1 following n13_a_law_h15a119__1_3_3_1 entities n13_a_law_h15a119__1_4_1 shall n13_a_law_h15a119__1_5_1_1 be n13_a_law_h15a119__1_5_2_1_1 * n13_a_law_h15a119__1_5_2_2_1 excluded n13_a_law_h15a119__1_6_1 ; n13_a_law_h15a119__1 IP-MAT n13_a_law_h15a119__1_1 ADVP-NIM n13_a_law_h15a119__1->n13_a_law_h15a119__1_1 n13_a_law_h15a119__1_2 PUNC n13_a_law_h15a119__1->n13_a_law_h15a119__1_2 n13_a_law_h15a119__1_3 NP-SBJ n13_a_law_h15a119__1->n13_a_law_h15a119__1_3 n13_a_law_h15a119__1_4 MD;_cat_Vi_ n13_a_law_h15a119__1->n13_a_law_h15a119__1_4 n13_a_law_h15a119__1_5 IP-INF-CAT n13_a_law_h15a119__1->n13_a_law_h15a119__1_5 n13_a_law_h15a119__1_6 PUNC n13_a_law_h15a119__1->n13_a_law_h15a119__1_6 n13_a_law_h15a119__1_1_1 ADV n13_a_law_h15a119__1_1->n13_a_law_h15a119__1_1_1 n13_a_law_h15a119__1_1_1->n13_a_law_h15a119__1_1_1_1 n13_a_law_h15a119__1_2->n13_a_law_h15a119__1_2_1 n13_a_law_h15a119__1_3_1 D n13_a_law_h15a119__1_3->n13_a_law_h15a119__1_3_1 n13_a_law_h15a119__1_3_2 ADJP n13_a_law_h15a119__1_3->n13_a_law_h15a119__1_3_2 n13_a_law_h15a119__1_3_3 NS n13_a_law_h15a119__1_3->n13_a_law_h15a119__1_3_3 n13_a_law_h15a119__1_3_1->n13_a_law_h15a119__1_3_1_1 n13_a_law_h15a119__1_3_2_1 ADJ n13_a_law_h15a119__1_3_2->n13_a_law_h15a119__1_3_2_1 n13_a_law_h15a119__1_3_2_1->n13_a_law_h15a119__1_3_2_1_1 n13_a_law_h15a119__1_3_3->n13_a_law_h15a119__1_3_3_1 n13_a_law_h15a119__1_4->n13_a_law_h15a119__1_4_1 n13_a_law_h15a119__1_5_1 BE;_cat_VePASS_ n13_a_law_h15a119__1_5->n13_a_law_h15a119__1_5_1 n13_a_law_h15a119__1_5_2 IP-PPL-CAT n13_a_law_h15a119__1_5->n13_a_law_h15a119__1_5_2 n13_a_law_h15a119__1_5_1->n13_a_law_h15a119__1_5_1_1 n13_a_law_h15a119__1_5_2_1 NP-LGS n13_a_law_h15a119__1_5_2->n13_a_law_h15a119__1_5_2_1 n13_a_law_h15a119__1_5_2_2 VVN;_Tn_ n13_a_law_h15a119__1_5_2->n13_a_law_h15a119__1_5_2_2 n13_a_law_h15a119__1_5_2_1->n13_a_law_h15a119__1_5_2_1_1 n13_a_law_h15a119__1_5_2_2->n13_a_law_h15a119__1_5_2_2_1 n13_a_law_h15a119__1_6->n13_a_law_h15a119__1_6_1 
( (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))


%3 r_0013_0008__excluded excluded z_0013_5006___star_ * r_0013_0008__excluded->z_0013_5006___star_ [arg0] r_0013_0003__the_r_0013_0005__entities the entities r_0013_0008__excluded->r_0013_0003__the_r_0013_0005__entities [arg1] r_0013_0004__following following r_0013_0003__the_r_0013_0005__entities->r_0013_0004__following [attrib] r_0013_0007__be be r_0013_0007__be->r_0013_0008__excluded [scope] r_0013_0006__shall shall r_0013_0006__shall->r_0013_0007__be [scope] r_0013_0001__however however r_0013_0006__shall->r_0013_0001__however [nim] 
arc(r_0013_0003__the_r_0013_0005__entities,r_0013_0004__following,attrib).
arc(r_0013_0006__shall,r_0013_0001__however,nim).
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_0013_5006___star_,arg0).


%3 r_0013_0003__the_r_0013_0005__entities the entities r_0013_0004__following following r_0013_0003__the_r_0013_0005__entities->r_0013_0004__following [attrib] r_0013_0006__shall_r_0013_0007__be_r_0013_0008__excluded shall be excluded r_0013_0006__shall_r_0013_0007__be_r_0013_0008__excluded->r_0013_0003__the_r_0013_0005__entities [arg1] r_0013_0001__however however r_0013_0006__shall_r_0013_0007__be_r_0013_0008__excluded->r_0013_0001__however [nim] z_0013_5006___star_ * r_0013_0006__shall_r_0013_0007__be_r_0013_0008__excluded->z_0013_5006___star_ [arg0] 
fof(formula,axiom,
    ? [R_0013_0001__HOWEVER,R_0013_0004__FOLLOWING,R_0013_0003__THE_R_0013_0005__ENTITIES,Z_0013_5006___STAR_,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_0013_5006___star_(Z_0013_5006___STAR_)
      & 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_0013_5006___STAR_)
      & 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_attrib(R_0013_0003__THE_R_0013_0005__ENTITIES,R_0013_0004__FOLLOWING)
      & has_nim(R_0013_0006__SHALL_R_0013_0007__BE_R_0013_0008__EXCLUDED,R_0013_0001__HOWEVER) ) ).