arc(utterance_8_a_lob_n01_4, z_000_8_a_lob_n01_5, part1).
arc(r_0008_0003__luck, r_0008_0002__Good, attrib7).
arc(r_0008_0010__said, utterance_8_a_lob_n01_4, arg1).
arc(r_0008_0010__said, r_0008_0009__she, arg0).
arc(r_0008_0010__said, r_0008_0011__gently, nim28).
arc(z_000_8_a_lob_n01_5, r_0008_0003__luck, nim6).
arc(z_000_8_a_lob_n01_5, r_0008_0005__air_r_0008_0006__Marshal, nim14).

fof(formula,axiom,
    ? [R_8_10_SAID,R_8_9_SHE,UTTERANCE_8_A_LOB_N01_4,Z_8_A_LOB_N01_5,R_8_5_AIR_MARSHAL,R_8_3_LUCK,R_8_2_GOOD,R_8_11_GENTLY] :
      ( she(R_8_9_SHE)
      & air_Marshal(R_8_5_AIR_MARSHAL)
      & good(R_8_2_GOOD)
      & gently(R_8_11_GENTLY)
      & said(R_8_10_SAID,R_8_9_SHE,UTTERANCE_8_A_LOB_N01_4)
      & utterance_8_a_lob_n01_4(UTTERANCE_8_A_LOB_N01_4)
      & part1(UTTERANCE_8_A_LOB_N01_4,Z_8_A_LOB_N01_5)
      & z_8_a_lob_n01_5(Z_8_A_LOB_N01_5)
      & nim14(Z_8_A_LOB_N01_5,R_8_5_AIR_MARSHAL)
      & nim6(Z_8_A_LOB_N01_5,R_8_3_LUCK)
      & luck(R_8_3_LUCK)
      & attrib7(R_8_3_LUCK,R_8_2_GOOD)
      & nim28(R_8_10_SAID,R_8_11_GENTLY) ) ).

( (IP-MAT (PULQ <lquo>)
          (utterance-OB1 (FRAG (NP (ADJP (ADJ Good;{good}))
                                   (N luck;{luck}))
                               (PUNC ,)
                               (NP-VOC (N air;{air})
                                       (N Marshal;{marshal}))))
          (PUNC ,)
          (PURQ <rquo>)
          (NP-SBJ;{GLORIA} (PRO she;{she}))
          (VBD;_Tr_ said;{say})
          (ADVP-NIM (ADV gently;{gently}))
          (PUNC .))
  (ID 8_a_lob_n01))