( (FRAG (CP-THT-PRD (IP-SUB (C That;{that})
                            (NP-SBJ;{NOT_BACK} (PRO it;{it}))
                            (MD;_cat_Vi_ would;{will})
                            (NEG;_clitic_ n<apos>t;{not})
                            (IP-INF-CAT (BE;_Ln_ be;{be})
                                        (NP-PRD (NP-GEN;{BERYL} (PRO;_genm_ her;{her}))
                                                (N fault;{fault}))
                                        (ADVP-NIM (ADV at_all;{at_all})))))
        (PUNC .))
  (ID 123_a_lob_n02))

arc(r_0123_0003__would,r_0123_0005__be,scope).
arc(r_0123_0004__n_apos_t,r_0123_0003__would,keep_scope).
arc(r_0123_0005__be,r_0123_0002__it,arg0).
arc(r_0123_0005__be,r_0123_0007__fault,prd).
arc(r_0123_0005__be,r_0123_0008__at_all,nim).
arc(r_0123_0007__fault,r_0123_0006__her,gen).
arc(z_0123_5008,r_0123_0004__n_apos_t,prd).

fof(formula,axiom,
    ? [Z_0123_5008] :
      ( z_0123_5008(Z_0123_5008)
      & has_prd(Z_0123_5008,R_0123_0004__N_APOS_T)
      & ~ ? [R_0123_0002__IT,R_0123_0006__HER,R_0123_0007__FAULT,R_0123_0008__AT_ALL,R_0123_0003__WOULD_R_0123_0005__BE] :
            ( r_0123_0002__it(R_0123_0002__IT)
            & r_0123_0006__her(R_0123_0006__HER)
            & r_0123_0008__at_all(R_0123_0008__AT_ALL)
            & r_0123_0003__would_r_0123_0005__be(R_0123_0003__WOULD_R_0123_0005__BE)
            & has_nim(R_0123_0003__WOULD_R_0123_0005__BE,R_0123_0008__AT_ALL)
            & has_prd(R_0123_0003__WOULD_R_0123_0005__BE,R_0123_0007__FAULT)
            & r_0123_0007__fault(R_0123_0007__FAULT)
            & has_gen(R_0123_0007__FAULT,R_0123_0006__HER)
            & has_arg0(R_0123_0003__WOULD_R_0123_0005__BE,R_0123_0002__IT) ) ) ).