Context                Previous, Next                Top


82_a_saint_exupery_1943
It has horns.”

%3 r_0082_0002__has has r_0082_0001__It It r_0082_0002__has->r_0082_0001__It [arg0] r_0082_0003__horns horns r_0082_0002__has->r_0082_0003__horns [arg1] 
arc(r_0082_0002__has, r_0082_0001__It, arg0).
arc(r_0082_0002__has, r_0082_0003__horns, arg1).


%3 r_0082_0002__has has r_0082_0003__horns horns r_0082_0002__has->r_0082_0003__horns [arg1] r_0082_0001__It It r_0082_0002__has->r_0082_0001__It [arg0] 
fof(formula,axiom,
    ? [R_82_2_HAS,R_82_1_IT,R_82_3_HORNS] :
      ( it(R_82_1_IT)
      & horns(R_82_3_HORNS)
      & has(R_82_2_HAS,R_82_1_IT,R_82_3_HORNS) ) ).


n82_a_saint_exupery_1943 n82_a_saint_exupery_1943__1_1_1_1 It n82_a_saint_exupery_1943__1_2_1 has n82_a_saint_exupery_1943__1_3_1_1 horns n82_a_saint_exupery_1943__1_4_1 . n82_a_saint_exupery_1943__1_5_1 <rdquo> n82_a_saint_exupery_1943__1 IP-MAT n82_a_saint_exupery_1943__1_1 NP-SBJ n82_a_saint_exupery_1943__1->n82_a_saint_exupery_1943__1_1 n82_a_saint_exupery_1943__1_2 HVP;_Tn_ n82_a_saint_exupery_1943__1->n82_a_saint_exupery_1943__1_2 n82_a_saint_exupery_1943__1_3 NP-OB1 n82_a_saint_exupery_1943__1->n82_a_saint_exupery_1943__1_3 n82_a_saint_exupery_1943__1_4 PUNC n82_a_saint_exupery_1943__1->n82_a_saint_exupery_1943__1_4 n82_a_saint_exupery_1943__1_5 PURQ n82_a_saint_exupery_1943__1->n82_a_saint_exupery_1943__1_5 n82_a_saint_exupery_1943__1_1_1 PRO n82_a_saint_exupery_1943__1_1->n82_a_saint_exupery_1943__1_1_1 n82_a_saint_exupery_1943__1_1_1->n82_a_saint_exupery_1943__1_1_1_1 n82_a_saint_exupery_1943__1_2->n82_a_saint_exupery_1943__1_2_1 n82_a_saint_exupery_1943__1_3_1 NS n82_a_saint_exupery_1943__1_3->n82_a_saint_exupery_1943__1_3_1 n82_a_saint_exupery_1943__1_3_1->n82_a_saint_exupery_1943__1_3_1_1 n82_a_saint_exupery_1943__1_4->n82_a_saint_exupery_1943__1_4_1 n82_a_saint_exupery_1943__1_5->n82_a_saint_exupery_1943__1_5_1 
( (IP-MAT (NP-SBJ;{RAM} (PRO It;{it}))
          (HVP;_Tn_ has;{have})
          (NP-OB1 (NS horns;{horn}))
          (PUNC .)
          (PURQ <rdquo>))
  (ID 82_a_saint_exupery_1943))