( (FRAG (PULQ <ldquo>)
        (NEG Not;{not})
        (ADJP (ADVP (ADV so;{so})
                    (CP-THT *ICH*-128))
              (ADJ small;{small})
              (CP-THT-EPD-128 (IP-SUB (C that;{that})
                                      (PUNC <mdash>)))))
  (ID 100_a_saint_exupery_1943))

arc(r_0100_0002__Not,z_0100_5009,keep_scope).
arc(r_0100_0003__so,z_0100_5005,emb).
arc(r_0100_0004__small,r_0100_0003__so,qual).
arc(z_0100_5005,z_0100_5004,arg0).
arc(z_0100_5009,r_0100_0004__small,attrib).

fof(formula,axiom,
    ~ ? [Z_0100_5004,Z_0100_5005,R_0100_0003__SO,R_0100_0004__SMALL,Z_0100_5009] :
        ( z_0100_5004(Z_0100_5004)
        & z_0100_5009(Z_0100_5009)
        & has_attrib(Z_0100_5009,R_0100_0004__SMALL)
        & r_0100_0004__small(R_0100_0004__SMALL)
        & has_qual(R_0100_0004__SMALL,R_0100_0003__SO)
        & r_0100_0003__so(R_0100_0003__SO)
        & has_emb(R_0100_0003__SO,Z_0100_5005)
        & z_0100_5005(Z_0100_5005)
        & has_arg0(Z_0100_5005,Z_0100_5004) ) ).