551_a_dick_1952
In the legend, the dragon's armor doesn't cover its stomach.”
arc(r_0551_0008__armor, r_0551_0005__the_r_0551_0006__dragon_r_0551_0007___apos_s, gen).
arc(r_0551_0009__does_r_0551_0011__cover, r_0551_0002__the_r_0551_0003__legend, r_0551_0001__In_nim5).
arc(r_0551_0009__does_r_0551_0011__cover, r_0551_0008__armor, arg0).
arc(r_0551_0009__does_r_0551_0011__cover, r_0551_0013__stomach, arg1).
arc(r_0551_0010__n_apos_t, r_0551_0009__does_r_0551_0011__cover, keep_scope).
arc(r_0551_0013__stomach, r_0551_0005__the_r_0551_0006__dragon_r_0551_0007___apos_s, gen).
fof(formula,axiom,
~ ? [R_0551_0002__THE_R_0551_0003__LEGEND,R_0551_0005__THE_R_0551_0006__DRAGON_R_0551_0007___APOS_S,R_0551_0008__ARMOR,R_0551_0013__STOMACH,R_0551_0009__DOES_R_0551_0011__COVER] :
( r_0551_0002__the_r_0551_0003__legend(R_0551_0002__THE_R_0551_0003__LEGEND)
& r_0551_0005__the_r_0551_0006__dragon_r_0551_0007___apos_s(R_0551_0005__THE_R_0551_0006__DRAGON_R_0551_0007___APOS_S)
& r_0551_0009__does_r_0551_0011__cover(R_0551_0009__DOES_R_0551_0011__COVER)
& has_arg1(R_0551_0009__DOES_R_0551_0011__COVER,R_0551_0013__STOMACH)
& r_0551_0013__stomach(R_0551_0013__STOMACH)
& has_gen(R_0551_0013__STOMACH,R_0551_0005__THE_R_0551_0006__DRAGON_R_0551_0007___APOS_S)
& has_arg0(R_0551_0009__DOES_R_0551_0011__COVER,R_0551_0008__ARMOR)
& r_0551_0008__armor(R_0551_0008__ARMOR)
& has_gen(R_0551_0008__ARMOR,R_0551_0005__THE_R_0551_0006__DRAGON_R_0551_0007___APOS_S)
& has_r_0551_0001__In_nim5(R_0551_0009__DOES_R_0551_0011__COVER,R_0551_0002__THE_R_0551_0003__LEGEND) ) ).
( (IP-MAT (PP-NIM (P-ROLE In;{in})
(NP (D the;{the})
(N legend;{legend})))
(PUNC ,)
(NP-SBJ (NP-GEN;{DRAGON} (D the;{the})
(N dragon;{dragon})
(GENM <apos>s))
(N armor;{armor}))
(DOP does;{do})
(NEG;_clitic_ n<apos>t;{not})
(VB;_Tn_ cover;{cover})
(NP-OB1 (NP-GEN;{DRAGON} (PRO;_genm_ its;{its}))
(N stomach;{stomach}))
(PUNC .)
(PURQ <rdquo>))
(ID 551_a_dick_1952))