( (FRAG (PULQ <lquo>)
        (NEG Not;{not})
        (NP (ADVP (ADV quite;{quite}))
            (D;_nphd_ that;{that}))
        (PUNC <mdash>)
        (PRN (FRAG (PP-NIM (ADVP-NIM (ADVR further;{far}))
                           (P-ROLE up;{up})
                           (NP (D the;{the})
                               (N country;{country})))))
        (PUNC .)
        (PURQ <rquo>))
  (ID 98_a_hardy_1883))

arc(r_0098_0002__Not,z_0098_5011,keep_scope).
arc(r_0098_0004__that,r_0098_0003__quite,qual).
arc(z_0098_5006,r_0098_0008__the_r_0098_0009__country,r_0098_0006__further_r_0098_0007__up__nim).
arc(z_0098_5006,z_0098_5004,arg0).
arc(z_0098_5011,r_0098_0004__that,z_0098_5008).
arc(z_0098_5011,z_0098_5006,prn).

fof(formula,axiom,
    ~ ? [R_0098_0003__QUITE,R_0098_0004__THAT,R_0098_0008__THE_R_0098_0009__COUNTRY,Z_0098_5004,Z_0098_5006,Z_0098_5011] :
        ( r_0098_0003__quite(R_0098_0003__QUITE)
        & r_0098_0008__the_r_0098_0009__country(R_0098_0008__THE_R_0098_0009__COUNTRY)
        & z_0098_5004(Z_0098_5004)
        & z_0098_5011(Z_0098_5011)
        & has_prn(Z_0098_5011,Z_0098_5006)
        & z_0098_5006(Z_0098_5006)
        & has_arg0(Z_0098_5006,Z_0098_5004)
        & has_r_0098_0006__further_r_0098_0007__up__nim(Z_0098_5006,R_0098_0008__THE_R_0098_0009__COUNTRY)
        & has_z_0098_5008(Z_0098_5011,R_0098_0004__THAT)
        & r_0098_0004__that(R_0098_0004__THAT)
        & has_qual(R_0098_0004__THAT,R_0098_0003__QUITE) ) ).