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