47_a_saint_exupery_1943
“What!”
arc(z_000_47_a_saint_exupery_1943_1, r_0047_0002__What, nim4).
fof(formula,axiom,
? [R_0047_0002__WHAT,Z_000_47_A_SAINT_EXUPERY_1943_1] :
( r_0047_0002__What(R_0047_0002__WHAT)
& z_000_47_a_saint_exupery_1943_1(Z_000_47_A_SAINT_EXUPERY_1943_1)
& has_nim4(Z_000_47_A_SAINT_EXUPERY_1943_1,R_0047_0002__WHAT) ) ).
( (FRAG (PULQ <ldquo>)
(NP (WPRO What;{what}))
(PUNC !)
(PURQ <rdquo>))
(ID 47_a_saint_exupery_1943))