100_a_saint_exupery_1943
“Not so small that —
arc(r_0100_0002__Not, z_000_100_a_saint_exupery_1943_1, keep_scope).
arc(r_0100_0003__so, r_0100_0005__that, emb15).
arc(r_0100_0004__small, r_0100_0003__so, qual7).
arc(z_000_100_a_saint_exupery_1943_1, r_0100_0004__small, attrib6).
fof(formula,axiom,
~ ? [R_0100_0005__THAT,R_0100_0003__SO,R_0100_0004__SMALL,Z_000_100_A_SAINT_EXUPERY_1943_1] :
( r_0100_0005__that(R_0100_0005__THAT)
& z_000_100_a_saint_exupery_1943_1(Z_000_100_A_SAINT_EXUPERY_1943_1)
& has_attrib6(Z_000_100_A_SAINT_EXUPERY_1943_1,R_0100_0004__SMALL)
& r_0100_0004__small(R_0100_0004__SMALL)
& has_qual7(R_0100_0004__SMALL,R_0100_0003__SO)
& r_0100_0003__so(R_0100_0003__SO)
& has_emb15(R_0100_0003__SO,R_0100_0005__THAT) ) ).
( (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))