Context                Previous, Next                Top


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

%3 r_0256_0001__Nothing_quant Nothing [quant] r_0256_0003__remained remained r_0256_0001__Nothing_quant->r_0256_0003__remained [scope] z_000_256_a_dick_1952_2 r_0256_0001__Nothing_quant->z_000_256_a_dick_1952_2 [restriction] r_0256_0003__remained->z_000_256_a_dick_1952_2 [arg0] r_0256_0006__this_r_0256_0008__circle this circle r_0256_0003__remained->r_0256_0006__this_r_0256_0008__circle [nim] r_0256_0002__else else z_000_256_a_dick_1952_2->r_0256_0002__else [qual] r_0256_0005__only only r_0256_0006__this_r_0256_0008__circle->r_0256_0005__only [qual] r_0256_0007__irregular irregular r_0256_0006__this_r_0256_0008__circle->r_0256_0007__irregular [attrib] r_0256_0011__squares squares r_0256_0006__this_r_0256_0008__circle->r_0256_0011__squares of r_0256_0013__perhaps perhaps r_0256_0006__this_r_0256_0008__circle->r_0256_0013__perhaps [qual] r_0256_0010__white white r_0256_0011__squares->r_0256_0010__white [attrib] r_0256_0014__four_r_0256_0015__miles four miles r_0256_0013__perhaps->r_0256_0014__four_r_0256_0015__miles [nim] r_0256_0017__diameter diameter r_0256_0014__four_r_0256_0015__miles->r_0256_0017__diameter in 
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).


%3 r_0256_0001__Nothing_quant Nothing [quant] r_0256_0003__remained remained r_0256_0001__Nothing_quant->r_0256_0003__remained [scope] z_000_256_a_dick_1952_2 r_0256_0001__Nothing_quant->z_000_256_a_dick_1952_2 [restriction] r_0256_0003__remained->z_000_256_a_dick_1952_2 [arg0] r_0256_0006__this_r_0256_0008__circle this circle r_0256_0003__remained->r_0256_0006__this_r_0256_0008__circle [nim] r_0256_0002__else else z_000_256_a_dick_1952_2->r_0256_0002__else [qual] r_0256_0005__only only r_0256_0006__this_r_0256_0008__circle->r_0256_0005__only [qual] r_0256_0007__irregular irregular r_0256_0006__this_r_0256_0008__circle->r_0256_0007__irregular [attrib] r_0256_0011__squares squares r_0256_0006__this_r_0256_0008__circle->r_0256_0011__squares of r_0256_0013__perhaps perhaps r_0256_0006__this_r_0256_0008__circle->r_0256_0013__perhaps [qual] r_0256_0010__white white r_0256_0011__squares->r_0256_0010__white [attrib] r_0256_0014__four_r_0256_0015__miles four miles r_0256_0013__perhaps->r_0256_0014__four_r_0256_0015__miles [nim] r_0256_0017__diameter diameter r_0256_0014__four_r_0256_0015__miles->r_0256_0017__diameter in 
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) ) ) ).


