21_a_lob_n01
Occasionally minute spots flickered across its surface, but there was no permanent image.
arc(r_0021_0003__spots, r_0021_0002__minute, attrib8).
arc(r_0021_0004__flickered, r_0021_0001__Occasionally, nim4).
arc(r_0021_0004__flickered, r_0021_0003__spots, arg0).
arc(r_0021_0004__flickered, r_0021_0007__surface, r_0021_0005__across_nim18).
arc(r_0021_0007__surface, r_0021_0003__spots, gen).
arc(r_0021_0009__but, r_0021_0004__flickered, conj1).
arc(r_0021_0009__but, r_0021_0012__no_quant, conj2).
arc(r_0021_0010__there_r_0021_0011__was, r_0021_0014__image, arg0).
arc(r_0021_0012__no_quant, r_0021_0010__there_r_0021_0011__was, scope).
arc(r_0021_0012__no_quant, r_0021_0014__image, restriction).
arc(r_0021_0014__image, r_0021_0013__permanent, attrib37).
fof(formula,axiom,
? [R_21_9_BUT,R_21_4_FLICKERED,R_21_1_OCCASIONALLY,R_21_7_SURFACE,R_21_3_SPOTS,R_21_2_MINUTE] :
( occasionally(R_21_1_OCCASIONALLY)
& minute(R_21_2_MINUTE)
& ! [R_21_14_IMAGE,R_21_13_PERMANENT] :
( ( permanent(R_21_13_PERMANENT)
& image(R_21_14_IMAGE)
& attrib37(R_21_14_IMAGE,R_21_13_PERMANENT) )
=> ? [R_21_10_THERE_WAS] : there_was(R_21_10_THERE_WAS,R_21_14_IMAGE) )
& conj2(CONJ2)
& but(R_21_9_BUT)
& conj1(R_21_9_BUT,R_21_4_FLICKERED)
& flickered(R_21_4_FLICKERED,R_21_3_SPOTS)
& spots(R_21_3_SPOTS)
& attrib8(R_21_3_SPOTS,R_21_2_MINUTE)
& nim4(R_21_4_FLICKERED,R_21_1_OCCASIONALLY)
& across_nim18(R_21_4_FLICKERED,R_21_7_SURFACE)
& surface(R_21_7_SURFACE)
& gen(R_21_7_SURFACE,R_21_3_SPOTS) ) ).
( (IP-MAT (ILYR (ILYR (ADVP-NIM (ADV Occasionally;{occasionally}))
(NP-SBJ (ADJP (ADJ minute;{minute}))
(NS spots;{spot}))
(VBD;_I_ flickered;{flicker})
(PP-NIM (P-ROLE across;{across})
(NP (NP-GEN (PRO;_genm_ its;{its}))
(N surface;{surface}))))
(PUNC ,)
(CONJP (CONJ but;{but})
(ILYR (EX there;{there})
(BED;_ex_V_ was;{be})
(NP-ESBJ (Q no;{no})
(ADJP (ADJ permanent;{permanent}))
(N image;{image})))))
(PUNC .))
(ID 21_a_lob_n01))