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_0024_0001__THE_R_0024_0002__GENIE,R_0024_0004__TALL,R_0024_0006__HANDSOME,R_0024_0005__AND,R_0024_0008__PROUD,R_0024_0007__AND,R_0024_0003__WAS] :
( r_0024_0001__The_r_0024_0002__genie(R_0024_0001__THE_R_0024_0002__GENIE)
& r_0024_0004__tall(R_0024_0004__TALL)
& r_0024_0006__handsome(R_0024_0006__HANDSOME)
& r_0024_0008__proud(R_0024_0008__PROUD)
& r_0024_0003__was(R_0024_0003__WAS)
& has_prd(R_0024_0003__WAS,R_0024_0007__AND)
& r_0024_0007__and(R_0024_0007__AND)
& has_conj2(R_0024_0007__AND,R_0024_0008__PROUD)
& has_conj1(R_0024_0007__AND,R_0024_0005__AND)
& r_0024_0005__and(R_0024_0005__AND)
& has_conj2(R_0024_0005__AND,R_0024_0006__HANDSOME)
& has_conj1(R_0024_0005__AND,R_0024_0004__TALL)
& has_arg0(R_0024_0003__WAS,R_0024_0001__THE_R_0024_0002__GENIE) ) ).
( (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))