Context                Previous, Next                Top


70_a_ted_talk_11
They just switched.

%3 r_0070_0003__switched switched r_0070_0001__They They r_0070_0003__switched->r_0070_0001__They [arg0] r_0070_0002__just just r_0070_0003__switched->r_0070_0002__just [nim] 
arc(r_0070_0003__switched, r_0070_0001__They, arg0).
arc(r_0070_0003__switched, r_0070_0002__just, nim5).


%3 r_0070_0003__switched switched r_0070_0001__They They r_0070_0003__switched->r_0070_0001__They [arg0] r_0070_0002__just just r_0070_0003__switched->r_0070_0002__just [nim] 
fof(formula,axiom,
    ? [R_70_3_SWITCHED,R_70_1_THEY,R_70_2_JUST] :
      ( they(R_70_1_THEY)
      & just(R_70_2_JUST)
      & switched(R_70_3_SWITCHED,R_70_1_THEY)
      & nim5(R_70_3_SWITCHED,R_70_2_JUST) ) ).


n70_a_ted_talk_11 n70_a_ted_talk_11_4 They n70_a_ted_talk_11_7 just n70_a_ted_talk_11_9 switched n70_a_ted_talk_11_11 . n70_a_ted_talk_11_1 IP-MAT n70_a_ted_talk_11_2 NP-SBJ n70_a_ted_talk_11_1->n70_a_ted_talk_11_2 n70_a_ted_talk_11_5 ADVP-NIM n70_a_ted_talk_11_1->n70_a_ted_talk_11_5 n70_a_ted_talk_11_8 VBD;_I_ n70_a_ted_talk_11_1->n70_a_ted_talk_11_8 n70_a_ted_talk_11_10 PUNC n70_a_ted_talk_11_1->n70_a_ted_talk_11_10 n70_a_ted_talk_11_3 PRO n70_a_ted_talk_11_2->n70_a_ted_talk_11_3 n70_a_ted_talk_11_3->n70_a_ted_talk_11_4 n70_a_ted_talk_11_6 ADV n70_a_ted_talk_11_5->n70_a_ted_talk_11_6 n70_a_ted_talk_11_6->n70_a_ted_talk_11_7 n70_a_ted_talk_11_8->n70_a_ted_talk_11_9 n70_a_ted_talk_11_10->n70_a_ted_talk_11_11 
( (IP-MAT (NP-SBJ;{KING2_KING3} (PRO They;{they}))
          (ADVP-NIM (ADV just;{just}))
          (VBD;_I_ switched;{switch})
          (PUNC .))
  (ID 70_a_ted_talk_11))