Context                Previous, Next                Top


44_a_ted_talk_11
So, 15 minutes left.

%3 z_000_44_a_ted_talk_11_1 r_0044_0001__So So z_000_44_a_ted_talk_11_1->r_0044_0001__So [nim] r_0044_0003__15_r_0044_0004__minutes 15 minutes z_000_44_a_ted_talk_11_1->r_0044_0003__15_r_0044_0004__minutes [arg0] r_0044_0005__left left z_000_44_a_ted_talk_11_1->r_0044_0005__left [prd] 
arc(z_000_44_a_ted_talk_11_1, r_0044_0001__So, nim2).
arc(z_000_44_a_ted_talk_11_1, r_0044_0003__15_r_0044_0004__minutes, arg0).
arc(z_000_44_a_ted_talk_11_1, r_0044_0005__left, prd).


%3 z_000_44_a_ted_talk_11_1 r_0044_0005__left left z_000_44_a_ted_talk_11_1->r_0044_0005__left [prd] r_0044_0003__15_r_0044_0004__minutes 15 minutes z_000_44_a_ted_talk_11_1->r_0044_0003__15_r_0044_0004__minutes [arg0] r_0044_0001__So So z_000_44_a_ted_talk_11_1->r_0044_0001__So [nim] 
fof(formula,axiom,
    ? [R_0044_0001__SO,R_0044_0003__15_R_0044_0004__MINUTES,R_0044_0005__LEFT,Z_000_44_A_TED_TALK_11_1] :
      ( r_0044_0001__So(R_0044_0001__SO)
      & r_0044_0003__15_r_0044_0004__minutes(R_0044_0003__15_R_0044_0004__MINUTES)
      & r_0044_0005__left(R_0044_0005__LEFT)
      & z_000_44_a_ted_talk_11_1(Z_000_44_A_TED_TALK_11_1)
      & has_prd(Z_000_44_A_TED_TALK_11_1,R_0044_0005__LEFT)
      & has_arg0(Z_000_44_A_TED_TALK_11_1,R_0044_0003__15_R_0044_0004__MINUTES)
      & has_nim2(Z_000_44_A_TED_TALK_11_1,R_0044_0001__SO) ) ).


n44_a_ted_talk_11 n44_a_ted_talk_11__1_1_1_1 So n44_a_ted_talk_11__1_2_1 , n44_a_ted_talk_11__1_3_1_1 15 n44_a_ted_talk_11__1_3_2_1 minutes n44_a_ted_talk_11__1_4_1_1 left n44_a_ted_talk_11__1_5_1 . n44_a_ted_talk_11__1 IP-MAT n44_a_ted_talk_11__1_1 ADVP-NIM n44_a_ted_talk_11__1->n44_a_ted_talk_11__1_1 n44_a_ted_talk_11__1_2 PUNC n44_a_ted_talk_11__1->n44_a_ted_talk_11__1_2 n44_a_ted_talk_11__1_3 NP-SBJ n44_a_ted_talk_11__1->n44_a_ted_talk_11__1_3 n44_a_ted_talk_11__1_4 ADJP-PRD n44_a_ted_talk_11__1->n44_a_ted_talk_11__1_4 n44_a_ted_talk_11__1_5 PUNC n44_a_ted_talk_11__1->n44_a_ted_talk_11__1_5 n44_a_ted_talk_11__1_1_1 ADV n44_a_ted_talk_11__1_1->n44_a_ted_talk_11__1_1_1 n44_a_ted_talk_11__1_1_1->n44_a_ted_talk_11__1_1_1_1 n44_a_ted_talk_11__1_2->n44_a_ted_talk_11__1_2_1 n44_a_ted_talk_11__1_3_1 NUM n44_a_ted_talk_11__1_3->n44_a_ted_talk_11__1_3_1 n44_a_ted_talk_11__1_3_2 NS n44_a_ted_talk_11__1_3->n44_a_ted_talk_11__1_3_2 n44_a_ted_talk_11__1_3_1->n44_a_ted_talk_11__1_3_1_1 n44_a_ted_talk_11__1_3_2->n44_a_ted_talk_11__1_3_2_1 n44_a_ted_talk_11__1_4_1 ADJ n44_a_ted_talk_11__1_4->n44_a_ted_talk_11__1_4_1 n44_a_ted_talk_11__1_4_1->n44_a_ted_talk_11__1_4_1_1 n44_a_ted_talk_11__1_5->n44_a_ted_talk_11__1_5_1 
( (IP-MAT (ADVP-NIM (ADV So;{so}))
          (PUNC ,)
          (NP-SBJ (NUM 15)
                  (NS minutes;{minute}))
          (ADJP-PRD (ADJ left;{left}))
          (PUNC .))
  (ID 44_a_ted_talk_11))