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_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] 
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_4 This n81_a_saint_exupery_1943_6 is n81_a_saint_exupery_1943_9 a n81_a_saint_exupery_1943_11 ram n81_a_saint_exupery_1943_13 . n81_a_saint_exupery_1943_1 IP-MAT n81_a_saint_exupery_1943_2 NP-SBJ n81_a_saint_exupery_1943_1->n81_a_saint_exupery_1943_2 n81_a_saint_exupery_1943_5 BEP;_Ln_ n81_a_saint_exupery_1943_1->n81_a_saint_exupery_1943_5 n81_a_saint_exupery_1943_7 NP-PRD n81_a_saint_exupery_1943_1->n81_a_saint_exupery_1943_7 n81_a_saint_exupery_1943_12 PUNC n81_a_saint_exupery_1943_1->n81_a_saint_exupery_1943_12 n81_a_saint_exupery_1943_3 D;_nphd_ n81_a_saint_exupery_1943_2->n81_a_saint_exupery_1943_3 n81_a_saint_exupery_1943_3->n81_a_saint_exupery_1943_4 n81_a_saint_exupery_1943_5->n81_a_saint_exupery_1943_6 n81_a_saint_exupery_1943_8 D n81_a_saint_exupery_1943_7->n81_a_saint_exupery_1943_8 n81_a_saint_exupery_1943_10 N n81_a_saint_exupery_1943_7->n81_a_saint_exupery_1943_10 n81_a_saint_exupery_1943_8->n81_a_saint_exupery_1943_9 n81_a_saint_exupery_1943_10->n81_a_saint_exupery_1943_11 n81_a_saint_exupery_1943_12->n81_a_saint_exupery_1943_13 
( (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))