Context                Previous, Next                Top


117_a_law_h15a119
Article 23

n117_a_law_h15a119 n117_a_law_h15a119__1_1_1 Article n117_a_law_h15a119__1_2_1 23 n117_a_law_h15a119__1 NP n117_a_law_h15a119__1_1 N n117_a_law_h15a119__1->n117_a_law_h15a119__1_1 n117_a_law_h15a119__1_2 NUM n117_a_law_h15a119__1->n117_a_law_h15a119__1_2 n117_a_law_h15a119__1_1->n117_a_law_h15a119__1_1_1 n117_a_law_h15a119__1_2->n117_a_law_h15a119__1_2_1 
( (NP (N Article;{article})
      (NUM 23))
  (ID 117_a_law_h15a119;93_4_23))


%3 z_0117_5004 r_0117_0001__Article_r_0117_0002__23 Article 23 z_0117_5004->r_0117_0001__Article_r_0117_0002__23 
arc(z_0117_5004,r_0117_0001__Article_r_0117_0002__23,z_0117_5002).


%3 z_0117_5004 r_0117_0001__Article_r_0117_0002__23 Article 23 z_0117_5004->r_0117_0001__Article_r_0117_0002__23 
fof(formula,axiom,
    ? [R_0117_0001__ARTICLE_R_0117_0002__23,Z_0117_5004] :
      ( r_0117_0001__Article_r_0117_0002__23(R_0117_0001__ARTICLE_R_0117_0002__23)
      & z_0117_5004(Z_0117_5004)
      & has_z_0117_5002(Z_0117_5004,R_0117_0001__ARTICLE_R_0117_0002__23) ) ).