TSPC 21_a_lob

21_a_lob_n01
Occasionally minute spots flickered across its surface, but there was no permanent image.

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

arc(r_0021_0003__spots,r_0021_0002__minute,attrib).
arc(r_0021_0004__flickered,r_0021_0001__Occasionally,nim).
arc(r_0021_0004__flickered,r_0021_0003__spots,arg0).
arc(r_0021_0004__flickered,r_0021_0007__surface,r_0021_0005__across__nim).
arc(r_0021_0007__surface,r_0021_0006__its,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_0011__was,r_0021_0014__image,arg0).
arc(r_0021_0012__no__quant,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,attrib).

fof(formula,axiom,
    ? [R_0021_0001__OCCASIONALLY,R_0021_0002__MINUTE,R_0021_0003__SPOTS,R_0021_0006__ITS,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_0006__its(R_0021_0006__ITS)
      & 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_attrib(R_0021_0014__IMAGE,R_0021_0013__PERMANENT) )
         => ? [R_0021_0011__WAS] :
              ( r_0021_0011__was(R_0021_0011__WAS)
              & has_arg0(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__nim(R_0021_0004__FLICKERED,R_0021_0007__SURFACE)
      & r_0021_0007__surface(R_0021_0007__SURFACE)
      & has_gen(R_0021_0007__SURFACE,R_0021_0006__ITS)
      & has_arg0(R_0021_0004__FLICKERED,R_0021_0003__SPOTS)
      & r_0021_0003__spots(R_0021_0003__SPOTS)
      & has_attrib(R_0021_0003__SPOTS,R_0021_0002__MINUTE)
      & has_nim(R_0021_0004__FLICKERED,R_0021_0001__OCCASIONALLY) ) ).