Context                Previous, Next                Top


309_a_law_h15a119
Article 56

n309_a_law_h15a119 n309_a_law_h15a119__1_1_1 Article n309_a_law_h15a119__1_2_1 56 n309_a_law_h15a119__1 NP n309_a_law_h15a119__1_1 N n309_a_law_h15a119__1->n309_a_law_h15a119__1_1 n309_a_law_h15a119__1_2 NUM n309_a_law_h15a119__1->n309_a_law_h15a119__1_2 n309_a_law_h15a119__1_1->n309_a_law_h15a119__1_1_1 n309_a_law_h15a119__1_2->n309_a_law_h15a119__1_2_1 
( (NP (N Article;{article})
      (NUM 56))
  (ID 309_a_law_h15a119;239_6_56))


%3 z_0309_5004 r_0309_0001__Article_r_0309_0002__56 Article 56 z_0309_5004->r_0309_0001__Article_r_0309_0002__56 
arc(z_0309_5004,r_0309_0001__Article_r_0309_0002__56,z_0309_5002).


%3 z_0309_5004 r_0309_0001__Article_r_0309_0002__56 Article 56 z_0309_5004->r_0309_0001__Article_r_0309_0002__56 
fof(formula,axiom,
    ? [R_0309_0001__ARTICLE_R_0309_0002__56,Z_0309_5004] :
      ( r_0309_0001__Article_r_0309_0002__56(R_0309_0001__ARTICLE_R_0309_0002__56)
      & z_0309_5004(Z_0309_5004)
      & has_z_0309_5002(Z_0309_5004,R_0309_0001__ARTICLE_R_0309_0002__56) ) ).