Context                Previous, Next                Top


135_a_law_h15a119
Article 24

n135_a_law_h15a119 n135_a_law_h15a119__1_1_1 Article n135_a_law_h15a119__1_2_1 24 n135_a_law_h15a119__1 NP n135_a_law_h15a119__1_1 N n135_a_law_h15a119__1->n135_a_law_h15a119__1_1 n135_a_law_h15a119__1_2 NUM n135_a_law_h15a119__1->n135_a_law_h15a119__1_2 n135_a_law_h15a119__1_1->n135_a_law_h15a119__1_1_1 n135_a_law_h15a119__1_2->n135_a_law_h15a119__1_2_1 
( (NP (N Article;{article})
      (NUM 24))
  (ID 135_a_law_h15a119;110_4_24))


%3 z_0135_5004 r_0135_0001__Article_r_0135_0002__24 Article 24 z_0135_5004->r_0135_0001__Article_r_0135_0002__24 
arc(z_0135_5004,r_0135_0001__Article_r_0135_0002__24,z_0135_5002).


%3 z_0135_5004 r_0135_0001__Article_r_0135_0002__24 Article 24 z_0135_5004->r_0135_0001__Article_r_0135_0002__24 
fof(formula,axiom,
    ? [R_0135_0001__ARTICLE_R_0135_0002__24,Z_0135_5004] :
      ( r_0135_0001__Article_r_0135_0002__24(R_0135_0001__ARTICLE_R_0135_0002__24)
      & z_0135_5004(Z_0135_5004)
      & has_z_0135_5002(Z_0135_5004,R_0135_0001__ARTICLE_R_0135_0002__24) ) ).