TSPC 70_a_dick

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

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

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

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