Context                Previous, Next                Top


116_a_ted_talk_11
He'd known her for a month.

%3 r_0116_0002___apos_d 'd r_0116_0003__known known r_0116_0002___apos_d->r_0116_0003__known [scope] r_0116_0001__He He r_0116_0003__known->r_0116_0001__He [arg0] r_0116_0004__her her r_0116_0003__known->r_0116_0004__her [arg1] r_0116_0006__a_r_0116_0007__month a month r_0116_0003__known->r_0116_0006__a_r_0116_0007__month for [nim] 
arc(r_0116_0002___apos_d, r_0116_0003__known, scope).
arc(r_0116_0003__known, r_0116_0001__He, arg0).
arc(r_0116_0003__known, r_0116_0004__her, arg1).
arc(r_0116_0003__known, r_0116_0006__a_r_0116_0007__month, r_0116_0005__for_nim16).


%3 r_0116_0002___apos_d_r_0116_0003__known 'd known r_0116_0001__He He r_0116_0002___apos_d_r_0116_0003__known->r_0116_0001__He [arg0] r_0116_0004__her her r_0116_0002___apos_d_r_0116_0003__known->r_0116_0004__her [arg1] r_0116_0006__a_r_0116_0007__month a month r_0116_0002___apos_d_r_0116_0003__known->r_0116_0006__a_r_0116_0007__month for [nim] 
fof(formula,axiom,
    ? [R_116_2__APOS_D_KNOWN,R_116_1_HE,R_116_4_HER,R_116_6_A_MONTH] :
      ( he(R_116_1_HE)
      & her(R_116_4_HER)
      & a_month(R_116_6_A_MONTH)
      & _apos_d_known(R_116_2__APOS_D_KNOWN,R_116_1_HE,R_116_4_HER)
      & for_nim16(R_116_2__APOS_D_KNOWN,R_116_6_A_MONTH) ) ).


n116_a_ted_talk_11 n116_a_ted_talk_11_4 He n116_a_ted_talk_11_6 'd n116_a_ted_talk_11_9 known n116_a_ted_talk_11_12 her n116_a_ted_talk_11_15 for n116_a_ted_talk_11_18 a n116_a_ted_talk_11_20 month n116_a_ted_talk_11_22 . n116_a_ted_talk_11_1 IP-MAT n116_a_ted_talk_11_2 NP-SBJ n116_a_ted_talk_11_1->n116_a_ted_talk_11_2 n116_a_ted_talk_11_5 HVD;_cat_Ve_ n116_a_ted_talk_11_1->n116_a_ted_talk_11_5 n116_a_ted_talk_11_7 IP-PPL-CAT n116_a_ted_talk_11_1->n116_a_ted_talk_11_7 n116_a_ted_talk_11_21 PUNC n116_a_ted_talk_11_1->n116_a_ted_talk_11_21 n116_a_ted_talk_11_3 PRO n116_a_ted_talk_11_2->n116_a_ted_talk_11_3 n116_a_ted_talk_11_3->n116_a_ted_talk_11_4 n116_a_ted_talk_11_5->n116_a_ted_talk_11_6 n116_a_ted_talk_11_8 VVN;_Tn_ n116_a_ted_talk_11_7->n116_a_ted_talk_11_8 n116_a_ted_talk_11_10 NP-OB1 n116_a_ted_talk_11_7->n116_a_ted_talk_11_10 n116_a_ted_talk_11_13 PP-NIM n116_a_ted_talk_11_7->n116_a_ted_talk_11_13 n116_a_ted_talk_11_8->n116_a_ted_talk_11_9 n116_a_ted_talk_11_11 PRO n116_a_ted_talk_11_10->n116_a_ted_talk_11_11 n116_a_ted_talk_11_11->n116_a_ted_talk_11_12 n116_a_ted_talk_11_14 P-ROLE n116_a_ted_talk_11_13->n116_a_ted_talk_11_14 n116_a_ted_talk_11_16 NP n116_a_ted_talk_11_13->n116_a_ted_talk_11_16 n116_a_ted_talk_11_14->n116_a_ted_talk_11_15 n116_a_ted_talk_11_17 D n116_a_ted_talk_11_16->n116_a_ted_talk_11_17 n116_a_ted_talk_11_19 N n116_a_ted_talk_11_16->n116_a_ted_talk_11_19 n116_a_ted_talk_11_17->n116_a_ted_talk_11_18 n116_a_ted_talk_11_19->n116_a_ted_talk_11_20 n116_a_ted_talk_11_21->n116_a_ted_talk_11_22 
( (IP-MAT (NP-SBJ;{JAMES} (PRO He;{he}))
          (HVD;_cat_Ve_ <apos>d;{have})
          (IP-PPL-CAT (VVN;_Tn_ known;{know})
                      (NP-OB1;{SARAH} (PRO her;{her}))
                      (PP-NIM (P-ROLE for;{for})
                              (NP (D a;{a})
                                  (N month;{month}))))
          (PUNC .))
  (ID 116_a_ted_talk_11))