( (IP-MAT (NP-SBJ;{LAYLOR} (PRO She;{she}))
          (VBD;_phr_Vn<=>p_ screwed;{screw[up]})
          (RP up;{up})
          (NP-OB1 (NP-GEN;{LAYLOR} (PRO;_genm_ her;{her}))
                  (N face;{face}))
          (PP-SCON (P-CONN as_if;{as_if})
                   (IP-INF (TO to;{to})
                           (VB;_Tr_ say;{say})
                           (utterance-OB1 (FRAG (ADVP (ADV nowhere;{nowhere}))))))
          (PUNC .))
  (ID 80_a_loosechange))

arc(r_0080_0002__screwed_r_0080_0003__up,r_0080_0001__She,arg0).
arc(r_0080_0002__screwed_r_0080_0003__up,r_0080_0005__face,arg1).
arc(r_0080_0005__face,r_0080_0001__She,gen).
arc(r_0080_0006__as_if,r_0080_0002__screwed_r_0080_0003__up,scope).
arc(r_0080_0006__as_if,r_0080_0008__say,restriction).
arc(r_0080_0008__say,r_0080_0005__face,arg0).
arc(r_0080_0008__say,z_0080_5005__utterance,arg1).
arc(z_0080_5005__utterance,z_0080_5009,part1).
arc(z_0080_5009,r_0080_0009__nowhere,qual).
arc(z_0080_5009,z_0080_5007,arg0).

fof(formula,axiom,
    ? [R_0080_0001__SHE,R_0080_0005__FACE,R_0080_0002__SCREWED_R_0080_0003__UP,R_0080_0009__NOWHERE,Z_0080_5007,Z_0080_5009,Z_0080_5005__UTTERANCE,R_0080_0008__SAY,R_0080_0006__AS_IF] :
      ( r_0080_0001__She(R_0080_0001__SHE)
      & r_0080_0009__nowhere(R_0080_0009__NOWHERE)
      & z_0080_5007(Z_0080_5007)
      & r_0080_0006__as_if(R_0080_0006__AS_IF)
      & has_conj1(R_0080_0006__AS_IF,R_0080_0008__SAY)
      & r_0080_0008__say(R_0080_0008__SAY)
      & has_arg1(R_0080_0008__SAY,Z_0080_5005__UTTERANCE)
      & z_0080_5005__utterance(Z_0080_5005__UTTERANCE)
      & has_part1(Z_0080_5005__UTTERANCE,Z_0080_5009)
      & z_0080_5009(Z_0080_5009)
      & has_arg0(Z_0080_5009,Z_0080_5007)
      & has_qual(Z_0080_5009,R_0080_0009__NOWHERE)
      & has_arg0(R_0080_0008__SAY,R_0080_0005__FACE)
      & r_0080_0005__face(R_0080_0005__FACE)
      & has_gen(R_0080_0005__FACE,R_0080_0001__SHE)
      & has_conj2(R_0080_0006__AS_IF,R_0080_0002__SCREWED_R_0080_0003__UP)
      & r_0080_0002__screwed_r_0080_0003__up(R_0080_0002__SCREWED_R_0080_0003__UP)
      & has_arg1(R_0080_0002__SCREWED_R_0080_0003__UP,R_0080_0005__FACE)
      & has_arg0(R_0080_0002__SCREWED_R_0080_0003__UP,R_0080_0001__SHE) ) ).