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_4 He n102_a_saint_exupery_1943_6 has n102_a_saint_exupery_1943_9 gone n102_a_saint_exupery_1943_12 to n102_a_saint_exupery_1943_14 sleep n102_a_saint_exupery_1943_16 ... n102_a_saint_exupery_1943_18 <rdquo> n102_a_saint_exupery_1943_1 IP-MAT n102_a_saint_exupery_1943_2 NP-SBJ n102_a_saint_exupery_1943_1->n102_a_saint_exupery_1943_2 n102_a_saint_exupery_1943_5 HVP;_cat_Ve_ n102_a_saint_exupery_1943_1->n102_a_saint_exupery_1943_5 n102_a_saint_exupery_1943_7 IP-PPL-CAT n102_a_saint_exupery_1943_1->n102_a_saint_exupery_1943_7 n102_a_saint_exupery_1943_15 PUNC n102_a_saint_exupery_1943_1->n102_a_saint_exupery_1943_15 n102_a_saint_exupery_1943_17 PURQ n102_a_saint_exupery_1943_1->n102_a_saint_exupery_1943_17 n102_a_saint_exupery_1943_3 PRO n102_a_saint_exupery_1943_2->n102_a_saint_exupery_1943_3 n102_a_saint_exupery_1943_3->n102_a_saint_exupery_1943_4 n102_a_saint_exupery_1943_5->n102_a_saint_exupery_1943_6 n102_a_saint_exupery_1943_8 VVN;_cat_Vt_ n102_a_saint_exupery_1943_7->n102_a_saint_exupery_1943_8 n102_a_saint_exupery_1943_10 IP-INF-CAT n102_a_saint_exupery_1943_7->n102_a_saint_exupery_1943_10 n102_a_saint_exupery_1943_8->n102_a_saint_exupery_1943_9 n102_a_saint_exupery_1943_11 TO n102_a_saint_exupery_1943_10->n102_a_saint_exupery_1943_11 n102_a_saint_exupery_1943_13 VB;_I_ n102_a_saint_exupery_1943_10->n102_a_saint_exupery_1943_13 n102_a_saint_exupery_1943_11->n102_a_saint_exupery_1943_12 n102_a_saint_exupery_1943_13->n102_a_saint_exupery_1943_14 n102_a_saint_exupery_1943_15->n102_a_saint_exupery_1943_16 n102_a_saint_exupery_1943_17->n102_a_saint_exupery_1943_18 
( (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))