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,
    ? [UTTERANCE_483_A_DICK_1952_4,R_0483_0008__NASHA,R_0483_0009__SAID] :
      ( r_0483_0008__Nasha(R_0483_0008__NASHA)
      & r_0483_0009__said(R_0483_0009__SAID)
      & has_arg0(R_0483_0009__SAID,R_0483_0008__NASHA)
      & has_arg1(R_0483_0009__SAID,UTTERANCE_483_A_DICK_1952_4)
      & utterance_483_a_dick_1952_4(UTTERANCE_483_A_DICK_1952_4)
      & ! [R_0483_0003__THESE_R_0483_0005__CRATES,R_0483_0004__OTHER] :
          ( ( r_0483_0004__other(R_0483_0004__OTHER)
            & r_0483_0003__these_r_0483_0005__crates(R_0483_0003__THESE_R_0483_0005__CRATES)
            & has_attrib11(R_0483_0003__THESE_R_0483_0005__CRATES,R_0483_0004__OTHER) )
         => ? [Z_000_483_A_DICK_1952_5] :
              ( z_000_483_a_dick_1952_5(Z_000_483_A_DICK_1952_5)
              & has_nim6(Z_000_483_A_DICK_1952_5,R_0483_0003__THESE_R_0483_0005__CRATES) ) ) ) ).

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