TSPC 478_a_dick

478_a_dick_1952
A boy in a blue garment, smiling pleasantly, staring ahead, young and handsome.

( (FRAG (NP;{BOY} (D A;{a})
                  (N boy;{boy})
                  (PP (P-ROLE in;{in})
                      (NP (D a;{a})
                          (ADJP (ADJ blue;{blue}))
                          (N garment;{garment})))
                  (PUNC ,)
                  (IP-PPL (VAG;_I_ smiling;{smile})
                          (ADVP-NIM (ADV pleasantly;{pleasantly})))
                  (PUNC ,)
                  (IP-PPL (VAG;_Ip_ staring;{stare[ahead]})
                          (ADVP-CLR (ADV ahead;{ahead})))
                  (PUNC ,)
                  (ADJP (AJLYR (AJLYR (ADJ young;{young}))
                               (CONJP (CONJ and;{and})
                                      (AJLYR (ADJ handsome;{handsome}))))))
        (PUNC .))
  (ID 478_a_dick_1952))

arc(r_0478_0001__A_r_0478_0002__boy,r_0478_0004__a_r_0478_0006__garment,r_0478_0003__in).
arc(r_0478_0001__A_r_0478_0002__boy,r_0478_0015__and,attrib).
arc(r_0478_0004__a_r_0478_0006__garment,r_0478_0005__blue,attrib).
arc(r_0478_0008__smiling,r_0478_0001__A_r_0478_0002__boy,inv_arg0).
arc(r_0478_0008__smiling,r_0478_0009__pleasantly,nim).
arc(r_0478_0011__staring_r_0478_0012__ahead,r_0478_0001__A_r_0478_0002__boy,inv_arg0).
arc(r_0478_0015__and,r_0478_0014__young,conj1).
arc(r_0478_0015__and,r_0478_0016__handsome,conj2).
arc(z_0478_5012,r_0478_0001__A_r_0478_0002__boy,z_0478_5002).

fof(formula,axiom,
    ? [R_0478_0005__BLUE,R_0478_0004__A_R_0478_0006__GARMENT,R_0478_0014__YOUNG,R_0478_0016__HANDSOME,R_0478_0015__AND,R_0478_0009__PLEASANTLY,R_0478_0008__SMILING,R_0478_0011__STARING_R_0478_0012__AHEAD,R_0478_0001__A_R_0478_0002__BOY,Z_0478_5012] :
      ( r_0478_0005__blue(R_0478_0005__BLUE)
      & r_0478_0009__pleasantly(R_0478_0009__PLEASANTLY)
      & r_0478_0011__staring_r_0478_0012__ahead(R_0478_0011__STARING_R_0478_0012__AHEAD)
      & r_0478_0014__young(R_0478_0014__YOUNG)
      & r_0478_0016__handsome(R_0478_0016__HANDSOME)
      & z_0478_5012(Z_0478_5012)
      & has_z_0478_5002(Z_0478_5012,R_0478_0001__A_R_0478_0002__BOY)
      & r_0478_0001__A_r_0478_0002__boy(R_0478_0001__A_R_0478_0002__BOY)
      & has_inv_arg0(R_0478_0001__A_R_0478_0002__BOY,R_0478_0011__STARING_R_0478_0012__AHEAD)
      & has_inv_arg0(R_0478_0001__A_R_0478_0002__BOY,R_0478_0008__SMILING)
      & r_0478_0008__smiling(R_0478_0008__SMILING)
      & has_nim(R_0478_0008__SMILING,R_0478_0009__PLEASANTLY)
      & has_attrib(R_0478_0001__A_R_0478_0002__BOY,R_0478_0015__AND)
      & r_0478_0015__and(R_0478_0015__AND)
      & has_conj2(R_0478_0015__AND,R_0478_0016__HANDSOME)
      & has_conj1(R_0478_0015__AND,R_0478_0014__YOUNG)
      & has_r_0478_0003__in(R_0478_0001__A_R_0478_0002__BOY,R_0478_0004__A_R_0478_0006__GARMENT)
      & r_0478_0004__a_r_0478_0006__garment(R_0478_0004__A_R_0478_0006__GARMENT)
      & has_attrib(R_0478_0004__A_R_0478_0006__GARMENT,R_0478_0005__BLUE) ) ).