24_a_genieus
The genie was tall and handsome and proud.
arc(r_0024_0003__was, r_0024_0001__The_r_0024_0002__genie, arg0).
arc(r_0024_0003__was, r_0024_0007__and, prd).
arc(r_0024_0005__and, r_0024_0004__tall, conj1).
arc(r_0024_0005__and, r_0024_0006__handsome, conj2).
arc(r_0024_0007__and, r_0024_0005__and, conj1).
arc(r_0024_0007__and, r_0024_0008__proud, conj2).
fof(formula,axiom,
? [R_24_3_WAS,R_24_1_THE_GENIE,R_24_7_AND,R_24_5_AND,R_24_4_TALL,R_24_6_HANDSOME,R_24_8_PROUD] :
( the_genie(R_24_1_THE_GENIE)
& tall(R_24_4_TALL)
& handsome(R_24_6_HANDSOME)
& proud(R_24_8_PROUD)
& was(R_24_3_WAS,R_24_1_THE_GENIE,R_24_7_AND)
& and(R_24_7_AND)
& conj1(R_24_7_AND,R_24_5_AND)
& and(R_24_5_AND)
& conj1(R_24_5_AND,R_24_4_TALL)
& conj2(R_24_5_AND,R_24_6_HANDSOME)
& conj2(R_24_7_AND,R_24_8_PROUD) ) ).
( (IP-MAT (NP-SBJ;{GENIE} (D The;{the})
(N genie;{genie}))
(BED;_La_ was;{be})
(ADJP-PRD (AJLYR (AJLYR (AJLYR (AJLYR (ADJ tall;{tall}))
(CONJP (CONJ and;{and})
(AJLYR (ADJ handsome;{handsome})))))
(CONJP (CONJ and;{and})
(AJLYR (ADJ proud;{proud})))))
(PUNC .))
(ID 24_a_genieus))