Context                Previous, Next                Top


283_a_law_h15a119
the purpose for literary work

%3 r_0283_0001__the_r_0283_0002__purpose the purpose r_0283_0005__work work r_0283_0001__the_r_0283_0002__purpose->r_0283_0005__work for r_0283_0004__literary literary r_0283_0005__work->r_0283_0004__literary [attrib] z_000_283_a_law_h15a119_1 z_000_283_a_law_h15a119_1->r_0283_0001__the_r_0283_0002__purpose [nim] 
arc(r_0283_0001__the_r_0283_0002__purpose, r_0283_0005__work, r_0283_0003__for).
arc(r_0283_0005__work, r_0283_0004__literary, attrib11).
arc(z_000_283_a_law_h15a119_1, r_0283_0001__the_r_0283_0002__purpose, nim2).


%3 z_000_283_a_law_h15a119_1 r_0283_0001__the_r_0283_0002__purpose the purpose z_000_283_a_law_h15a119_1->r_0283_0001__the_r_0283_0002__purpose [nim] r_0283_0005__work work r_0283_0001__the_r_0283_0002__purpose->r_0283_0005__work for r_0283_0004__literary literary r_0283_0005__work->r_0283_0004__literary [attrib] 
fof(formula,axiom,
    ? [R_0283_0004__LITERARY,R_0283_0005__WORK,R_0283_0001__THE_R_0283_0002__PURPOSE,Z_000_283_A_LAW_H15A119_1] :
      ( r_0283_0004__literary(R_0283_0004__LITERARY)
      & z_000_283_a_law_h15a119_1(Z_000_283_A_LAW_H15A119_1)
      & has_nim2(Z_000_283_A_LAW_H15A119_1,R_0283_0001__THE_R_0283_0002__PURPOSE)
      & r_0283_0001__the_r_0283_0002__purpose(R_0283_0001__THE_R_0283_0002__PURPOSE)
      & has_r_0283_0003__for(R_0283_0001__THE_R_0283_0002__PURPOSE,R_0283_0005__WORK)
      & r_0283_0005__work(R_0283_0005__WORK)
      & has_attrib11(R_0283_0005__WORK,R_0283_0004__LITERARY) ) ).


n283_a_law_h15a119 n283_a_law_h15a119__1_1_1_1 the n283_a_law_h15a119__1_1_2_1 purpose n283_a_law_h15a119__1_1_3_1_1 for n283_a_law_h15a119__1_1_3_2_1_1_1 literary n283_a_law_h15a119__1_1_3_2_2_1 work n283_a_law_h15a119__1 FRAG n283_a_law_h15a119__1_1 NP n283_a_law_h15a119__1->n283_a_law_h15a119__1_1 n283_a_law_h15a119__1_1_1 D n283_a_law_h15a119__1_1->n283_a_law_h15a119__1_1_1 n283_a_law_h15a119__1_1_2 N n283_a_law_h15a119__1_1->n283_a_law_h15a119__1_1_2 n283_a_law_h15a119__1_1_3 PP n283_a_law_h15a119__1_1->n283_a_law_h15a119__1_1_3 n283_a_law_h15a119__1_1_1->n283_a_law_h15a119__1_1_1_1 n283_a_law_h15a119__1_1_2->n283_a_law_h15a119__1_1_2_1 n283_a_law_h15a119__1_1_3_1 P-ROLE n283_a_law_h15a119__1_1_3->n283_a_law_h15a119__1_1_3_1 n283_a_law_h15a119__1_1_3_2 NP n283_a_law_h15a119__1_1_3->n283_a_law_h15a119__1_1_3_2 n283_a_law_h15a119__1_1_3_1->n283_a_law_h15a119__1_1_3_1_1 n283_a_law_h15a119__1_1_3_2_1 ADJP n283_a_law_h15a119__1_1_3_2->n283_a_law_h15a119__1_1_3_2_1 n283_a_law_h15a119__1_1_3_2_2 N n283_a_law_h15a119__1_1_3_2->n283_a_law_h15a119__1_1_3_2_2 n283_a_law_h15a119__1_1_3_2_1_1 ADJ n283_a_law_h15a119__1_1_3_2_1->n283_a_law_h15a119__1_1_3_2_1_1 n283_a_law_h15a119__1_1_3_2_1_1->n283_a_law_h15a119__1_1_3_2_1_1_1 n283_a_law_h15a119__1_1_3_2_2->n283_a_law_h15a119__1_1_3_2_2_1 
( (FRAG (NP (D the;{the})
            (N purpose;{purpose})
            (PP (P-ROLE for;{for})
                (NP (ADJP (ADJ literary;{literary}))
                    (N work;{work})))))
  (ID 283_a_law_h15a119;221_5_50_1ii))