TSPC 256_a_dick

256_a_dick_1952
Nothing else remained, only this irregular circle of white squares, perhaps four miles in diameter.

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

arc(r_0256_0001__Nothing__quant,r_0256_0003__remained,scope).
arc(r_0256_0001__Nothing__quant,z_0256_5004,restriction).
arc(r_0256_0003__remained,r_0256_0006__this_r_0256_0008__circle,nim).
arc(r_0256_0003__remained,z_0256_5004,arg0).
arc(r_0256_0006__this_r_0256_0008__circle,r_0256_0005__only,qual).
arc(r_0256_0006__this_r_0256_0008__circle,r_0256_0007__irregular,attrib).
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,nim).
arc(r_0256_0011__squares,r_0256_0010__white,attrib).
arc(r_0256_0013__perhaps,r_0256_0014__four_r_0256_0015__miles,nim).
arc(r_0256_0014__four_r_0256_0015__miles,r_0256_0017__diameter,r_0256_0016__in).
arc(z_0256_5004,r_0256_0002__else,qual).

fof(formula,axiom,
    ! [Z_0256_5004,R_0256_0002__ELSE] :
      ( ( r_0256_0002__else(R_0256_0002__ELSE)
        & z_0256_5004(Z_0256_5004)
        & has_qual(Z_0256_5004,R_0256_0002__ELSE) )
     => ? [R_0256_0005__ONLY,R_0256_0007__IRREGULAR,R_0256_0010__WHITE,R_0256_0011__SQUARES,R_0256_0017__DIAMETER,R_0256_0014__FOUR_R_0256_0015__MILES,R_0256_0013__PERHAPS,R_0256_0006__THIS_R_0256_0008__CIRCLE,R_0256_0003__REMAINED] :
          ( r_0256_0005__only(R_0256_0005__ONLY)
          & r_0256_0007__irregular(R_0256_0007__IRREGULAR)
          & r_0256_0010__white(R_0256_0010__WHITE)
          & r_0256_0017__diameter(R_0256_0017__DIAMETER)
          & r_0256_0003__remained(R_0256_0003__REMAINED)
          & has_arg0(R_0256_0003__REMAINED,Z_0256_5004)
          & has_nim(R_0256_0003__REMAINED,R_0256_0006__THIS_R_0256_0008__CIRCLE)
          & r_0256_0006__this_r_0256_0008__circle(R_0256_0006__THIS_R_0256_0008__CIRCLE)
          & has_nim(R_0256_0006__THIS_R_0256_0008__CIRCLE,R_0256_0013__PERHAPS)
          & r_0256_0013__perhaps(R_0256_0013__PERHAPS)
          & has_nim(R_0256_0013__PERHAPS,R_0256_0014__FOUR_R_0256_0015__MILES)
          & r_0256_0014__four_r_0256_0015__miles(R_0256_0014__FOUR_R_0256_0015__MILES)
          & has_r_0256_0016__in(R_0256_0014__FOUR_R_0256_0015__MILES,R_0256_0017__DIAMETER)
          & has_r_0256_0009__of(R_0256_0006__THIS_R_0256_0008__CIRCLE,R_0256_0011__SQUARES)
          & r_0256_0011__squares(R_0256_0011__SQUARES)
          & has_attrib(R_0256_0011__SQUARES,R_0256_0010__WHITE)
          & has_attrib(R_0256_0006__THIS_R_0256_0008__CIRCLE,R_0256_0007__IRREGULAR)
          & has_qual(R_0256_0006__THIS_R_0256_0008__CIRCLE,R_0256_0005__ONLY) ) ) ).