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_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] 
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_4 It n82_a_saint_exupery_1943_6 has n82_a_saint_exupery_1943_9 horns n82_a_saint_exupery_1943_11 . n82_a_saint_exupery_1943_13 <rdquo> n82_a_saint_exupery_1943_1 IP-MAT n82_a_saint_exupery_1943_2 NP-SBJ n82_a_saint_exupery_1943_1->n82_a_saint_exupery_1943_2 n82_a_saint_exupery_1943_5 HVP;_Tn_ n82_a_saint_exupery_1943_1->n82_a_saint_exupery_1943_5 n82_a_saint_exupery_1943_7 NP-OB1 n82_a_saint_exupery_1943_1->n82_a_saint_exupery_1943_7 n82_a_saint_exupery_1943_10 PUNC n82_a_saint_exupery_1943_1->n82_a_saint_exupery_1943_10 n82_a_saint_exupery_1943_12 PURQ n82_a_saint_exupery_1943_1->n82_a_saint_exupery_1943_12 n82_a_saint_exupery_1943_3 PRO n82_a_saint_exupery_1943_2->n82_a_saint_exupery_1943_3 n82_a_saint_exupery_1943_3->n82_a_saint_exupery_1943_4 n82_a_saint_exupery_1943_5->n82_a_saint_exupery_1943_6 n82_a_saint_exupery_1943_8 NS n82_a_saint_exupery_1943_7->n82_a_saint_exupery_1943_8 n82_a_saint_exupery_1943_8->n82_a_saint_exupery_1943_9 n82_a_saint_exupery_1943_10->n82_a_saint_exupery_1943_11 n82_a_saint_exupery_1943_12->n82_a_saint_exupery_1943_13 
( (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))