Context                Previous, Next                Top


255_a_law_h15a119
Article 46

n255_a_law_h15a119 n255_a_law_h15a119__1_1_1 Article n255_a_law_h15a119__1_2_1 46 n255_a_law_h15a119__1 NP n255_a_law_h15a119__1_1 N n255_a_law_h15a119__1->n255_a_law_h15a119__1_1 n255_a_law_h15a119__1_2 NUM n255_a_law_h15a119__1->n255_a_law_h15a119__1_2 n255_a_law_h15a119__1_1->n255_a_law_h15a119__1_1_1 n255_a_law_h15a119__1_2->n255_a_law_h15a119__1_2_1 
( (NP (N Article;{article})
      (NUM 46))
  (ID 255_a_law_h15a119;201_4_46))


%3 z_0255_5004 r_0255_0001__Article_r_0255_0002__46 Article 46 z_0255_5004->r_0255_0001__Article_r_0255_0002__46 
arc(z_0255_5004,r_0255_0001__Article_r_0255_0002__46,z_0255_5002).


%3 z_0255_5004 r_0255_0001__Article_r_0255_0002__46 Article 46 z_0255_5004->r_0255_0001__Article_r_0255_0002__46 
fof(formula,axiom,
    ? [R_0255_0001__ARTICLE_R_0255_0002__46,Z_0255_5004] :
      ( r_0255_0001__Article_r_0255_0002__46(R_0255_0001__ARTICLE_R_0255_0002__46)
      & z_0255_5004(Z_0255_5004)
      & has_z_0255_5002(Z_0255_5004,R_0255_0001__ARTICLE_R_0255_0002__46) ) ).