Context                Previous, Next                Top


82_a_saint_exupery_1943
It has 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))


%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] 
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_0082_0001__IT,R_0082_0003__HORNS,R_0082_0002__HAS] :
      ( r_0082_0001__It(R_0082_0001__IT)
      & r_0082_0003__horns(R_0082_0003__HORNS)
      & r_0082_0002__has(R_0082_0002__HAS)
      & has_arg1(R_0082_0002__HAS,R_0082_0003__HORNS)
      & has_arg0(R_0082_0002__HAS,R_0082_0001__IT) ) ).