Context                Previous, Next                Top


70_a_dick_1952
In a half - circle the white squares jutted from the slag, chipped and cracked, like broken teeth.

%3 r_0070_0006__the_r_0070_0008__squares the squares r_0070_0007__white white r_0070_0006__the_r_0070_0008__squares->r_0070_0007__white [attrib] r_0070_0009__jutted jutted r_0070_0009__jutted->r_0070_0006__the_r_0070_0008__squares [arg0] r_0070_0002__a_r_0070_0003__half_r_0070_0005__circle a half circle r_0070_0009__jutted->r_0070_0002__a_r_0070_0003__half_r_0070_0005__circle In [nim] r_0070_0011__the_r_0070_0012__slag the slag r_0070_0009__jutted->r_0070_0011__the_r_0070_0012__slag from [clr] r_0070_0014__chipped chipped r_0070_0014__chipped->r_0070_0006__the_r_0070_0008__squares [arg1] r_0070_0020__teeth teeth r_0070_0014__chipped->r_0070_0020__teeth like [nim] z_000_70_a_dick_1952_38 r_0070_0014__chipped->z_000_70_a_dick_1952_38 [arg0] r_0070_0015__and and r_0070_0015__and->r_0070_0014__chipped [conj1] r_0070_0016__cracked cracked r_0070_0015__and->r_0070_0016__cracked [conj2] r_0070_0016__cracked->r_0070_0006__the_r_0070_0008__squares [arg1] r_0070_0016__cracked->r_0070_0020__teeth like [nim] z_000_70_a_dick_1952_46 r_0070_0016__cracked->z_000_70_a_dick_1952_46 [arg0] r_0070_0019__broken broken r_0070_0019__broken->r_0070_0020__teeth [arg1] z_000_70_a_dick_1952_57 r_0070_0019__broken->z_000_70_a_dick_1952_57 [arg0] z_000_70_a_dick_1952_34 z_000_70_a_dick_1952_34->r_0070_0009__jutted [scope] z_000_70_a_dick_1952_34->r_0070_0015__and [restriction] 
arc(r_0070_0006__the_r_0070_0008__squares, r_0070_0007__white, attrib17).
arc(r_0070_0009__jutted, r_0070_0002__a_r_0070_0003__half_r_0070_0005__circle, r_0070_0001__In_nim5).
arc(r_0070_0009__jutted, r_0070_0006__the_r_0070_0008__squares, arg0).
arc(r_0070_0009__jutted, r_0070_0011__the_r_0070_0012__slag, r_0070_0010__from_clr27).
arc(r_0070_0014__chipped, r_0070_0006__the_r_0070_0008__squares, arg1).
arc(r_0070_0014__chipped, r_0070_0020__teeth, r_0070_0018__like_nim55).
arc(r_0070_0014__chipped, z_000_70_a_dick_1952_38, arg0).
arc(r_0070_0015__and, r_0070_0014__chipped, conj1).
arc(r_0070_0015__and, r_0070_0016__cracked, conj2).
arc(r_0070_0016__cracked, r_0070_0006__the_r_0070_0008__squares, arg1).
arc(r_0070_0016__cracked, r_0070_0020__teeth, r_0070_0018__like_nim55).
arc(r_0070_0016__cracked, z_000_70_a_dick_1952_46, arg0).
arc(r_0070_0019__broken, r_0070_0020__teeth, arg1).
arc(r_0070_0019__broken, z_000_70_a_dick_1952_57, arg0).
arc(z_000_70_a_dick_1952_34, r_0070_0009__jutted, scope).
arc(z_000_70_a_dick_1952_34, r_0070_0015__and, restriction).


