TSPC 55_a_ted_talk

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

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).

fof(formula,axiom,
    ? [R_0055_0010__HE,Z_000_55_A_TED_TALK_11_25,R_0055_0011__WENT] :
      ( r_0055_0010__he(R_0055_0010__HE)
      & z_000_55_a_ted_talk_11_25(Z_000_55_A_TED_TALK_11_25)
      & r_0055_0011__went(R_0055_0011__WENT)
      & has_clr27(R_0055_0011__WENT,Z_000_55_A_TED_TALK_11_25)
      & has_arg0(R_0055_0011__WENT,R_0055_0010__HE)
      & ! [R_0055_0003___APOS_RE_R_0055_0004__BEING,R_0055_0002__WE,R_0055_0005__STRICT,R_0055_0007__IT] :
          ( ( r_0055_0002__we(R_0055_0002__WE)
            & r_0055_0005__strict(R_0055_0005__STRICT)
            & r_0055_0007__it(R_0055_0007__IT)
            & r_0055_0003___apos_re_r_0055_0004__being(R_0055_0003___APOS_RE_R_0055_0004__BEING)
            & has_r_0055_0006__about_nim20(R_0055_0003___APOS_RE_R_0055_0004__BEING,R_0055_0007__IT)
            & has_prd(R_0055_0003___APOS_RE_R_0055_0004__BEING,R_0055_0005__STRICT)
            & has_arg0(R_0055_0003___APOS_RE_R_0055_0004__BEING,R_0055_0002__WE) )
         => ? [R_0055_0013__HE,R_0055_0015__FOUR,R_0055_0016__THAT_R_0055_0017__YEAR,R_0055_0014__WAS] :
              ( r_0055_0013__he(R_0055_0013__HE)
              & r_0055_0015__four(R_0055_0015__FOUR)
              & r_0055_0016__that_r_0055_0017__year(R_0055_0016__THAT_R_0055_0017__YEAR)
              & r_0055_0014__was(R_0055_0014__WAS)
              & has_nim25(R_0055_0014__WAS,Z_000_55_A_TED_TALK_11_25)
              & has_nim45(R_0055_0014__WAS,R_0055_0016__THAT_R_0055_0017__YEAR)
              & has_prd(R_0055_0014__WAS,R_0055_0015__FOUR)
              & has_arg0(R_0055_0014__WAS,R_0055_0013__HE) ) ) ) ).

( (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))