Context                Previous, Next                Top


102_a_saint_exupery_1943
He has gone to sleep...”

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


%3 r_0102_0002__has_r_0102_0003__gone_r_0102_0004__to_r_0102_0005__sleep has gone to sleep r_0102_0001__He He r_0102_0002__has_r_0102_0003__gone_r_0102_0004__to_r_0102_0005__sleep->r_0102_0001__He [arg0] 
fof(formula,axiom,
    ? [R_102_2_HAS_GONE_TO_SLEEP,R_102_1_HE] :
      ( he(R_102_1_HE)
      & has_gone_to_sleep(R_102_2_HAS_GONE_TO_SLEEP,R_102_1_HE) ) ).


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))