TSPC 21_a_lob

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_0021_0001__OCCASIONALLY,R_0021_0002__MINUTE,R_0021_0003__SPOTS,R_0021_0007__SURFACE,R_0021_0004__FLICKERED,R_0021_0009__BUT] :
      ( r_0021_0001__Occasionally(R_0021_0001__OCCASIONALLY)
      & r_0021_0002__minute(R_0021_0002__MINUTE)
      & r_0021_0009__but(R_0021_0009__BUT)
      & ! [R_0021_0014__IMAGE,R_0021_0013__PERMANENT] :
          ( ( r_0021_0013__permanent(R_0021_0013__PERMANENT)
            & r_0021_0014__image(R_0021_0014__IMAGE)
            & has_attrib37(R_0021_0014__IMAGE,R_0021_0013__PERMANENT) )
         => ? [R_0021_0010__THERE_R_0021_0011__WAS] :
              ( r_0021_0010__there_r_0021_0011__was(R_0021_0010__THERE_R_0021_0011__WAS)
              & has_arg0(R_0021_0010__THERE_R_0021_0011__WAS,R_0021_0014__IMAGE) ) )
      & has_conj1(R_0021_0009__BUT,R_0021_0004__FLICKERED)
      & r_0021_0004__flickered(R_0021_0004__FLICKERED)
      & has_r_0021_0005__across_nim18(R_0021_0004__FLICKERED,R_0021_0007__SURFACE)
      & r_0021_0007__surface(R_0021_0007__SURFACE)
      & has_gen(R_0021_0007__SURFACE,R_0021_0003__SPOTS)
      & r_0021_0003__spots(R_0021_0003__SPOTS)
      & has_attrib8(R_0021_0003__SPOTS,R_0021_0002__MINUTE)
      & has_arg0(R_0021_0004__FLICKERED,R_0021_0003__SPOTS)
      & has_nim4(R_0021_0004__FLICKERED,R_0021_0001__OCCASIONALLY) ) ).

( (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))