( (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))

arc(r_0551_0008__armor,r_0551_0005__the_r_0551_0006__dragon,gen).
arc(r_0551_0009__does_r_0551_0011__cover,r_0551_0002__the_r_0551_0003__legend,r_0551_0001__In__nim).
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,gen).

fof(formula,axiom,
    ~ ? [R_0551_0002__THE_R_0551_0003__LEGEND,R_0551_0005__THE_R_0551_0006__DRAGON,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_0005__THE_R_0551_0006__DRAGON)
        & 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)
        & 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)
        & has_r_0551_0001__In__nim(R_0551_0009__DOES_R_0551_0011__COVER,R_0551_0002__THE_R_0551_0003__LEGEND) ) ).