arc(r_0256_0001__Nothing_quant, r_0256_0003__remained, scope).
arc(r_0256_0001__Nothing_quant, z_000_256_a_dick_1952_2, restriction).
arc(r_0256_0003__remained, r_0256_0006__this_r_0256_0008__circle, nim12).
arc(r_0256_0003__remained, z_000_256_a_dick_1952_2, arg0).
arc(r_0256_0006__this_r_0256_0008__circle, r_0256_0005__only, qual13).
arc(r_0256_0006__this_r_0256_0008__circle, r_0256_0007__irregular, attrib18).
arc(r_0256_0006__this_r_0256_0008__circle, r_0256_0011__squares, r_0256_0009__of).
arc(r_0256_0006__this_r_0256_0008__circle, r_0256_0013__perhaps, qual34).
arc(r_0256_0011__squares, r_0256_0010__white, attrib27).
arc(r_0256_0013__perhaps, r_0256_0014__four_r_0256_0015__miles, nim37).
arc(r_0256_0014__four_r_0256_0015__miles, r_0256_0017__diameter, r_0256_0016__in).
arc(z_000_256_a_dick_1952_2, r_0256_0002__else, qual5).

fof(formula,axiom,
    ! [Z_256_A_DICK_1952_2,R_256_2_ELSE] :
      ( ( else(R_256_2_ELSE)
        & z_256_a_dick_1952_2(Z_256_A_DICK_1952_2)
        & qual5(Z_256_A_DICK_1952_2,R_256_2_ELSE) )
     => ? [R_256_3_REMAINED,R_256_6_THIS_CIRCLE,R_256_7_IRREGULAR,R_256_5_ONLY,R_256_13_PERHAPS,R_256_14_FOUR_MILES,R_256_17_DIAMETER,R_256_11_SQUARES,R_256_10_WHITE] :
          ( irregular(R_256_7_IRREGULAR)
          & only(R_256_5_ONLY)
          & diameter(R_256_17_DIAMETER)
          & white(R_256_10_WHITE)
          & remained(R_256_3_REMAINED,Z_256_A_DICK_1952_2)
          & nim12(R_256_3_REMAINED,R_256_6_THIS_CIRCLE)
          & this_circle(R_256_6_THIS_CIRCLE)
          & attrib18(R_256_6_THIS_CIRCLE,R_256_7_IRREGULAR)
          & qual13(R_256_6_THIS_CIRCLE,R_256_5_ONLY)
          & qual34(R_256_6_THIS_CIRCLE,R_256_13_PERHAPS)
          & perhaps(R_256_13_PERHAPS)
          & nim37(R_256_13_PERHAPS,R_256_14_FOUR_MILES)
          & four_miles(R_256_14_FOUR_MILES)
          & in(R_256_14_FOUR_MILES,R_256_17_DIAMETER)
          & of(R_256_6_THIS_CIRCLE,R_256_11_SQUARES)
          & squares(R_256_11_SQUARES)
          & attrib27(R_256_11_SQUARES,R_256_10_WHITE) ) ) ).

( (IP-MAT (NP-SBJ (Q;_nphd_ Nothing;{nothing})
                  (ADVP (ADV else;{else})))
          (VBD;_I_ remained;{remain})
          (PUNC ,)
          (NP-NIM (ADVP (ADV only;{only}))
                  (D this;{this})
                  (ADJP (ADJ irregular;{irregular}))
                  (N circle;{circle})
                  (PP (P-ROLE of;{of})
                      (NP (ADJP (ADJ white;{white}))
                          (NS squares;{square})))
                  (PUNC ,)
                  (ADVP-NIM (ADV perhaps;{perhaps})
                            (NP (NUM four;{four})
                                (NS miles;{mile})
                                (PP (P-ROLE in;{in})
                                    (NP (N diameter;{diameter}))))))
          (PUNC .))
  (ID 256_a_dick_1952))