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, attrib22).
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, arg1).
arc(r_0016_0015__seen, r_0016_0014__ever, nim42).

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_0011__WORK,R_0016_0007__THE_R_0016_0009__PIECE,R_0016_0006__WAS,R_0016_0004__LIKE,R_0016_0014__EVER,R_0016_0013___APOS_D_R_0016_0015__SEEN] :
      ( 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_0011__work(R_0016_0011__WORK)
      & r_0016_0014__ever(R_0016_0014__EVER)
      & r_0016_0013___apos_d_r_0016_0015__seen(R_0016_0013___APOS_D_R_0016_0015__SEEN)
      & has_nim42(R_0016_0013___APOS_D_R_0016_0015__SEEN,R_0016_0014__EVER)
      & has_arg1(R_0016_0013___APOS_D_R_0016_0015__SEEN,R_0016_0011__WORK)
      & 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)
      & 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)
      & has_attrib22(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) ) ).

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