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_0001__If If r_0055_0003___apos_re_r_0055_0004__being 're being r_0055_0001__If->r_0055_0003___apos_re_r_0055_0004__being [restriction] r_0055_0014__was was r_0055_0001__If->r_0055_0014__was [scope] r_0055_0002__we we r_0055_0003___apos_re_r_0055_0004__being->r_0055_0002__we [arg0] r_0055_0005__strict strict r_0055_0003___apos_re_r_0055_0004__being->r_0055_0005__strict [prd] r_0055_0007__it it r_0055_0003___apos_re_r_0055_0004__being->r_0055_0007__it about [nim] 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_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] 
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_4 If n55_a_ted_talk_11_8 we n55_a_ted_talk_11_10 're n55_a_ted_talk_11_13 being n55_a_ted_talk_11_16 strict n55_a_ted_talk_11_19 about n55_a_ted_talk_11_22 it n55_a_ted_talk_11_24 , n55_a_ted_talk_11_29 wherever n55_a_ted_talk_11_32 he n55_a_ted_talk_11_34 went n55_a_ted_talk_11_36 , n55_a_ted_talk_11_39 he n55_a_ted_talk_11_41 was n55_a_ted_talk_11_44 four n55_a_ted_talk_11_47 that n55_a_ted_talk_11_49 year n55_a_ted_talk_11_51 . n55_a_ted_talk_11_1 IP-MAT n55_a_ted_talk_11_2 PP-SCON n55_a_ted_talk_11_1->n55_a_ted_talk_11_2 n55_a_ted_talk_11_23 PUNC n55_a_ted_talk_11_1->n55_a_ted_talk_11_23 n55_a_ted_talk_11_25 NP-NIM n55_a_ted_talk_11_1->n55_a_ted_talk_11_25 n55_a_ted_talk_11_35 PUNC n55_a_ted_talk_11_1->n55_a_ted_talk_11_35 n55_a_ted_talk_11_37 NP-SBJ n55_a_ted_talk_11_1->n55_a_ted_talk_11_37 n55_a_ted_talk_11_40 BED;_Ln_ n55_a_ted_talk_11_1->n55_a_ted_talk_11_40 n55_a_ted_talk_11_42 NP-PRD n55_a_ted_talk_11_1->n55_a_ted_talk_11_42 n55_a_ted_talk_11_45 NP-NIM n55_a_ted_talk_11_1->n55_a_ted_talk_11_45 n55_a_ted_talk_11_50 PUNC n55_a_ted_talk_11_1->n55_a_ted_talk_11_50 n55_a_ted_talk_11_3 P-CONN n55_a_ted_talk_11_2->n55_a_ted_talk_11_3 n55_a_ted_talk_11_5 IP-ADV n55_a_ted_talk_11_2->n55_a_ted_talk_11_5 n55_a_ted_talk_11_3->n55_a_ted_talk_11_4 n55_a_ted_talk_11_6 NP-SBJ n55_a_ted_talk_11_5->n55_a_ted_talk_11_6 n55_a_ted_talk_11_9 BEP;_cat_Vg_ n55_a_ted_talk_11_5->n55_a_ted_talk_11_9 n55_a_ted_talk_11_11 IP-PPL-CAT n55_a_ted_talk_11_5->n55_a_ted_talk_11_11 n55_a_ted_talk_11_7 PRO n55_a_ted_talk_11_6->n55_a_ted_talk_11_7 n55_a_ted_talk_11_7->n55_a_ted_talk_11_8 n55_a_ted_talk_11_9->n55_a_ted_talk_11_10 n55_a_ted_talk_11_12 BAG;_La_ n55_a_ted_talk_11_11->n55_a_ted_talk_11_12 n55_a_ted_talk_11_14 ADJP-PRD n55_a_ted_talk_11_11->n55_a_ted_talk_11_14 n55_a_ted_talk_11_17 PP-NIM n55_a_ted_talk_11_11->n55_a_ted_talk_11_17 n55_a_ted_talk_11_12->n55_a_ted_talk_11_13 n55_a_ted_talk_11_15 ADJ n55_a_ted_talk_11_14->n55_a_ted_talk_11_15 n55_a_ted_talk_11_15->n55_a_ted_talk_11_16 n55_a_ted_talk_11_18 P-ROLE n55_a_ted_talk_11_17->n55_a_ted_talk_11_18 n55_a_ted_talk_11_20 NP n55_a_ted_talk_11_17->n55_a_ted_talk_11_20 n55_a_ted_talk_11_18->n55_a_ted_talk_11_19 n55_a_ted_talk_11_21 PRO n55_a_ted_talk_11_20->n55_a_ted_talk_11_21 n55_a_ted_talk_11_21->n55_a_ted_talk_11_22 n55_a_ted_talk_11_23->n55_a_ted_talk_11_24 n55_a_ted_talk_11_26 IP-REL n55_a_ted_talk_11_25->n55_a_ted_talk_11_26 n55_a_ted_talk_11_27 ADVP-CLR n55_a_ted_talk_11_26->n55_a_ted_talk_11_27 n55_a_ted_talk_11_30 NP-SBJ n55_a_ted_talk_11_26->n55_a_ted_talk_11_30 n55_a_ted_talk_11_33 VBD;_Ip_ n55_a_ted_talk_11_26->n55_a_ted_talk_11_33 n55_a_ted_talk_11_28 RADV n55_a_ted_talk_11_27->n55_a_ted_talk_11_28 n55_a_ted_talk_11_28->n55_a_ted_talk_11_29 n55_a_ted_talk_11_31 PRO n55_a_ted_talk_11_30->n55_a_ted_talk_11_31 n55_a_ted_talk_11_31->n55_a_ted_talk_11_32 n55_a_ted_talk_11_33->n55_a_ted_talk_11_34 n55_a_ted_talk_11_35->n55_a_ted_talk_11_36 n55_a_ted_talk_11_38 PRO n55_a_ted_talk_11_37->n55_a_ted_talk_11_38 n55_a_ted_talk_11_38->n55_a_ted_talk_11_39 n55_a_ted_talk_11_40->n55_a_ted_talk_11_41 n55_a_ted_talk_11_43 NUM n55_a_ted_talk_11_42->n55_a_ted_talk_11_43 n55_a_ted_talk_11_43->n55_a_ted_talk_11_44 n55_a_ted_talk_11_46 D n55_a_ted_talk_11_45->n55_a_ted_talk_11_46 n55_a_ted_talk_11_48 N n55_a_ted_talk_11_45->n55_a_ted_talk_11_48 n55_a_ted_talk_11_46->n55_a_ted_talk_11_47 n55_a_ted_talk_11_48->n55_a_ted_talk_11_49 n55_a_ted_talk_11_50->n55_a_ted_talk_11_51 
( (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))