( (IP-MAT (NP-SBJ;{BERYL} (PRO She;{she}))
          (BED;_cat_Vg_ was;{be})
          (IP-PPL-CAT (VAG;_Tt_ trying;{try})
                      (IP-INF-OB1 (TO to;{to})
                                  (VB;_phr_Vn<=>p_ sort;{sort[out]})
                                  (NP-OB1 (NS things;{thing}))
                                  (RP out;{out})
                                  (PP-NIM (P-ROLE in;{in})
                                          (NP (NP-GEN;{BERYL} (PRO;_genm_ her;{her}))
                                              (N mind;{mind})))))
          (PUNC .))
  (ID 18_a_lob_n02))

arc(r_0018_0002__was,r_0018_0003__trying,scope).
arc(r_0018_0003__trying,r_0018_0001__She,arg0).
arc(r_0018_0003__trying,r_0018_0005__sort_r_0018_0007__out,arg1).
arc(r_0018_0005__sort_r_0018_0007__out,r_0018_0001__She,arg0).
arc(r_0018_0005__sort_r_0018_0007__out,r_0018_0006__things,arg1).
arc(r_0018_0005__sort_r_0018_0007__out,r_0018_0010__mind,r_0018_0008__in__nim).
arc(r_0018_0010__mind,r_0018_0001__She,gen).

fof(formula,axiom,
    ? [R_0018_0001__SHE,R_0018_0006__THINGS,R_0018_0010__MIND,R_0018_0005__SORT_R_0018_0007__OUT,R_0018_0002__WAS_R_0018_0003__TRYING] :
      ( r_0018_0001__She(R_0018_0001__SHE)
      & r_0018_0006__things(R_0018_0006__THINGS)
      & r_0018_0002__was_r_0018_0003__trying(R_0018_0002__WAS_R_0018_0003__TRYING)
      & has_arg1(R_0018_0002__WAS_R_0018_0003__TRYING,R_0018_0005__SORT_R_0018_0007__OUT)
      & r_0018_0005__sort_r_0018_0007__out(R_0018_0005__SORT_R_0018_0007__OUT)
      & has_r_0018_0008__in__nim(R_0018_0005__SORT_R_0018_0007__OUT,R_0018_0010__MIND)
      & r_0018_0010__mind(R_0018_0010__MIND)
      & has_gen(R_0018_0010__MIND,R_0018_0001__SHE)
      & has_arg1(R_0018_0005__SORT_R_0018_0007__OUT,R_0018_0006__THINGS)
      & has_arg0(R_0018_0005__SORT_R_0018_0007__OUT,R_0018_0001__SHE)
      & has_arg0(R_0018_0002__WAS_R_0018_0003__TRYING,R_0018_0001__SHE) ) ).