TSPC 194_a_ted_talk

194_a_ted_talk_11
By the way, there's a shaft of nerves that joins the two halves of the brain called the corpus callosum.

( (IP-MAT (ADVP-NIM (ADV By_the_way;{by_the_way}))
          (PUNC ,)
          (EX there;{there})
          (BEP;_ex_V_ <apos>s;{be})
          (NP-ESBJ (D a;{a})
                   (N shaft;{shaft})
                   (PP (P-ROLE of;{of})
                       (NP (NS nerves;{nerve})
                           (IP-REL (C that;{that})
                                   (NP-SBJ *T*)
                                   (VBP;_Tn_ joins;{join})
                                   (NP-OB1 (D the;{the})
                                           (NUM two;{two})
                                           (NS halves;{half})
                                           (PP (P-ROLE of;{of})
                                               (NP (D the;{the})
                                                   (N brain;{brain})))))))
                   (IP-PPL (NP-LGS *)
                           (VVN;_Cn.n_ called;{call})
                           (NP-PRD (D the;{the})
                                   (N corpus;{corpus})
                                   (N callosum;{callosum}))))
          (PUNC .))
  (ID 194_a_ted_talk_11))

arc(r_0194_0004___apos_s,r_0194_0001__By_the_way,nim).
arc(r_0194_0004___apos_s,r_0194_0005__a_r_0194_0006__shaft,arg0).
arc(r_0194_0005__a_r_0194_0006__shaft,r_0194_0008__nerves,r_0194_0007__of).
arc(r_0194_0010__joins,r_0194_0008__nerves,inv_arg0).
arc(r_0194_0010__joins,r_0194_0011__the_r_0194_0012__two_r_0194_0013__halves,arg1).
arc(r_0194_0011__the_r_0194_0012__two_r_0194_0013__halves,r_0194_0015__the_r_0194_0016__brain,r_0194_0014__of).
arc(r_0194_0017__called,r_0194_0005__a_r_0194_0006__shaft,inv_arg1).
arc(r_0194_0017__called,r_0194_0018__the_r_0194_0019__corpus_r_0194_0020__callosum,prd).
arc(r_0194_0017__called,z_0194_5007___star_,arg0).

fof(formula,axiom,
    ? [R_0194_0001__BY_THE_WAY,R_0194_0015__THE_R_0194_0016__BRAIN,R_0194_0011__THE_R_0194_0012__TWO_R_0194_0013__HALVES,R_0194_0010__JOINS,R_0194_0008__NERVES,R_0194_0018__THE_R_0194_0019__CORPUS_R_0194_0020__CALLOSUM,Z_0194_5007___STAR_,R_0194_0017__CALLED,R_0194_0005__A_R_0194_0006__SHAFT,R_0194_0004___APOS_S] :
      ( r_0194_0001__By_the_way(R_0194_0001__BY_THE_WAY)
      & r_0194_0015__the_r_0194_0016__brain(R_0194_0015__THE_R_0194_0016__BRAIN)
      & r_0194_0018__the_r_0194_0019__corpus_r_0194_0020__callosum(R_0194_0018__THE_R_0194_0019__CORPUS_R_0194_0020__CALLOSUM)
      & z_0194_5007___star_(Z_0194_5007___STAR_)
      & r_0194_0004___apos_s(R_0194_0004___APOS_S)
      & has_arg0(R_0194_0004___APOS_S,R_0194_0005__A_R_0194_0006__SHAFT)
      & r_0194_0005__a_r_0194_0006__shaft(R_0194_0005__A_R_0194_0006__SHAFT)
      & has_inv_arg1(R_0194_0005__A_R_0194_0006__SHAFT,R_0194_0017__CALLED)
      & r_0194_0017__called(R_0194_0017__CALLED)
      & has_arg0(R_0194_0017__CALLED,Z_0194_5007___STAR_)
      & has_prd(R_0194_0017__CALLED,R_0194_0018__THE_R_0194_0019__CORPUS_R_0194_0020__CALLOSUM)
      & has_r_0194_0007__of(R_0194_0005__A_R_0194_0006__SHAFT,R_0194_0008__NERVES)
      & r_0194_0008__nerves(R_0194_0008__NERVES)
      & has_inv_arg0(R_0194_0008__NERVES,R_0194_0010__JOINS)
      & r_0194_0010__joins(R_0194_0010__JOINS)
      & has_arg1(R_0194_0010__JOINS,R_0194_0011__THE_R_0194_0012__TWO_R_0194_0013__HALVES)
      & r_0194_0011__the_r_0194_0012__two_r_0194_0013__halves(R_0194_0011__THE_R_0194_0012__TWO_R_0194_0013__HALVES)
      & has_r_0194_0014__of(R_0194_0011__THE_R_0194_0012__TWO_R_0194_0013__HALVES,R_0194_0015__THE_R_0194_0016__BRAIN)
      & has_nim(R_0194_0004___APOS_S,R_0194_0001__BY_THE_WAY) ) ).