( (IP-MAT (PP-NIM (P-ROLE By;{by})
                  (NP (D that;{that})
                      (N stage;{stage})))
          (NP-SBJ (PRO we;{we}))
          (BED;_Ip_ were;{be[here]})
          (ADVP-CLR (ADV here;{here})
                    (PUNC ,)
                    (PRN (NP (NPR Arthur;{Arthur})
                             (NUM 1<dot>something)
                             (IP-REL (C that;{that})
                                     (NP-SBJ *T*)
                                     (ILYR (ILYR (VBD;__ fired;{fire})
                                                 (ADVP-NIM (RP up;{up})))
                                           (CONJP (CONJ and;{and})
                                                  (ILYR (VBD;_Ipr_ looked;{look[like]})
                                                        (PP-CLR (P-ROLE like;{like})
                                                                (NP (D;_nphd_ that;{that}))))))))))
          (PUNC .))
  (ID 60_a_paulfellows))

arc(r_0060_0005__were,r_0060_0002__that_r_0060_0003__stage,r_0060_0001__By__nim).
arc(r_0060_0005__were,r_0060_0004__we,arg0).
arc(r_0060_0005__were,r_0060_0006__here,clr).
arc(r_0060_0006__here,r_0060_0008__Arthur_r_0060_0009__1_dot_something,prn).
arc(r_0060_0011__fired,r_0060_0008__Arthur_r_0060_0009__1_dot_something,inv_arg0).
arc(r_0060_0011__fired,r_0060_0012__up,nim).
arc(r_0060_0013__and,r_0060_0011__fired,conj1).
arc(r_0060_0013__and,r_0060_0014__looked_r_0060_0015__like,conj2).
arc(r_0060_0014__looked_r_0060_0015__like,r_0060_0008__Arthur_r_0060_0009__1_dot_something,inv_arg0).
arc(r_0060_0014__looked_r_0060_0015__like,r_0060_0016__that,arg1).

fof(formula,axiom,
    ? [R_0060_0002__THAT_R_0060_0003__STAGE,R_0060_0004__WE,R_0060_0012__UP,R_0060_0011__FIRED,R_0060_0016__THAT,R_0060_0014__LOOKED_R_0060_0015__LIKE,R_0060_0008__ARTHUR_R_0060_0009__1_DOT_SOMETHING,R_0060_0006__HERE,R_0060_0005__WERE,R_0060_0013__AND] :
      ( r_0060_0002__that_r_0060_0003__stage(R_0060_0002__THAT_R_0060_0003__STAGE)
      & r_0060_0004__we(R_0060_0004__WE)
      & r_0060_0012__up(R_0060_0012__UP)
      & r_0060_0016__that(R_0060_0016__THAT)
      & r_0060_0013__and(R_0060_0013__AND)
      & has_conj2(R_0060_0013__AND,R_0060_0014__LOOKED_R_0060_0015__LIKE)
      & r_0060_0014__looked_r_0060_0015__like(R_0060_0014__LOOKED_R_0060_0015__LIKE)
      & has_arg1(R_0060_0014__LOOKED_R_0060_0015__LIKE,R_0060_0016__THAT)
      & has_conj1(R_0060_0013__AND,R_0060_0011__FIRED)
      & r_0060_0011__fired(R_0060_0011__FIRED)
      & has_nim(R_0060_0011__FIRED,R_0060_0012__UP)
      & r_0060_0005__were(R_0060_0005__WERE)
      & has_clr(R_0060_0005__WERE,R_0060_0006__HERE)
      & r_0060_0006__here(R_0060_0006__HERE)
      & has_prn(R_0060_0006__HERE,R_0060_0008__ARTHUR_R_0060_0009__1_DOT_SOMETHING)
      & r_0060_0008__Arthur_r_0060_0009__1_dot_something(R_0060_0008__ARTHUR_R_0060_0009__1_DOT_SOMETHING)
      & has_inv_arg0(R_0060_0008__ARTHUR_R_0060_0009__1_DOT_SOMETHING,R_0060_0014__LOOKED_R_0060_0015__LIKE)
      & has_inv_arg0(R_0060_0008__ARTHUR_R_0060_0009__1_DOT_SOMETHING,R_0060_0011__FIRED)
      & has_arg0(R_0060_0005__WERE,R_0060_0004__WE)
      & has_r_0060_0001__By__nim(R_0060_0005__WERE,R_0060_0002__THAT_R_0060_0003__STAGE) ) ).