Context                Previous, Next                Top


102_a_saint_exupery_1943
He has gone to sleep...”

n102_a_saint_exupery_1943 n102_a_saint_exupery_1943__1_1_1_1 He n102_a_saint_exupery_1943__1_2_1 has n102_a_saint_exupery_1943__1_3_1_1 gone n102_a_saint_exupery_1943__1_3_2_1_1 to n102_a_saint_exupery_1943__1_3_2_2_1 sleep n102_a_saint_exupery_1943__1_4_1 ... n102_a_saint_exupery_1943__1_5_1 <rdquo> n102_a_saint_exupery_1943__1 IP-MAT n102_a_saint_exupery_1943__1_1 NP-SBJ n102_a_saint_exupery_1943__1->n102_a_saint_exupery_1943__1_1 n102_a_saint_exupery_1943__1_2 HVP;_cat_Ve_ n102_a_saint_exupery_1943__1->n102_a_saint_exupery_1943__1_2 n102_a_saint_exupery_1943__1_3 IP-PPL-CAT n102_a_saint_exupery_1943__1->n102_a_saint_exupery_1943__1_3 n102_a_saint_exupery_1943__1_4 PUNC n102_a_saint_exupery_1943__1->n102_a_saint_exupery_1943__1_4 n102_a_saint_exupery_1943__1_5 PURQ n102_a_saint_exupery_1943__1->n102_a_saint_exupery_1943__1_5 n102_a_saint_exupery_1943__1_1_1 PRO n102_a_saint_exupery_1943__1_1->n102_a_saint_exupery_1943__1_1_1 n102_a_saint_exupery_1943__1_1_1->n102_a_saint_exupery_1943__1_1_1_1 n102_a_saint_exupery_1943__1_2->n102_a_saint_exupery_1943__1_2_1 n102_a_saint_exupery_1943__1_3_1 VVN;_cat_Vt_ n102_a_saint_exupery_1943__1_3->n102_a_saint_exupery_1943__1_3_1 n102_a_saint_exupery_1943__1_3_2 IP-INF-CAT n102_a_saint_exupery_1943__1_3->n102_a_saint_exupery_1943__1_3_2 n102_a_saint_exupery_1943__1_3_1->n102_a_saint_exupery_1943__1_3_1_1 n102_a_saint_exupery_1943__1_3_2_1 TO n102_a_saint_exupery_1943__1_3_2->n102_a_saint_exupery_1943__1_3_2_1 n102_a_saint_exupery_1943__1_3_2_2 VB;_I_ n102_a_saint_exupery_1943__1_3_2->n102_a_saint_exupery_1943__1_3_2_2 n102_a_saint_exupery_1943__1_3_2_1->n102_a_saint_exupery_1943__1_3_2_1_1 n102_a_saint_exupery_1943__1_3_2_2->n102_a_saint_exupery_1943__1_3_2_2_1 n102_a_saint_exupery_1943__1_4->n102_a_saint_exupery_1943__1_4_1 n102_a_saint_exupery_1943__1_5->n102_a_saint_exupery_1943__1_5_1 
( (IP-MAT (NP-SBJ;{SHEEP} (PRO He;{he}))
          (HVP;_cat_Ve_ has;{have})
          (IP-PPL-CAT (VVN;_cat_Vt_ gone;{go})
                      (IP-INF-CAT (TO to;{to})
                                  (VB;_I_ sleep;{sleep})))
          (PUNC ...)
          (PURQ <rdquo>))
  (ID 102_a_saint_exupery_1943))


%3 r_0102_0005__sleep sleep r_0102_0001__He He r_0102_0005__sleep->r_0102_0001__He [arg0] r_0102_0003__gone gone r_0102_0003__gone->r_0102_0005__sleep [scope] r_0102_0002__has has r_0102_0002__has->r_0102_0003__gone [scope] 
arc(r_0102_0002__has,r_0102_0003__gone,scope).
arc(r_0102_0003__gone,r_0102_0005__sleep,scope).
arc(r_0102_0005__sleep,r_0102_0001__He,arg0).


%3 r_0102_0002__has_r_0102_0003__gone_r_0102_0005__sleep has gone sleep r_0102_0001__He He r_0102_0002__has_r_0102_0003__gone_r_0102_0005__sleep->r_0102_0001__He [arg0] 
fof(formula,axiom,
    ? [R_0102_0001__HE,R_0102_0002__HAS_R_0102_0003__GONE_R_0102_0005__SLEEP] :
      ( r_0102_0001__He(R_0102_0001__HE)
      & r_0102_0002__has_r_0102_0003__gone_r_0102_0005__sleep(R_0102_0002__HAS_R_0102_0003__GONE_R_0102_0005__SLEEP)
      & has_arg0(R_0102_0002__HAS_R_0102_0003__GONE_R_0102_0005__SLEEP,R_0102_0001__HE) ) ).