Context                Previous, Next                Top


116_a_ted_talk_11
He'd known her for 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))


%3 r_0116_0003__known known r_0116_0006__a_r_0116_0007__month a month r_0116_0003__known->r_0116_0006__a_r_0116_0007__month for [nim] r_0116_0004__her her r_0116_0003__known->r_0116_0004__her [arg1] r_0116_0001__He He r_0116_0003__known->r_0116_0001__He [arg0] r_0116_0002___apos_d 'd r_0116_0002___apos_d->r_0116_0003__known [scope] 
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__nim).


%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_0116_0001__HE,R_0116_0004__HER,R_0116_0006__A_R_0116_0007__MONTH,R_0116_0002___APOS_D_R_0116_0003__KNOWN] :
      ( r_0116_0001__He(R_0116_0001__HE)
      & r_0116_0004__her(R_0116_0004__HER)
      & r_0116_0006__a_r_0116_0007__month(R_0116_0006__A_R_0116_0007__MONTH)
      & r_0116_0002___apos_d_r_0116_0003__known(R_0116_0002___APOS_D_R_0116_0003__KNOWN)
      & has_r_0116_0005__for__nim(R_0116_0002___APOS_D_R_0116_0003__KNOWN,R_0116_0006__A_R_0116_0007__MONTH)
      & has_arg1(R_0116_0002___APOS_D_R_0116_0003__KNOWN,R_0116_0004__HER)
      & has_arg0(R_0116_0002___APOS_D_R_0116_0003__KNOWN,R_0116_0001__HE) ) ).