478_a_dick_1952
A boy in a blue garment, smiling pleasantly, staring ahead, young and handsome.
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, attrib36).
arc(r_0478_0004__a_r_0478_0006__garment, r_0478_0005__blue, attrib13).
arc(r_0478_0008__smiling, r_0478_0001__A_r_0478_0002__boy, arg0).
arc(r_0478_0008__smiling, r_0478_0009__pleasantly, nim23).
arc(r_0478_0011__staring, r_0478_0001__A_r_0478_0002__boy, arg0).
arc(r_0478_0011__staring, r_0478_0012__ahead, clr31).
arc(r_0478_0015__and, r_0478_0014__young, conj1).
arc(r_0478_0015__and, r_0478_0016__handsome, conj2).
arc(z_000_478_a_dick_1952_1, r_0478_0001__A_r_0478_0002__boy, nim2).
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_0001__A_R_0478_0002__BOY,R_0478_0009__PLEASANTLY,R_0478_0008__SMILING,R_0478_0012__AHEAD,R_0478_0011__STARING,Z_000_478_A_DICK_1952_1] :
( r_0478_0005__blue(R_0478_0005__BLUE)
& r_0478_0009__pleasantly(R_0478_0009__PLEASANTLY)
& r_0478_0012__ahead(R_0478_0012__AHEAD)
& r_0478_0014__young(R_0478_0014__YOUNG)
& r_0478_0016__handsome(R_0478_0016__HANDSOME)
& z_000_478_a_dick_1952_1(Z_000_478_A_DICK_1952_1)
& has_nim2(Z_000_478_A_DICK_1952_1,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_attrib36(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_attrib13(R_0478_0004__A_R_0478_0006__GARMENT,R_0478_0005__BLUE)
& r_0478_0011__staring(R_0478_0011__STARING)
& has_clr31(R_0478_0011__STARING,R_0478_0012__AHEAD)
& has_arg0(R_0478_0011__STARING,R_0478_0001__A_R_0478_0002__BOY)
& r_0478_0008__smiling(R_0478_0008__SMILING)
& has_nim23(R_0478_0008__SMILING,R_0478_0009__PLEASANTLY)
& has_arg0(R_0478_0008__SMILING,R_0478_0001__A_R_0478_0002__BOY) ) ).
( (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))