%3 r_0070_0006__the_r_0070_0008__squares the squares r_0070_0007__white white r_0070_0006__the_r_0070_0008__squares->r_0070_0007__white [attrib] r_0070_0009__jutted jutted r_0070_0009__jutted->r_0070_0006__the_r_0070_0008__squares [arg0] r_0070_0002__a_r_0070_0003__half_r_0070_0005__circle a half circle r_0070_0009__jutted->r_0070_0002__a_r_0070_0003__half_r_0070_0005__circle In [nim] r_0070_0011__the_r_0070_0012__slag the slag r_0070_0009__jutted->r_0070_0011__the_r_0070_0012__slag from [clr] r_0070_0014__chipped chipped r_0070_0014__chipped->r_0070_0006__the_r_0070_0008__squares [arg1] r_0070_0020__teeth teeth r_0070_0014__chipped->r_0070_0020__teeth like [nim] z_000_70_a_dick_1952_38 r_0070_0014__chipped->z_000_70_a_dick_1952_38 [arg0] r_0070_0015__and and r_0070_0015__and->r_0070_0014__chipped [conj1] r_0070_0016__cracked cracked r_0070_0015__and->r_0070_0016__cracked [conj2] r_0070_0016__cracked->r_0070_0006__the_r_0070_0008__squares [arg1] r_0070_0016__cracked->r_0070_0020__teeth like [nim] z_000_70_a_dick_1952_46 r_0070_0016__cracked->z_000_70_a_dick_1952_46 [arg0] r_0070_0019__broken broken r_0070_0019__broken->r_0070_0020__teeth [arg1] z_000_70_a_dick_1952_57 r_0070_0019__broken->z_000_70_a_dick_1952_57 [arg0] z_000_70_a_dick_1952_34 z_000_70_a_dick_1952_34->r_0070_0009__jutted [conj2] z_000_70_a_dick_1952_34->r_0070_0015__and [conj1] 
fof(formula,axiom,
    ? [R_70_19_BROKEN,Z_70_A_DICK_1952_57,Z_70_A_DICK_1952_34,R_70_15_AND,R_70_14_CHIPPED,Z_70_A_DICK_1952_38,R_70_16_CRACKED,Z_70_A_DICK_1952_46,R_70_20_TEETH,R_70_9_JUTTED,R_70_6_THE_SQUARES,R_70_7_WHITE,R_70_2_A_HALF_CIRCLE,R_70_11_THE_SLAG] :
      ( teeth(R_70_20_TEETH)
      & white(R_70_7_WHITE)
      & a_half_circle(R_70_2_A_HALF_CIRCLE)
      & the_slag(R_70_11_THE_SLAG)
      & broken(R_70_19_BROKEN,Z_70_A_DICK_1952_57,R_70_20_TEETH)
      & z_70_a_dick_1952_34(Z_70_A_DICK_1952_34)
      & conj1(Z_70_A_DICK_1952_34,R_70_15_AND)
      & and(R_70_15_AND)
      & conj1(R_70_15_AND,R_70_14_CHIPPED)
      & chipped(R_70_14_CHIPPED,Z_70_A_DICK_1952_38,R_70_6_THE_SQUARES)
      & the_squares(R_70_6_THE_SQUARES)
      & attrib17(R_70_6_THE_SQUARES,R_70_7_WHITE)
      & like_nim55(R_70_14_CHIPPED,R_70_20_TEETH)
      & conj2(R_70_15_AND,R_70_16_CRACKED)
      & cracked(R_70_16_CRACKED,Z_70_A_DICK_1952_46,R_70_6_THE_SQUARES)
      & like_nim55(R_70_16_CRACKED,R_70_20_TEETH)
      & conj2(Z_70_A_DICK_1952_34,R_70_9_JUTTED)
      & jutted(R_70_9_JUTTED,R_70_6_THE_SQUARES)
      & in_nim5(R_70_9_JUTTED,R_70_2_A_HALF_CIRCLE)
      & from_clr27(R_70_9_JUTTED,R_70_11_THE_SLAG) ) ).


