arc(utterance_80_a_loosechange_23, z_000_80_a_loosechange_24, part1).
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_0007__to_r_0080_0008__say, restriction).
arc(r_0080_0007__to_r_0080_0008__say, utterance_80_a_loosechange_23, arg1).
arc(r_0080_0007__to_r_0080_0008__say, r_0080_0001__She, arg0).
arc(z_000_80_a_loosechange_24, r_0080_0009__nowhere, qual25).

fof(formula,axiom,
    ? [R_0080_0001__SHE,R_0080_0005__FACE,R_0080_0002__SCREWED_R_0080_0003__UP,R_0080_0009__NOWHERE,Z_000_80_A_LOOSECHANGE_24,UTTERANCE_80_A_LOOSECHANGE_23,R_0080_0007__TO_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)
      & r_0080_0006__as_if(R_0080_0006__AS_IF)
      & has_conj1(R_0080_0006__AS_IF,R_0080_0007__TO_R_0080_0008__SAY)
      & r_0080_0007__to_r_0080_0008__say(R_0080_0007__TO_R_0080_0008__SAY)
      & has_arg0(R_0080_0007__TO_R_0080_0008__SAY,R_0080_0001__SHE)
      & has_arg1(R_0080_0007__TO_R_0080_0008__SAY,UTTERANCE_80_A_LOOSECHANGE_23)
      & utterance_80_a_loosechange_23(UTTERANCE_80_A_LOOSECHANGE_23)
      & has_part1(UTTERANCE_80_A_LOOSECHANGE_23,Z_000_80_A_LOOSECHANGE_24)
      & z_000_80_a_loosechange_24(Z_000_80_A_LOOSECHANGE_24)
      & has_qual25(Z_000_80_A_LOOSECHANGE_24,R_0080_0009__NOWHERE)
      & 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)
      & r_0080_0005__face(R_0080_0005__FACE)
      & has_gen(R_0080_0005__FACE,R_0080_0001__SHE)
      & has_arg0(R_0080_0002__SCREWED_R_0080_0003__UP,R_0080_0001__SHE) ) ).

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