arc(utterance_18_a_wsj_1640_2, r_0018_0001__No_quant, part1).
arc(r_0018_0001__No_quant, r_0018_0003__computer, restriction).
arc(r_0018_0001__No_quant, r_0018_0016__is, scope).
arc(r_0018_0003__computer, r_0018_0002__personal, attrib7).
arc(r_0018_0007__the_r_0018_0008__one, r_0018_0005__not_r_0018_0006__even, qual16).
arc(r_0018_0007__the_r_0018_0008__one, r_0018_0010__a_r_0018_0014__desk, r_0018_0009__on).
arc(r_0018_0010__a_r_0018_0014__desk, r_0018_0012__executive_r_0018_0013___apos_s, gen).
arc(r_0018_0012__executive_r_0018_0013___apos_s, r_0018_0011__chief, attrib32).
arc(r_0018_0016__is, r_0018_0003__computer, arg0).
arc(r_0018_0016__is, r_0018_0017__safe, prd).
arc(r_0018_0021__noted, utterance_18_a_wsj_1640_2, arg1).
arc(r_0018_0021__noted, r_0018_0019__this_r_0018_0020__speaker, arg0).
arc(z_000_18_a_wsj_1640_14, r_0018_0003__computer, arg0).
arc(z_000_18_a_wsj_1640_14, r_0018_0007__the_r_0018_0008__one, prd).

fof(formula,axiom,
    ? [R_18_21_NOTED,R_18_19_THIS_SPEAKER,UTTERANCE_18_A_WSJ_1640_2] :
      ( this_speaker(R_18_19_THIS_SPEAKER)
      & noted(R_18_21_NOTED,R_18_19_THIS_SPEAKER,UTTERANCE_18_A_WSJ_1640_2)
      & ! [Z_18_A_WSJ_1640_14,R_18_3_COMPUTER,R_18_2_PERSONAL,R_18_7_THE_ONE,R_18_5_NOT_EVEN,R_18_10_A_DESK,R_18_12_EXECUTIVE_APOS_S,R_18_11_CHIEF] :
          ( ( personal(R_18_2_PERSONAL)
            & not_even(R_18_5_NOT_EVEN)
            & chief(R_18_11_CHIEF)
            & z_18_a_wsj_1640_14(Z_18_A_WSJ_1640_14,R_18_3_COMPUTER,R_18_7_THE_ONE)
            & computer(R_18_3_COMPUTER)
            & attrib7(R_18_3_COMPUTER,R_18_2_PERSONAL)
            & the_one(R_18_7_THE_ONE)
            & qual16(R_18_7_THE_ONE,R_18_5_NOT_EVEN)
            & on(R_18_7_THE_ONE,R_18_10_A_DESK)
            & a_desk(R_18_10_A_DESK)
            & gen(R_18_10_A_DESK,R_18_12_EXECUTIVE_APOS_S)
            & executive_apos_s(R_18_12_EXECUTIVE_APOS_S)
            & attrib32(R_18_12_EXECUTIVE_APOS_S,R_18_11_CHIEF) )
         => ? [R_18_16_IS,R_18_17_SAFE] :
              ( safe(R_18_17_SAFE)
              & is(R_18_16_IS,R_18_3_COMPUTER,R_18_17_SAFE) ) )
      & part1(PART1)
      & utterance_18_a_wsj_1640_2(UTTERANCE_18_A_WSJ_1640_2) ) ).

( (IP-MAT (utterance-OB1 (IP-MAT (NP-SBJ (Q No;{no})
                                         (ADJP (ADJ personal;{personal}))
                                         (N computer;{computer})
                                         (PUNC ,)
                                         (IP-PPL (NP-PRD (ADVP (NEG not;{not})
                                                               (ADV even;{even}))
                                                         (D the;{the})
                                                         (NUM one;{one})
                                                         (PP (P-ROLE on;{on})
                                                             (NP (D a;{a})
                                                                 (NP-GEN (ADJP (ADJ chief;{chief}))
                                                                         (N executive;{executive})
                                                                         (GENM <apos>s))
                                                                 (N desk;{desk}))))))
                                 (PUNC ,)
                                 (BEP;_La_ is;{be})
                                 (ADJP-PRD (ADJ safe;{safe}))))
          (PUNC ,)
          (NP-SBJ;{EXPERT} (D this;{this})
                           (N speaker;{speaker}))
          (VBD;_Tr_ noted;{note})
          (PUNC .))
  (ID 18_a_wsj_1640))