Context                Previous, Next                Top


55_a_ted_talk_11
If we're being strict about it, wherever he went, he was four that year.

%3 r_0055_0001__If If r_0055_0003___apos_re 're r_0055_0001__If->r_0055_0003___apos_re [restriction] r_0055_0014__was was r_0055_0001__If->r_0055_0014__was [scope] r_0055_0004__being being r_0055_0003___apos_re->r_0055_0004__being [scope] z_000_55_a_ted_talk_11_25 r_0055_0014__was->z_000_55_a_ted_talk_11_25 [nim] r_0055_0013__he he r_0055_0014__was->r_0055_0013__he [arg0] r_0055_0015__four four r_0055_0014__was->r_0055_0015__four [prd] r_0055_0016__that_r_0055_0017__year that year r_0055_0014__was->r_0055_0016__that_r_0055_0017__year [nim] r_0055_0002__we we r_0055_0004__being->r_0055_0002__we [arg0] r_0055_0005__strict strict r_0055_0004__being->r_0055_0005__strict [prd] r_0055_0007__it it r_0055_0004__being->r_0055_0007__it about [nim] r_0055_0011__went went r_0055_0010__he he r_0055_0011__went->r_0055_0010__he [arg0] r_0055_0011__went->z_000_55_a_ted_talk_11_25 [clr] 
arc(r_0055_0001__If, r_0055_0003___apos_re, restriction).
arc(r_0055_0001__If, r_0055_0014__was, scope).
arc(r_0055_0003___apos_re, r_0055_0004__being, scope).
arc(r_0055_0004__being, r_0055_0002__we, arg0).
arc(r_0055_0004__being, r_0055_0005__strict, prd).
arc(r_0055_0004__being, r_0055_0007__it, r_0055_0006__about_nim20).
arc(r_0055_0011__went, r_0055_0010__he, arg0).
arc(r_0055_0011__went, z_000_55_a_ted_talk_11_25, clr27).
arc(r_0055_0014__was, r_0055_0013__he, arg0).
arc(r_0055_0014__was, r_0055_0015__four, prd).
arc(r_0055_0014__was, r_0055_0016__that_r_0055_0017__year, nim45).
arc(r_0055_0014__was, z_000_55_a_ted_talk_11_25, nim25).


%3 r_0055_0014__was was z_000_55_a_ted_talk_11_25 r_0055_0014__was->z_000_55_a_ted_talk_11_25 [nim] r_0055_0016__that_r_0055_0017__year that year r_0055_0014__was->r_0055_0016__that_r_0055_0017__year [nim] r_0055_0015__four four r_0055_0014__was->r_0055_0015__four [prd] r_0055_0013__he he r_0055_0014__was->r_0055_0013__he [arg0] r_0055_0011__went went r_0055_0011__went->z_000_55_a_ted_talk_11_25 [clr] r_0055_0010__he he r_0055_0011__went->r_0055_0010__he [arg0] r_0055_0003___apos_re_r_0055_0004__being 're being r_0055_0007__it it r_0055_0003___apos_re_r_0055_0004__being->r_0055_0007__it about [nim] r_0055_0005__strict strict r_0055_0003___apos_re_r_0055_0004__being->r_0055_0005__strict [prd] r_0055_0002__we we r_0055_0003___apos_re_r_0055_0004__being->r_0055_0002__we [arg0] r_0055_0001__If If r_0055_0001__If->r_0055_0014__was [scope] r_0055_0001__If->r_0055_0003___apos_re_r_0055_0004__being [restriction] 
fof(formula,axiom,
    ? [R_55_11_WENT,R_55_10_HE,Z_55_A_TED_TALK_11_25] :
      ( he(R_55_10_HE)
      & ! [R_55_3__APOS_RE_BEING,R_55_2_WE,R_55_5_STRICT,R_55_7_IT] :
          ( ( we(R_55_2_WE)
            & strict(R_55_5_STRICT)
            & it(R_55_7_IT)
            & _apos_re_being(R_55_3__APOS_RE_BEING,R_55_2_WE,R_55_5_STRICT)
            & about_nim20(R_55_3__APOS_RE_BEING,R_55_7_IT) )
         => ? [R_55_14_WAS,R_55_13_HE,R_55_16_THAT_YEAR,R_55_15_FOUR] :
              ( he(R_55_13_HE)
              & that_year(R_55_16_THAT_YEAR)
              & four(R_55_15_FOUR)
              & was(R_55_14_WAS,R_55_13_HE,R_55_15_FOUR)
              & nim25(R_55_14_WAS,Z_55_A_TED_TALK_11_25)
              & nim45(R_55_14_WAS,R_55_16_THAT_YEAR) ) )
      & went(R_55_11_WENT,R_55_10_HE)
      & clr27(R_55_11_WENT,Z_55_A_TED_TALK_11_25) ) ).


