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

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__nim).
arc(r_0055_0011__went,r_0055_0009__wherever,clr).
arc(r_0055_0011__went,r_0055_0010__he,arg0).
arc(r_0055_0014__was,r_0055_0009__wherever,nim).
arc(r_0055_0014__was,r_0055_0010__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,nim).

fof(formula,axiom,
    ? [R_0055_0009__WHEREVER,R_0055_0010__HE,R_0055_0011__WENT] :
      ( r_0055_0009__wherever(R_0055_0009__WHEREVER)
      & r_0055_0010__he(R_0055_0010__HE)
      & r_0055_0011__went(R_0055_0011__WENT)
      & has_arg0(R_0055_0011__WENT,R_0055_0010__HE)
      & has_clr(R_0055_0011__WENT,R_0055_0009__WHEREVER)
      & ! [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__nim(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_0015__FOUR,R_0055_0016__THAT_R_0055_0017__YEAR,R_0055_0014__WAS] :
              ( 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_nim(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_0010__HE)
              & has_nim(R_0055_0014__WAS,R_0055_0009__WHEREVER) ) ) ) ).