n256_a_dick_1952 n256_a_dick_1952_4 Nothing n256_a_dick_1952_7 else n256_a_dick_1952_9 remained n256_a_dick_1952_11 , n256_a_dick_1952_15 only n256_a_dick_1952_17 this n256_a_dick_1952_20 irregular n256_a_dick_1952_22 circle n256_a_dick_1952_25 of n256_a_dick_1952_29 white n256_a_dick_1952_31 squares n256_a_dick_1952_33 , n256_a_dick_1952_36 perhaps n256_a_dick_1952_39 four n256_a_dick_1952_41 miles n256_a_dick_1952_44 in n256_a_dick_1952_47 diameter n256_a_dick_1952_49 . n256_a_dick_1952_1 IP-MAT n256_a_dick_1952_2 NP-SBJ n256_a_dick_1952_1->n256_a_dick_1952_2 n256_a_dick_1952_8 VBD;_I_ n256_a_dick_1952_1->n256_a_dick_1952_8 n256_a_dick_1952_10 PUNC n256_a_dick_1952_1->n256_a_dick_1952_10 n256_a_dick_1952_12 NP-NIM n256_a_dick_1952_1->n256_a_dick_1952_12 n256_a_dick_1952_48 PUNC n256_a_dick_1952_1->n256_a_dick_1952_48 n256_a_dick_1952_3 Q;_nphd_ n256_a_dick_1952_2->n256_a_dick_1952_3 n256_a_dick_1952_5 ADVP n256_a_dick_1952_2->n256_a_dick_1952_5 n256_a_dick_1952_3->n256_a_dick_1952_4 n256_a_dick_1952_6 ADV n256_a_dick_1952_5->n256_a_dick_1952_6 n256_a_dick_1952_6->n256_a_dick_1952_7 n256_a_dick_1952_8->n256_a_dick_1952_9 n256_a_dick_1952_10->n256_a_dick_1952_11 n256_a_dick_1952_13 ADVP n256_a_dick_1952_12->n256_a_dick_1952_13 n256_a_dick_1952_16 D n256_a_dick_1952_12->n256_a_dick_1952_16 n256_a_dick_1952_18 ADJP n256_a_dick_1952_12->n256_a_dick_1952_18 n256_a_dick_1952_21 N n256_a_dick_1952_12->n256_a_dick_1952_21 n256_a_dick_1952_23 PP n256_a_dick_1952_12->n256_a_dick_1952_23 n256_a_dick_1952_32 PUNC n256_a_dick_1952_12->n256_a_dick_1952_32 n256_a_dick_1952_34 ADVP-NIM n256_a_dick_1952_12->n256_a_dick_1952_34 n256_a_dick_1952_14 ADV n256_a_dick_1952_13->n256_a_dick_1952_14 n256_a_dick_1952_14->n256_a_dick_1952_15 n256_a_dick_1952_16->n256_a_dick_1952_17 n256_a_dick_1952_19 ADJ n256_a_dick_1952_18->n256_a_dick_1952_19 n256_a_dick_1952_19->n256_a_dick_1952_20 n256_a_dick_1952_21->n256_a_dick_1952_22 n256_a_dick_1952_24 P-ROLE n256_a_dick_1952_23->n256_a_dick_1952_24 n256_a_dick_1952_26 NP n256_a_dick_1952_23->n256_a_dick_1952_26 n256_a_dick_1952_24->n256_a_dick_1952_25 n256_a_dick_1952_27 ADJP n256_a_dick_1952_26->n256_a_dick_1952_27 n256_a_dick_1952_30 NS n256_a_dick_1952_26->n256_a_dick_1952_30 n256_a_dick_1952_28 ADJ n256_a_dick_1952_27->n256_a_dick_1952_28 n256_a_dick_1952_28->n256_a_dick_1952_29 n256_a_dick_1952_30->n256_a_dick_1952_31 n256_a_dick_1952_32->n256_a_dick_1952_33 n256_a_dick_1952_35 ADV n256_a_dick_1952_34->n256_a_dick_1952_35 n256_a_dick_1952_37 NP n256_a_dick_1952_34->n256_a_dick_1952_37 n256_a_dick_1952_35->n256_a_dick_1952_36 n256_a_dick_1952_38 NUM n256_a_dick_1952_37->n256_a_dick_1952_38 n256_a_dick_1952_40 NS n256_a_dick_1952_37->n256_a_dick_1952_40 n256_a_dick_1952_42 PP n256_a_dick_1952_37->n256_a_dick_1952_42 n256_a_dick_1952_38->n256_a_dick_1952_39 n256_a_dick_1952_40->n256_a_dick_1952_41 n256_a_dick_1952_43 P-ROLE n256_a_dick_1952_42->n256_a_dick_1952_43 n256_a_dick_1952_45 NP n256_a_dick_1952_42->n256_a_dick_1952_45 n256_a_dick_1952_43->n256_a_dick_1952_44 n256_a_dick_1952_46 N n256_a_dick_1952_45->n256_a_dick_1952_46 n256_a_dick_1952_46->n256_a_dick_1952_47 n256_a_dick_1952_48->n256_a_dick_1952_49 
( (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))