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 z_000_256_a_dick_1952_2 r_0256_0002__else else z_000_256_a_dick_1952_2->r_0256_0002__else [qual] r_0256_0014__four_r_0256_0015__miles four miles r_0256_0017__diameter diameter r_0256_0014__four_r_0256_0015__miles->r_0256_0017__diameter in r_0256_0013__perhaps perhaps r_0256_0013__perhaps->r_0256_0014__four_r_0256_0015__miles [nim] r_0256_0011__squares squares r_0256_0010__white white r_0256_0011__squares->r_0256_0010__white [attrib] r_0256_0006__this_r_0256_0008__circle this circle r_0256_0006__this_r_0256_0008__circle->r_0256_0013__perhaps [qual] r_0256_0006__this_r_0256_0008__circle->r_0256_0011__squares of r_0256_0007__irregular irregular r_0256_0006__this_r_0256_0008__circle->r_0256_0007__irregular [attrib] r_0256_0005__only only r_0256_0006__this_r_0256_0008__circle->r_0256_0005__only [qual] r_0256_0003__remained remained r_0256_0003__remained->z_000_256_a_dick_1952_2 [arg0] r_0256_0003__remained->r_0256_0006__this_r_0256_0008__circle [nim] r_0256_0001__Nothing_quant Nothing [quant] r_0256_0001__Nothing_quant->z_000_256_a_dick_1952_2 [restriction] r_0256_0001__Nothing_quant->r_0256_0003__remained [scope] 
fof(formula,axiom,
    ! [Z_000_256_A_DICK_1952_2,R_0256_0002__ELSE] :
      ( ( r_0256_0002__else(R_0256_0002__ELSE)
        & z_000_256_a_dick_1952_2(Z_000_256_A_DICK_1952_2)
        & has_qual5(Z_000_256_A_DICK_1952_2,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_000_256_A_DICK_1952_2)
          & has_nim12(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_qual34(R_0256_0006__THIS_R_0256_0008__CIRCLE,R_0256_0013__PERHAPS)
          & r_0256_0013__perhaps(R_0256_0013__PERHAPS)
          & has_nim37(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_attrib27(R_0256_0011__SQUARES,R_0256_0010__WHITE)
          & has_attrib18(R_0256_0006__THIS_R_0256_0008__CIRCLE,R_0256_0007__IRREGULAR)
          & has_qual13(R_0256_0006__THIS_R_0256_0008__CIRCLE,R_0256_0005__ONLY) ) ) ).


n256_a_dick_1952 n256_a_dick_1952__1_1_1_1 Nothing n256_a_dick_1952__1_1_2_1_1 else n256_a_dick_1952__1_2_1 remained n256_a_dick_1952__1_3_1 , n256_a_dick_1952__1_4_1_1_1 only n256_a_dick_1952__1_4_2_1 this n256_a_dick_1952__1_4_3_1_1 irregular n256_a_dick_1952__1_4_4_1 circle n256_a_dick_1952__1_4_5_1_1 of n256_a_dick_1952__1_4_5_2_1_1_1 white n256_a_dick_1952__1_4_5_2_2_1 squares n256_a_dick_1952__1_4_6_1 , n256_a_dick_1952__1_4_7_1_1 perhaps n256_a_dick_1952__1_4_7_2_1_1 four n256_a_dick_1952__1_4_7_2_2_1 miles n256_a_dick_1952__1_4_7_2_3_1_1 in n256_a_dick_1952__1_4_7_2_3_2_1_1 diameter n256_a_dick_1952__1_5_1 . n256_a_dick_1952__1 IP-MAT n256_a_dick_1952__1_1 NP-SBJ n256_a_dick_1952__1->n256_a_dick_1952__1_1 n256_a_dick_1952__1_2 VBD;_I_ n256_a_dick_1952__1->n256_a_dick_1952__1_2 n256_a_dick_1952__1_3 PUNC n256_a_dick_1952__1->n256_a_dick_1952__1_3 n256_a_dick_1952__1_4 NP-NIM n256_a_dick_1952__1->n256_a_dick_1952__1_4 n256_a_dick_1952__1_5 PUNC n256_a_dick_1952__1->n256_a_dick_1952__1_5 n256_a_dick_1952__1_1_1 Q;_nphd_ n256_a_dick_1952__1_1->n256_a_dick_1952__1_1_1 n256_a_dick_1952__1_1_2 ADVP n256_a_dick_1952__1_1->n256_a_dick_1952__1_1_2 n256_a_dick_1952__1_1_1->n256_a_dick_1952__1_1_1_1 n256_a_dick_1952__1_1_2_1 ADV n256_a_dick_1952__1_1_2->n256_a_dick_1952__1_1_2_1 n256_a_dick_1952__1_1_2_1->n256_a_dick_1952__1_1_2_1_1 n256_a_dick_1952__1_2->n256_a_dick_1952__1_2_1 n256_a_dick_1952__1_3->n256_a_dick_1952__1_3_1 n256_a_dick_1952__1_4_1 ADVP n256_a_dick_1952__1_4->n256_a_dick_1952__1_4_1 n256_a_dick_1952__1_4_2 D n256_a_dick_1952__1_4->n256_a_dick_1952__1_4_2 n256_a_dick_1952__1_4_3 ADJP n256_a_dick_1952__1_4->n256_a_dick_1952__1_4_3 n256_a_dick_1952__1_4_4 N n256_a_dick_1952__1_4->n256_a_dick_1952__1_4_4 n256_a_dick_1952__1_4_5 PP n256_a_dick_1952__1_4->n256_a_dick_1952__1_4_5 n256_a_dick_1952__1_4_6 PUNC n256_a_dick_1952__1_4->n256_a_dick_1952__1_4_6 n256_a_dick_1952__1_4_7 ADVP-NIM n256_a_dick_1952__1_4->n256_a_dick_1952__1_4_7 n256_a_dick_1952__1_4_1_1 ADV n256_a_dick_1952__1_4_1->n256_a_dick_1952__1_4_1_1 n256_a_dick_1952__1_4_1_1->n256_a_dick_1952__1_4_1_1_1 n256_a_dick_1952__1_4_2->n256_a_dick_1952__1_4_2_1 n256_a_dick_1952__1_4_3_1 ADJ n256_a_dick_1952__1_4_3->n256_a_dick_1952__1_4_3_1 n256_a_dick_1952__1_4_3_1->n256_a_dick_1952__1_4_3_1_1 n256_a_dick_1952__1_4_4->n256_a_dick_1952__1_4_4_1 n256_a_dick_1952__1_4_5_1 P-ROLE n256_a_dick_1952__1_4_5->n256_a_dick_1952__1_4_5_1 n256_a_dick_1952__1_4_5_2 NP n256_a_dick_1952__1_4_5->n256_a_dick_1952__1_4_5_2 n256_a_dick_1952__1_4_5_1->n256_a_dick_1952__1_4_5_1_1 n256_a_dick_1952__1_4_5_2_1 ADJP n256_a_dick_1952__1_4_5_2->n256_a_dick_1952__1_4_5_2_1 n256_a_dick_1952__1_4_5_2_2 NS n256_a_dick_1952__1_4_5_2->n256_a_dick_1952__1_4_5_2_2 n256_a_dick_1952__1_4_5_2_1_1 ADJ n256_a_dick_1952__1_4_5_2_1->n256_a_dick_1952__1_4_5_2_1_1 n256_a_dick_1952__1_4_5_2_1_1->n256_a_dick_1952__1_4_5_2_1_1_1 n256_a_dick_1952__1_4_5_2_2->n256_a_dick_1952__1_4_5_2_2_1 n256_a_dick_1952__1_4_6->n256_a_dick_1952__1_4_6_1 n256_a_dick_1952__1_4_7_1 ADV n256_a_dick_1952__1_4_7->n256_a_dick_1952__1_4_7_1 n256_a_dick_1952__1_4_7_2 NP n256_a_dick_1952__1_4_7->n256_a_dick_1952__1_4_7_2 n256_a_dick_1952__1_4_7_1->n256_a_dick_1952__1_4_7_1_1 n256_a_dick_1952__1_4_7_2_1 NUM n256_a_dick_1952__1_4_7_2->n256_a_dick_1952__1_4_7_2_1 n256_a_dick_1952__1_4_7_2_2 NS n256_a_dick_1952__1_4_7_2->n256_a_dick_1952__1_4_7_2_2 n256_a_dick_1952__1_4_7_2_3 PP n256_a_dick_1952__1_4_7_2->n256_a_dick_1952__1_4_7_2_3 n256_a_dick_1952__1_4_7_2_1->n256_a_dick_1952__1_4_7_2_1_1 n256_a_dick_1952__1_4_7_2_2->n256_a_dick_1952__1_4_7_2_2_1 n256_a_dick_1952__1_4_7_2_3_1 P-ROLE n256_a_dick_1952__1_4_7_2_3->n256_a_dick_1952__1_4_7_2_3_1 n256_a_dick_1952__1_4_7_2_3_2 NP n256_a_dick_1952__1_4_7_2_3->n256_a_dick_1952__1_4_7_2_3_2 n256_a_dick_1952__1_4_7_2_3_1->n256_a_dick_1952__1_4_7_2_3_1_1 n256_a_dick_1952__1_4_7_2_3_2_1 N n256_a_dick_1952__1_4_7_2_3_2->n256_a_dick_1952__1_4_7_2_3_2_1 n256_a_dick_1952__1_4_7_2_3_2_1->n256_a_dick_1952__1_4_7_2_3_2_1_1 n256_a_dick_1952__1_5->n256_a_dick_1952__1_5_1 
( (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))