n55_a_ted_talk_11 n55_a_ted_talk_11__1_1_1_1 If n55_a_ted_talk_11__1_1_2_1_1_1 we n55_a_ted_talk_11__1_1_2_2_1 're n55_a_ted_talk_11__1_1_2_3_1_1 being n55_a_ted_talk_11__1_1_2_3_2_1_1 strict n55_a_ted_talk_11__1_1_2_3_3_1_1 about n55_a_ted_talk_11__1_1_2_3_3_2_1_1 it n55_a_ted_talk_11__1_2_1 , n55_a_ted_talk_11__1_3_1_1_1_1 wherever n55_a_ted_talk_11__1_3_1_2_1_1 he n55_a_ted_talk_11__1_3_1_3_1 went n55_a_ted_talk_11__1_4_1 , n55_a_ted_talk_11__1_5_1_1 he n55_a_ted_talk_11__1_6_1 was n55_a_ted_talk_11__1_7_1_1 four n55_a_ted_talk_11__1_8_1_1 that n55_a_ted_talk_11__1_8_2_1 year n55_a_ted_talk_11__1_9_1 . n55_a_ted_talk_11__1 IP-MAT n55_a_ted_talk_11__1_1 PP-SCON n55_a_ted_talk_11__1->n55_a_ted_talk_11__1_1 n55_a_ted_talk_11__1_2 PUNC n55_a_ted_talk_11__1->n55_a_ted_talk_11__1_2 n55_a_ted_talk_11__1_3 NP-NIM n55_a_ted_talk_11__1->n55_a_ted_talk_11__1_3 n55_a_ted_talk_11__1_4 PUNC n55_a_ted_talk_11__1->n55_a_ted_talk_11__1_4 n55_a_ted_talk_11__1_5 NP-SBJ n55_a_ted_talk_11__1->n55_a_ted_talk_11__1_5 n55_a_ted_talk_11__1_6 BED;_Ln_ n55_a_ted_talk_11__1->n55_a_ted_talk_11__1_6 n55_a_ted_talk_11__1_7 NP-PRD n55_a_ted_talk_11__1->n55_a_ted_talk_11__1_7 n55_a_ted_talk_11__1_8 NP-NIM n55_a_ted_talk_11__1->n55_a_ted_talk_11__1_8 n55_a_ted_talk_11__1_9 PUNC n55_a_ted_talk_11__1->n55_a_ted_talk_11__1_9 n55_a_ted_talk_11__1_1_1 P-CONN n55_a_ted_talk_11__1_1->n55_a_ted_talk_11__1_1_1 n55_a_ted_talk_11__1_1_2 IP-ADV n55_a_ted_talk_11__1_1->n55_a_ted_talk_11__1_1_2 n55_a_ted_talk_11__1_1_1->n55_a_ted_talk_11__1_1_1_1 n55_a_ted_talk_11__1_1_2_1 NP-SBJ n55_a_ted_talk_11__1_1_2->n55_a_ted_talk_11__1_1_2_1 n55_a_ted_talk_11__1_1_2_2 BEP;_cat_Vg_ n55_a_ted_talk_11__1_1_2->n55_a_ted_talk_11__1_1_2_2 n55_a_ted_talk_11__1_1_2_3 IP-PPL-CAT n55_a_ted_talk_11__1_1_2->n55_a_ted_talk_11__1_1_2_3 n55_a_ted_talk_11__1_1_2_1_1 PRO n55_a_ted_talk_11__1_1_2_1->n55_a_ted_talk_11__1_1_2_1_1 n55_a_ted_talk_11__1_1_2_1_1->n55_a_ted_talk_11__1_1_2_1_1_1 n55_a_ted_talk_11__1_1_2_2->n55_a_ted_talk_11__1_1_2_2_1 n55_a_ted_talk_11__1_1_2_3_1 BAG;_La_ n55_a_ted_talk_11__1_1_2_3->n55_a_ted_talk_11__1_1_2_3_1 n55_a_ted_talk_11__1_1_2_3_2 ADJP-PRD n55_a_ted_talk_11__1_1_2_3->n55_a_ted_talk_11__1_1_2_3_2 n55_a_ted_talk_11__1_1_2_3_3 PP-NIM n55_a_ted_talk_11__1_1_2_3->n55_a_ted_talk_11__1_1_2_3_3 n55_a_ted_talk_11__1_1_2_3_1->n55_a_ted_talk_11__1_1_2_3_1_1 n55_a_ted_talk_11__1_1_2_3_2_1 ADJ n55_a_ted_talk_11__1_1_2_3_2->n55_a_ted_talk_11__1_1_2_3_2_1 n55_a_ted_talk_11__1_1_2_3_2_1->n55_a_ted_talk_11__1_1_2_3_2_1_1 n55_a_ted_talk_11__1_1_2_3_3_1 P-ROLE n55_a_ted_talk_11__1_1_2_3_3->n55_a_ted_talk_11__1_1_2_3_3_1 n55_a_ted_talk_11__1_1_2_3_3_2 NP n55_a_ted_talk_11__1_1_2_3_3->n55_a_ted_talk_11__1_1_2_3_3_2 n55_a_ted_talk_11__1_1_2_3_3_1->n55_a_ted_talk_11__1_1_2_3_3_1_1 n55_a_ted_talk_11__1_1_2_3_3_2_1 PRO n55_a_ted_talk_11__1_1_2_3_3_2->n55_a_ted_talk_11__1_1_2_3_3_2_1 n55_a_ted_talk_11__1_1_2_3_3_2_1->n55_a_ted_talk_11__1_1_2_3_3_2_1_1 n55_a_ted_talk_11__1_2->n55_a_ted_talk_11__1_2_1 n55_a_ted_talk_11__1_3_1 IP-REL n55_a_ted_talk_11__1_3->n55_a_ted_talk_11__1_3_1 n55_a_ted_talk_11__1_3_1_1 ADVP-CLR n55_a_ted_talk_11__1_3_1->n55_a_ted_talk_11__1_3_1_1 n55_a_ted_talk_11__1_3_1_2 NP-SBJ n55_a_ted_talk_11__1_3_1->n55_a_ted_talk_11__1_3_1_2 n55_a_ted_talk_11__1_3_1_3 VBD;_Ip_ n55_a_ted_talk_11__1_3_1->n55_a_ted_talk_11__1_3_1_3 n55_a_ted_talk_11__1_3_1_1_1 RADV n55_a_ted_talk_11__1_3_1_1->n55_a_ted_talk_11__1_3_1_1_1 n55_a_ted_talk_11__1_3_1_1_1->n55_a_ted_talk_11__1_3_1_1_1_1 n55_a_ted_talk_11__1_3_1_2_1 PRO n55_a_ted_talk_11__1_3_1_2->n55_a_ted_talk_11__1_3_1_2_1 n55_a_ted_talk_11__1_3_1_2_1->n55_a_ted_talk_11__1_3_1_2_1_1 n55_a_ted_talk_11__1_3_1_3->n55_a_ted_talk_11__1_3_1_3_1 n55_a_ted_talk_11__1_4->n55_a_ted_talk_11__1_4_1 n55_a_ted_talk_11__1_5_1 PRO n55_a_ted_talk_11__1_5->n55_a_ted_talk_11__1_5_1 n55_a_ted_talk_11__1_5_1->n55_a_ted_talk_11__1_5_1_1 n55_a_ted_talk_11__1_6->n55_a_ted_talk_11__1_6_1 n55_a_ted_talk_11__1_7_1 NUM n55_a_ted_talk_11__1_7->n55_a_ted_talk_11__1_7_1 n55_a_ted_talk_11__1_7_1->n55_a_ted_talk_11__1_7_1_1 n55_a_ted_talk_11__1_8_1 D n55_a_ted_talk_11__1_8->n55_a_ted_talk_11__1_8_1 n55_a_ted_talk_11__1_8_2 N n55_a_ted_talk_11__1_8->n55_a_ted_talk_11__1_8_2 n55_a_ted_talk_11__1_8_1->n55_a_ted_talk_11__1_8_1_1 n55_a_ted_talk_11__1_8_2->n55_a_ted_talk_11__1_8_2_1 n55_a_ted_talk_11__1_9->n55_a_ted_talk_11__1_9_1 
( (IP-MAT (PP-SCON (P-CONN If;{if})
                   (IP-ADV (NP-SBJ (PRO we;{we}))
                           (BEP;_cat_Vg_ <apos>re;{be})
                           (IP-PPL-CAT (BAG;_La_ being;{be})
                                       (ADJP-PRD (ADJ strict;{strict}))
                                       (PP-NIM (P-ROLE about;{about})
                                               (NP (PRO it;{it}))))))
          (PUNC ,)
          (NP-NIM (IP-REL (ADVP-CLR (RADV wherever;{wherever}))
                          (NP-SBJ;{JAMES} (PRO he;{he}))
                          (VBD;_Ip_ went;{go[wherever]})))
          (PUNC ,)
          (NP-SBJ;{JAMES} (PRO he;{he}))
          (BED;_Ln_ was;{be})
          (NP-PRD (NUM four;{four}))
          (NP-NIM (D that;{that})
                  (N year;{year}))
          (PUNC .))
  (ID 55_a_ted_talk_11))