Context                Previous, Next                Top


210_a_law_h15a119
Article 37

n210_a_law_h15a119 n210_a_law_h15a119__1_1_1 Article n210_a_law_h15a119__1_2_1 37 n210_a_law_h15a119__1 NP n210_a_law_h15a119__1_1 N n210_a_law_h15a119__1->n210_a_law_h15a119__1_1 n210_a_law_h15a119__1_2 NUM n210_a_law_h15a119__1->n210_a_law_h15a119__1_2 n210_a_law_h15a119__1_1->n210_a_law_h15a119__1_1_1 n210_a_law_h15a119__1_2->n210_a_law_h15a119__1_2_1 
( (NP (N Article;{article})
      (NUM 37))
  (ID 210_a_law_h15a119;165_4_37))


%3 z_0210_5004 r_0210_0001__Article_r_0210_0002__37 Article 37 z_0210_5004->r_0210_0001__Article_r_0210_0002__37 
arc(z_0210_5004,r_0210_0001__Article_r_0210_0002__37,z_0210_5002).


%3 z_0210_5004 r_0210_0001__Article_r_0210_0002__37 Article 37 z_0210_5004->r_0210_0001__Article_r_0210_0002__37 
fof(formula,axiom,
    ? [R_0210_0001__ARTICLE_R_0210_0002__37,Z_0210_5004] :
      ( r_0210_0001__Article_r_0210_0002__37(R_0210_0001__ARTICLE_R_0210_0002__37)
      & z_0210_5004(Z_0210_5004)
      & has_z_0210_5002(Z_0210_5004,R_0210_0001__ARTICLE_R_0210_0002__37) ) ).