arc(utterance_483_a_dick_1952_4, r_0483_0002__All_quant, part1).
arc(r_0483_0002__All_quant, r_0483_0003__these_r_0483_0005__crates, restriction).
arc(r_0483_0002__All_quant, z_000_483_a_dick_1952_5, scope).
arc(r_0483_0003__these_r_0483_0005__crates, r_0483_0004__other, attrib11).
arc(r_0483_0009__said, utterance_483_a_dick_1952_4, arg1).
arc(r_0483_0009__said, r_0483_0008__Nasha, arg0).
arc(z_000_483_a_dick_1952_5, r_0483_0003__these_r_0483_0005__crates, nim6).

fof(formula,axiom,
    ? [R_483_9_SAID,R_483_8_NASHA,UTTERANCE_483_A_DICK_1952_4] :
      ( nasha(R_483_8_NASHA)
      & said(R_483_9_SAID,R_483_8_NASHA,UTTERANCE_483_A_DICK_1952_4)
      & ! [R_483_3_THESE_CRATES,R_483_4_OTHER] :
          ( ( other(R_483_4_OTHER)
            & these_crates(R_483_3_THESE_CRATES)
            & attrib11(R_483_3_THESE_CRATES,R_483_4_OTHER) )
         => ? [Z_483_A_DICK_1952_5] :
              ( z_483_a_dick_1952_5(Z_483_A_DICK_1952_5)
              & nim6(Z_483_A_DICK_1952_5,R_483_3_THESE_CRATES) ) )
      & part1(PART1)
      & utterance_483_a_dick_1952_4(UTTERANCE_483_A_DICK_1952_4) ) ).

( (IP-MAT (PULQ <ldquo>)
          (utterance-OB1 (FRAG (NP (Q;_nphd_ All;{all})
                                   (D these;{these})
                                   (ADJP (ADJ other;{other}))
                                   (NS crates;{crate}))))
          (PUNC ,)
          (PURQ <rdquo>)
          (NP-SBJ;{NASHA} (NPR Nasha;{Nasha}))
          (VBD;_Tr_ said;{say})
          (PUNC .))
  (ID 483_a_dick_1952))