( (IP-MAT (NP-SBJ;{PROFESSORS} (PRO They;{they}))
          (BEP;_cat_VePASS_ <apos>re;{be})
          (IP-PPL-CAT (NP-LGS *)
                      (VVN;_Tn_ disembodied;{disembody})
                      (PUNC ,)
                      (FRM you_know)
                      (PUNC ,)
                      (PP-NIM (P-ROLE in;{in})
                              (NP (D a;{a})
                                  (N kind;{kind})
                                  (PP (P-ROLE of;{of})
                                      (NP (ADJP (ADJ literal;{literal}))
                                          (N way;{way}))))))
          (PUNC .))
  (ID 152_a_ted_talk_11))

arc(r_0152_0002___apos_re,r_0152_0003__disembodied,scope).
arc(r_0152_0003__disembodied,r_0152_0001__They,arg1).
arc(r_0152_0003__disembodied,r_0152_0008__a_r_0152_0009__kind,r_0152_0007__in__nim).
arc(r_0152_0003__disembodied,z_0152_5005___star_,arg0).
arc(r_0152_0008__a_r_0152_0009__kind,r_0152_0012__way,r_0152_0010__of).
arc(r_0152_0012__way,r_0152_0011__literal,attrib).

fof(formula,axiom,
    ? [R_0152_0001__THEY,R_0152_0011__LITERAL,R_0152_0012__WAY,R_0152_0008__A_R_0152_0009__KIND,Z_0152_5005___STAR_,R_0152_0002___APOS_RE_R_0152_0003__DISEMBODIED] :
      ( r_0152_0001__They(R_0152_0001__THEY)
      & r_0152_0011__literal(R_0152_0011__LITERAL)
      & z_0152_5005___star_(Z_0152_5005___STAR_)
      & r_0152_0002___apos_re_r_0152_0003__disembodied(R_0152_0002___APOS_RE_R_0152_0003__DISEMBODIED)
      & has_arg0(R_0152_0002___APOS_RE_R_0152_0003__DISEMBODIED,Z_0152_5005___STAR_)
      & has_r_0152_0007__in__nim(R_0152_0002___APOS_RE_R_0152_0003__DISEMBODIED,R_0152_0008__A_R_0152_0009__KIND)
      & r_0152_0008__a_r_0152_0009__kind(R_0152_0008__A_R_0152_0009__KIND)
      & has_r_0152_0010__of(R_0152_0008__A_R_0152_0009__KIND,R_0152_0012__WAY)
      & r_0152_0012__way(R_0152_0012__WAY)
      & has_attrib(R_0152_0012__WAY,R_0152_0011__LITERAL)
      & has_arg1(R_0152_0002___APOS_RE_R_0152_0003__DISEMBODIED,R_0152_0001__THEY) ) ).