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_551_9_DOES_COVER,R_551_8_ARMOR,R_551_13_STOMACH,R_551_5_THE_DRAGON_APOS_S,R_551_2_THE_LEGEND] :
        ( the_dragon_apos_s(R_551_5_THE_DRAGON_APOS_S)
        & the_legend(R_551_2_THE_LEGEND)
        & does_cover(R_551_9_DOES_COVER,R_551_8_ARMOR,R_551_13_STOMACH)
        & armor(R_551_8_ARMOR)
        & gen(R_551_8_ARMOR,R_551_5_THE_DRAGON_APOS_S)
        & stomach(R_551_13_STOMACH)
        & gen(R_551_13_STOMACH,R_551_5_THE_DRAGON_APOS_S)
        & in_nim5(R_551_9_DOES_COVER,R_551_2_THE_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))