( (IP-MAT (NP-SBJ;{TEACHER} (NP-GEN;{SON_OF_A} (PRO;_genm_ His;{his}))
                            (N teacher;{teacher}))
          (VBD;_I_ acted;{act})
          (PP-SCON (P-CONN like;{like})
                   (IP-ADV (NP-SBJ;{PRESENTATION} (PRO it;{it}))
                           (BED;_Ln_ was;{be})
                           (NP-PRD (D the;{the})
                                   (ADJP (ADJS best;{good}))
                                   (N piece;{piece})
                                   (PP (P-ROLE of;{of})
                                       (NP (N work;{work})
                                           (IP-REL (NP-SBJ;{TEACHER} (PRO they;{they}))
                                                   (HVD;_cat_Ve_ <apos>d;{have})
                                                   (IP-PPL-CAT (NP-OB1 *T*)
                                                               (ADVP-NIM (ADV ever;{ever}))
                                                               (VVN;_Tn_ seen;{see}))))))))
          (PUNC .))
  (ID 16_a_lockdown;speaker=a))

arc(r_0016_0002__teacher,r_0016_0001__His,gen).
arc(r_0016_0003__acted,r_0016_0002__teacher,arg0).
arc(r_0016_0004__like,r_0016_0003__acted,scope).
arc(r_0016_0004__like,r_0016_0006__was,restriction).
arc(r_0016_0006__was,r_0016_0005__it,arg0).
arc(r_0016_0006__was,r_0016_0007__the_r_0016_0009__piece,prd).
arc(r_0016_0007__the_r_0016_0009__piece,r_0016_0008__best,attrib).
arc(r_0016_0007__the_r_0016_0009__piece,r_0016_0011__work,r_0016_0010__of).
arc(r_0016_0013___apos_d,r_0016_0015__seen,scope).
arc(r_0016_0015__seen,r_0016_0002__teacher,arg0).
arc(r_0016_0015__seen,r_0016_0011__work,inv_arg1).
arc(r_0016_0015__seen,r_0016_0014__ever,nim).

fof(formula,axiom,
    ? [R_0016_0001__HIS,R_0016_0002__TEACHER,R_0016_0003__ACTED,R_0016_0005__IT,R_0016_0008__BEST,R_0016_0014__EVER,R_0016_0013___APOS_D_R_0016_0015__SEEN,R_0016_0011__WORK,R_0016_0007__THE_R_0016_0009__PIECE,R_0016_0006__WAS,R_0016_0004__LIKE] :
      ( r_0016_0001__His(R_0016_0001__HIS)
      & r_0016_0005__it(R_0016_0005__IT)
      & r_0016_0008__best(R_0016_0008__BEST)
      & r_0016_0014__ever(R_0016_0014__EVER)
      & r_0016_0004__like(R_0016_0004__LIKE)
      & has_conj1(R_0016_0004__LIKE,R_0016_0006__WAS)
      & r_0016_0006__was(R_0016_0006__WAS)
      & has_prd(R_0016_0006__WAS,R_0016_0007__THE_R_0016_0009__PIECE)
      & r_0016_0007__the_r_0016_0009__piece(R_0016_0007__THE_R_0016_0009__PIECE)
      & has_r_0016_0010__of(R_0016_0007__THE_R_0016_0009__PIECE,R_0016_0011__WORK)
      & r_0016_0011__work(R_0016_0011__WORK)
      & has_inv_arg1(R_0016_0011__WORK,R_0016_0013___APOS_D_R_0016_0015__SEEN)
      & r_0016_0013___apos_d_r_0016_0015__seen(R_0016_0013___APOS_D_R_0016_0015__SEEN)
      & has_nim(R_0016_0013___APOS_D_R_0016_0015__SEEN,R_0016_0014__EVER)
      & has_arg0(R_0016_0013___APOS_D_R_0016_0015__SEEN,R_0016_0002__TEACHER)
      & r_0016_0002__teacher(R_0016_0002__TEACHER)
      & has_gen(R_0016_0002__TEACHER,R_0016_0001__HIS)
      & has_attrib(R_0016_0007__THE_R_0016_0009__PIECE,R_0016_0008__BEST)
      & has_arg0(R_0016_0006__WAS,R_0016_0005__IT)
      & has_conj2(R_0016_0004__LIKE,R_0016_0003__ACTED)
      & r_0016_0003__acted(R_0016_0003__ACTED)
      & has_arg0(R_0016_0003__ACTED,R_0016_0002__TEACHER) ) ).