Context                Previous, Next                Top


182_a_law_h15a119
Article 31

n182_a_law_h15a119 n182_a_law_h15a119__1_1_1 Article n182_a_law_h15a119__1_2_1 31 n182_a_law_h15a119__1 NP n182_a_law_h15a119__1_1 N n182_a_law_h15a119__1->n182_a_law_h15a119__1_1 n182_a_law_h15a119__1_2 NUM n182_a_law_h15a119__1->n182_a_law_h15a119__1_2 n182_a_law_h15a119__1_1->n182_a_law_h15a119__1_1_1 n182_a_law_h15a119__1_2->n182_a_law_h15a119__1_2_1 
( (NP (N Article;{article})
      (NUM 31))
  (ID 182_a_law_h15a119;144_4_31))


%3 z_0182_5004 r_0182_0001__Article_r_0182_0002__31 Article 31 z_0182_5004->r_0182_0001__Article_r_0182_0002__31 
arc(z_0182_5004,r_0182_0001__Article_r_0182_0002__31,z_0182_5002).


%3 z_0182_5004 r_0182_0001__Article_r_0182_0002__31 Article 31 z_0182_5004->r_0182_0001__Article_r_0182_0002__31 
fof(formula,axiom,
    ? [R_0182_0001__ARTICLE_R_0182_0002__31,Z_0182_5004] :
      ( r_0182_0001__Article_r_0182_0002__31(R_0182_0001__ARTICLE_R_0182_0002__31)
      & z_0182_5004(Z_0182_5004)
      & has_z_0182_5002(Z_0182_5004,R_0182_0001__ARTICLE_R_0182_0002__31) ) ).