Context                Previous, Next                Top


218_a_law_h15a119
Article 38

n218_a_law_h15a119 n218_a_law_h15a119__1_1_1 Article n218_a_law_h15a119__1_2_1 38 n218_a_law_h15a119__1 NP n218_a_law_h15a119__1_1 N n218_a_law_h15a119__1->n218_a_law_h15a119__1_1 n218_a_law_h15a119__1_2 NUM n218_a_law_h15a119__1->n218_a_law_h15a119__1_2 n218_a_law_h15a119__1_1->n218_a_law_h15a119__1_1_1 n218_a_law_h15a119__1_2->n218_a_law_h15a119__1_2_1 
( (NP (N Article;{article})
      (NUM 38))
  (ID 218_a_law_h15a119;172_4_38))


%3 z_0218_5004 r_0218_0001__Article_r_0218_0002__38 Article 38 z_0218_5004->r_0218_0001__Article_r_0218_0002__38 
arc(z_0218_5004,r_0218_0001__Article_r_0218_0002__38,z_0218_5002).


%3 z_0218_5004 r_0218_0001__Article_r_0218_0002__38 Article 38 z_0218_5004->r_0218_0001__Article_r_0218_0002__38 
fof(formula,axiom,
    ? [R_0218_0001__ARTICLE_R_0218_0002__38,Z_0218_5004] :
      ( r_0218_0001__Article_r_0218_0002__38(R_0218_0001__ARTICLE_R_0218_0002__38)
      & z_0218_5004(Z_0218_5004)
      & has_z_0218_5002(Z_0218_5004,R_0218_0001__ARTICLE_R_0218_0002__38) ) ).