n70_a_dick_1952 n70_a_dick_1952_4 In n70_a_dick_1952_7 a n70_a_dick_1952_9 half n70_a_dick_1952_11 - n70_a_dick_1952_13 circle n70_a_dick_1952_16 the n70_a_dick_1952_19 white n70_a_dick_1952_21 squares n70_a_dick_1952_23 jutted n70_a_dick_1952_26 from n70_a_dick_1952_29 the n70_a_dick_1952_31 slag n70_a_dick_1952_33 , n70_a_dick_1952_39 * n70_a_dick_1952_41 chipped n70_a_dick_1952_44 and n70_a_dick_1952_47 * n70_a_dick_1952_49 cracked n70_a_dick_1952_51 , n70_a_dick_1952_54 like n70_a_dick_1952_58 * n70_a_dick_1952_60 broken n70_a_dick_1952_62 teeth n70_a_dick_1952_64 . n70_a_dick_1952_1 IP-MAT n70_a_dick_1952_2 PP-NIM n70_a_dick_1952_1->n70_a_dick_1952_2 n70_a_dick_1952_14 NP-SBJ n70_a_dick_1952_1->n70_a_dick_1952_14 n70_a_dick_1952_22 VBD;_Ipr_ n70_a_dick_1952_1->n70_a_dick_1952_22 n70_a_dick_1952_24 PP-CLR n70_a_dick_1952_1->n70_a_dick_1952_24 n70_a_dick_1952_32 PUNC n70_a_dick_1952_1->n70_a_dick_1952_32 n70_a_dick_1952_34 PP-SCON n70_a_dick_1952_1->n70_a_dick_1952_34 n70_a_dick_1952_63 PUNC n70_a_dick_1952_1->n70_a_dick_1952_63 n70_a_dick_1952_3 P-ROLE n70_a_dick_1952_2->n70_a_dick_1952_3 n70_a_dick_1952_5 NP n70_a_dick_1952_2->n70_a_dick_1952_5 n70_a_dick_1952_3->n70_a_dick_1952_4 n70_a_dick_1952_6 D n70_a_dick_1952_5->n70_a_dick_1952_6 n70_a_dick_1952_8 N n70_a_dick_1952_5->n70_a_dick_1952_8 n70_a_dick_1952_10 PUNC n70_a_dick_1952_5->n70_a_dick_1952_10 n70_a_dick_1952_12 N n70_a_dick_1952_5->n70_a_dick_1952_12 n70_a_dick_1952_6->n70_a_dick_1952_7 n70_a_dick_1952_8->n70_a_dick_1952_9 n70_a_dick_1952_10->n70_a_dick_1952_11 n70_a_dick_1952_12->n70_a_dick_1952_13 n70_a_dick_1952_15 D n70_a_dick_1952_14->n70_a_dick_1952_15 n70_a_dick_1952_17 ADJP n70_a_dick_1952_14->n70_a_dick_1952_17 n70_a_dick_1952_20 NS n70_a_dick_1952_14->n70_a_dick_1952_20 n70_a_dick_1952_15->n70_a_dick_1952_16 n70_a_dick_1952_18 ADJ n70_a_dick_1952_17->n70_a_dick_1952_18 n70_a_dick_1952_18->n70_a_dick_1952_19 n70_a_dick_1952_20->n70_a_dick_1952_21 n70_a_dick_1952_22->n70_a_dick_1952_23 n70_a_dick_1952_25 P-ROLE n70_a_dick_1952_24->n70_a_dick_1952_25 n70_a_dick_1952_27 NP n70_a_dick_1952_24->n70_a_dick_1952_27 n70_a_dick_1952_25->n70_a_dick_1952_26 n70_a_dick_1952_28 D n70_a_dick_1952_27->n70_a_dick_1952_28 n70_a_dick_1952_30 N n70_a_dick_1952_27->n70_a_dick_1952_30 n70_a_dick_1952_28->n70_a_dick_1952_29 n70_a_dick_1952_30->n70_a_dick_1952_31 n70_a_dick_1952_32->n70_a_dick_1952_33 n70_a_dick_1952_35 IP-PPL2 n70_a_dick_1952_34->n70_a_dick_1952_35 n70_a_dick_1952_36 ILYR n70_a_dick_1952_35->n70_a_dick_1952_36 n70_a_dick_1952_50 PUNC n70_a_dick_1952_35->n70_a_dick_1952_50 n70_a_dick_1952_52 PP-NIM n70_a_dick_1952_35->n70_a_dick_1952_52 n70_a_dick_1952_37 ILYR n70_a_dick_1952_36->n70_a_dick_1952_37 n70_a_dick_1952_42 CONJP n70_a_dick_1952_36->n70_a_dick_1952_42 n70_a_dick_1952_38 NP-LGS n70_a_dick_1952_37->n70_a_dick_1952_38 n70_a_dick_1952_40 VVN;_Tn_ n70_a_dick_1952_37->n70_a_dick_1952_40 n70_a_dick_1952_38->n70_a_dick_1952_39 n70_a_dick_1952_40->n70_a_dick_1952_41 n70_a_dick_1952_43 CONJ n70_a_dick_1952_42->n70_a_dick_1952_43 n70_a_dick_1952_45 ILYR n70_a_dick_1952_42->n70_a_dick_1952_45 n70_a_dick_1952_43->n70_a_dick_1952_44 n70_a_dick_1952_46 NP-LGS n70_a_dick_1952_45->n70_a_dick_1952_46 n70_a_dick_1952_48 VVN;_Tn_ n70_a_dick_1952_45->n70_a_dick_1952_48 n70_a_dick_1952_46->n70_a_dick_1952_47 n70_a_dick_1952_48->n70_a_dick_1952_49 n70_a_dick_1952_50->n70_a_dick_1952_51 n70_a_dick_1952_53 P-ROLE n70_a_dick_1952_52->n70_a_dick_1952_53 n70_a_dick_1952_55 NP n70_a_dick_1952_52->n70_a_dick_1952_55 n70_a_dick_1952_53->n70_a_dick_1952_54 n70_a_dick_1952_56 IP-PPL n70_a_dick_1952_55->n70_a_dick_1952_56 n70_a_dick_1952_61 NS n70_a_dick_1952_55->n70_a_dick_1952_61 n70_a_dick_1952_57 NP-LGS n70_a_dick_1952_56->n70_a_dick_1952_57 n70_a_dick_1952_59 VVN;_Tn_ n70_a_dick_1952_56->n70_a_dick_1952_59 n70_a_dick_1952_57->n70_a_dick_1952_58 n70_a_dick_1952_59->n70_a_dick_1952_60 n70_a_dick_1952_61->n70_a_dick_1952_62 n70_a_dick_1952_63->n70_a_dick_1952_64 
( (IP-MAT (PP-NIM (P-ROLE In;{in})
                  (NP (D a;{a})
                      (N half;{half})
                      (PUNC <hyphen>)
                      (N circle;{circle})))
          (NP-SBJ (D the;{the})
                  (ADJP (ADJ white;{white}))
                  (NS squares;{square}))
          (VBD;_Ipr_ jutted;{jut[from]})
          (PP-CLR (P-ROLE from;{from})
                  (NP (D the;{the})
                      (N slag;{slag})))
          (PUNC ,)
          (PP-SCON (IP-PPL2 (ILYR (ILYR (NP-LGS *)
                                        (VVN;_Tn_ chipped;{chip}))
                                  (CONJP (CONJ and;{and})
                                         (ILYR (NP-LGS *)
                                               (VVN;_Tn_ cracked;{crack}))))
                            (PUNC ,)
                            (PP-NIM (P-ROLE like;{like})
                                    (NP (IP-PPL (NP-LGS *)
                                                (VVN;_Tn_ broken;{break}))
                                        (NS teeth;{teeth})))))
          (PUNC .))
  (ID 70_a_dick_1952))