Context                Previous, Next                Top


81_a_saint_exupery_1943
This is a ram.

%3 r_0081_0002__is is r_0081_0001__This This r_0081_0002__is->r_0081_0001__This [arg0] r_0081_0003__a_r_0081_0004__ram a ram r_0081_0002__is->r_0081_0003__a_r_0081_0004__ram [prd] 
arc(r_0081_0002__is, r_0081_0001__This, arg0).
arc(r_0081_0002__is, r_0081_0003__a_r_0081_0004__ram, prd).


%3 r_0081_0002__is is r_0081_0003__a_r_0081_0004__ram a ram r_0081_0002__is->r_0081_0003__a_r_0081_0004__ram [prd] r_0081_0001__This This r_0081_0002__is->r_0081_0001__This [arg0] 
fof(formula,axiom,
    ? [R_81_2_IS,R_81_1_THIS,R_81_3_A_RAM] :
      ( this(R_81_1_THIS)
      & a_ram(R_81_3_A_RAM)
      & is(R_81_2_IS,R_81_1_THIS,R_81_3_A_RAM) ) ).


n81_a_saint_exupery_1943 n81_a_saint_exupery_1943__1_1_1_1 This n81_a_saint_exupery_1943__1_2_1 is n81_a_saint_exupery_1943__1_3_1_1 a n81_a_saint_exupery_1943__1_3_2_1 ram n81_a_saint_exupery_1943__1_4_1 . n81_a_saint_exupery_1943__1 IP-MAT n81_a_saint_exupery_1943__1_1 NP-SBJ n81_a_saint_exupery_1943__1->n81_a_saint_exupery_1943__1_1 n81_a_saint_exupery_1943__1_2 BEP;_Ln_ n81_a_saint_exupery_1943__1->n81_a_saint_exupery_1943__1_2 n81_a_saint_exupery_1943__1_3 NP-PRD n81_a_saint_exupery_1943__1->n81_a_saint_exupery_1943__1_3 n81_a_saint_exupery_1943__1_4 PUNC n81_a_saint_exupery_1943__1->n81_a_saint_exupery_1943__1_4 n81_a_saint_exupery_1943__1_1_1 D;_nphd_ n81_a_saint_exupery_1943__1_1->n81_a_saint_exupery_1943__1_1_1 n81_a_saint_exupery_1943__1_1_1->n81_a_saint_exupery_1943__1_1_1_1 n81_a_saint_exupery_1943__1_2->n81_a_saint_exupery_1943__1_2_1 n81_a_saint_exupery_1943__1_3_1 D n81_a_saint_exupery_1943__1_3->n81_a_saint_exupery_1943__1_3_1 n81_a_saint_exupery_1943__1_3_2 N n81_a_saint_exupery_1943__1_3->n81_a_saint_exupery_1943__1_3_2 n81_a_saint_exupery_1943__1_3_1->n81_a_saint_exupery_1943__1_3_1_1 n81_a_saint_exupery_1943__1_3_2->n81_a_saint_exupery_1943__1_3_2_1 n81_a_saint_exupery_1943__1_4->n81_a_saint_exupery_1943__1_4_1 
( (IP-MAT (NP-SBJ;{ARTWORK} (D;_nphd_ This;{this}))
          (BEP;_Ln_ is;{be})
          (NP-PRD;{RAM} (D a;{a})
                        (N ram;{ram}))
          (PUNC .))
  (ID 81_a_saint_exupery_1943))