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_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] r_0116_0004__her her r_0116_0002___apos_d_r_0116_0003__known->r_0116_0004__her [arg1] r_0116_0001__He He r_0116_0002___apos_d_r_0116_0003__known->r_0116_0001__He [arg0] 
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__1_1_1_1 He n116_a_ted_talk_11__1_2_1 'd n116_a_ted_talk_11__1_3_1_1 known n116_a_ted_talk_11__1_3_2_1_1 her n116_a_ted_talk_11__1_3_3_1_1 for n116_a_ted_talk_11__1_3_3_2_1_1 a n116_a_ted_talk_11__1_3_3_2_2_1 month n116_a_ted_talk_11__1_4_1 . n116_a_ted_talk_11__1 IP-MAT n116_a_ted_talk_11__1_1 NP-SBJ n116_a_ted_talk_11__1->n116_a_ted_talk_11__1_1 n116_a_ted_talk_11__1_2 HVD;_cat_Ve_ n116_a_ted_talk_11__1->n116_a_ted_talk_11__1_2 n116_a_ted_talk_11__1_3 IP-PPL-CAT n116_a_ted_talk_11__1->n116_a_ted_talk_11__1_3 n116_a_ted_talk_11__1_4 PUNC n116_a_ted_talk_11__1->n116_a_ted_talk_11__1_4 n116_a_ted_talk_11__1_1_1 PRO n116_a_ted_talk_11__1_1->n116_a_ted_talk_11__1_1_1 n116_a_ted_talk_11__1_1_1->n116_a_ted_talk_11__1_1_1_1 n116_a_ted_talk_11__1_2->n116_a_ted_talk_11__1_2_1 n116_a_ted_talk_11__1_3_1 VVN;_Tn_ n116_a_ted_talk_11__1_3->n116_a_ted_talk_11__1_3_1 n116_a_ted_talk_11__1_3_2 NP-OB1 n116_a_ted_talk_11__1_3->n116_a_ted_talk_11__1_3_2 n116_a_ted_talk_11__1_3_3 PP-NIM n116_a_ted_talk_11__1_3->n116_a_ted_talk_11__1_3_3 n116_a_ted_talk_11__1_3_1->n116_a_ted_talk_11__1_3_1_1 n116_a_ted_talk_11__1_3_2_1 PRO n116_a_ted_talk_11__1_3_2->n116_a_ted_talk_11__1_3_2_1 n116_a_ted_talk_11__1_3_2_1->n116_a_ted_talk_11__1_3_2_1_1 n116_a_ted_talk_11__1_3_3_1 P-ROLE n116_a_ted_talk_11__1_3_3->n116_a_ted_talk_11__1_3_3_1 n116_a_ted_talk_11__1_3_3_2 NP n116_a_ted_talk_11__1_3_3->n116_a_ted_talk_11__1_3_3_2 n116_a_ted_talk_11__1_3_3_1->n116_a_ted_talk_11__1_3_3_1_1 n116_a_ted_talk_11__1_3_3_2_1 D n116_a_ted_talk_11__1_3_3_2->n116_a_ted_talk_11__1_3_3_2_1 n116_a_ted_talk_11__1_3_3_2_2 N n116_a_ted_talk_11__1_3_3_2->n116_a_ted_talk_11__1_3_3_2_2 n116_a_ted_talk_11__1_3_3_2_1->n116_a_ted_talk_11__1_3_3_2_1_1 n116_a_ted_talk_11__1_3_3_2_2->n116_a_ted_talk_11__1_3_3_2_2_1 n116_a_ted_talk_11__1_4->n116_a_ted_talk_11__1_4_1 
( (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))