Context                Previous, Next                Top


252_a_law_h15a119
Article 45

n252_a_law_h15a119 n252_a_law_h15a119__1_1_1 Article n252_a_law_h15a119__1_2_1 45 n252_a_law_h15a119__1 NP n252_a_law_h15a119__1_1 N n252_a_law_h15a119__1->n252_a_law_h15a119__1_1 n252_a_law_h15a119__1_2 NUM n252_a_law_h15a119__1->n252_a_law_h15a119__1_2 n252_a_law_h15a119__1_1->n252_a_law_h15a119__1_1_1 n252_a_law_h15a119__1_2->n252_a_law_h15a119__1_2_1 
( (NP (N Article;{article})
      (NUM 45))
  (ID 252_a_law_h15a119;199_4_45))


%3 z_0252_5004 r_0252_0001__Article_r_0252_0002__45 Article 45 z_0252_5004->r_0252_0001__Article_r_0252_0002__45 
arc(z_0252_5004,r_0252_0001__Article_r_0252_0002__45,z_0252_5002).


%3 z_0252_5004 r_0252_0001__Article_r_0252_0002__45 Article 45 z_0252_5004->r_0252_0001__Article_r_0252_0002__45 
fof(formula,axiom,
    ? [R_0252_0001__ARTICLE_R_0252_0002__45,Z_0252_5004] :
      ( r_0252_0001__Article_r_0252_0002__45(R_0252_0001__ARTICLE_R_0252_0002__45)
      & z_0252_5004(Z_0252_5004)
      & has_z_0252_5002(Z_0252_5004,R_0252_0001__ARTICLE_R_0252_0002__45) ) ).