Context                Previous, Next                Top


147_a_law_h15a119
Article 25

n147_a_law_h15a119 n147_a_law_h15a119__1_1_1 Article n147_a_law_h15a119__1_2_1 25 n147_a_law_h15a119__1 NP n147_a_law_h15a119__1_1 N n147_a_law_h15a119__1->n147_a_law_h15a119__1_1 n147_a_law_h15a119__1_2 NUM n147_a_law_h15a119__1->n147_a_law_h15a119__1_2 n147_a_law_h15a119__1_1->n147_a_law_h15a119__1_1_1 n147_a_law_h15a119__1_2->n147_a_law_h15a119__1_2_1 
( (NP (N Article;{article})
      (NUM 25))
  (ID 147_a_law_h15a119;120_4_25))


%3 z_0147_5004 r_0147_0001__Article_r_0147_0002__25 Article 25 z_0147_5004->r_0147_0001__Article_r_0147_0002__25 
arc(z_0147_5004,r_0147_0001__Article_r_0147_0002__25,z_0147_5002).


%3 z_0147_5004 r_0147_0001__Article_r_0147_0002__25 Article 25 z_0147_5004->r_0147_0001__Article_r_0147_0002__25 
fof(formula,axiom,
    ? [R_0147_0001__ARTICLE_R_0147_0002__25,Z_0147_5004] :
      ( r_0147_0001__Article_r_0147_0002__25(R_0147_0001__ARTICLE_R_0147_0002__25)
      & z_0147_5004(Z_0147_5004)
      & has_z_0147_5002(Z_0147_5004,R_0147_0001__ARTICLE_R_0147_0002__25) ) ).