( (IP-MAT (NP-NIM (NEG not;{not})
                  (Q;_nphd_ all;{all})
                  (PP (P-ROLE of;{of})
                      (NP;{PROFESSORS} (PRO them;{they}))))
          (PUNC ,)
          (CONJ;_cl_ but;{but})
          (ADVP-NIM (ADV typically;{typically}))
          (PUNC ,)
          (NP-SBJ;{PROFESSORS} (PRO they;{they}))
          (VBP;_Ipr_ live;{live[in]})
          (PP-CLR (P-ROLE in;{in})
                  (NP (NP-GEN;{PROFESSORS} (PRO;_genm_ their;{their}))
                      (NS heads;{head})))
          (PUNC .))
  (ID 150_a_ted_talk_11))

arc(r_0150_0002__all__quant,r_0150_0010__live_r_0150_0011__in,scope).
arc(r_0150_0002__all__quant,z_0150_5004,restriction).
arc(r_0150_0010__live_r_0150_0011__in,r_0150_0004__them,arg0).
arc(r_0150_0010__live_r_0150_0011__in,r_0150_0007__typically,nim).
arc(r_0150_0010__live_r_0150_0011__in,r_0150_0013__heads,arg1).
arc(r_0150_0010__live_r_0150_0011__in,z_0150_5004,nim).
arc(r_0150_0013__heads,r_0150_0004__them,gen).
arc(z_0150_5004,r_0150_0001__not,qual).
arc(z_0150_5004,r_0150_0004__them,r_0150_0003__of).

fof(formula,axiom,
    ! [Z_0150_5004,R_0150_0001__NOT,R_0150_0004__THEM] :
      ( ( r_0150_0001__not(R_0150_0001__NOT)
        & r_0150_0004__them(R_0150_0004__THEM)
        & z_0150_5004(Z_0150_5004)
        & has_r_0150_0003__of(Z_0150_5004,R_0150_0004__THEM)
        & has_qual(Z_0150_5004,R_0150_0001__NOT) )
     => ? [R_0150_0007__TYPICALLY,R_0150_0013__HEADS,R_0150_0010__LIVE_R_0150_0011__IN] :
          ( r_0150_0007__typically(R_0150_0007__TYPICALLY)
          & r_0150_0010__live_r_0150_0011__in(R_0150_0010__LIVE_R_0150_0011__IN)
          & has_nim(R_0150_0010__LIVE_R_0150_0011__IN,Z_0150_5004)
          & has_arg1(R_0150_0010__LIVE_R_0150_0011__IN,R_0150_0013__HEADS)
          & r_0150_0013__heads(R_0150_0013__HEADS)
          & has_gen(R_0150_0013__HEADS,R_0150_0004__THEM)
          & has_nim(R_0150_0010__LIVE_R_0150_0011__IN,R_0150_0007__TYPICALLY)
          & has_arg0(R_0150_0010__LIVE_R_0150_0011__IN,R_0150_0004__THEM) ) ) ).