TSPC 12_a_sunglasses

12_a_sunglasses_story
No one has ever thought that it is strange that people wear sunglasses all the time.

( (IP-MAT (NP-SBJ (Q No;{no})
                  (N one;{one}))
          (HVP;_cat_Ve_ has;{have})
          (IP-PPL-CAT (ADVP-NIM (ADV ever;{ever}))
                      (VVN;_Tf_ thought;{think})
                      (CP-THT-OB1 (IP-SUB (C that;{that})
                                          (NP-SBJ (PRO;_provisional_ it;{it}))
                                          (BEP;_La_ is;{be})
                                          (ADJP-PRD (ADJ strange;{strange}))
                                          (CP-THT-NSBJ (IP-SUB (C that;{that})
                                                               (NP-SBJ (NS people;{people}))
                                                               (VBP;_Tn_ wear;{wear})
                                                               (NP-OB1;{SUNGLASSES} (NS sunglasses;{sunglass}))
                                                               (NP-NIM (Q;_nphd_ all;{all})
                                                                       (NLYR (D the;{the})
                                                                             (N time;{time}))))))))
          (PUNC .))
  (ID 12_a_sunglasses_story))

arc(r_0012_0001__No__quant,r_0012_0002__one,restriction).
arc(r_0012_0001__No__quant,r_0012_0003__has,scope).
arc(r_0012_0003__has,r_0012_0005__thought,scope).
arc(r_0012_0005__thought,r_0012_0002__one,arg0).
arc(r_0012_0005__thought,r_0012_0004__ever,nim).
arc(r_0012_0005__thought,r_0012_0008__is,arg1).
arc(r_0012_0008__is,r_0012_0009__strange,prd).
arc(r_0012_0008__is,r_0012_0014__all__quant,arg0).
arc(r_0012_0012__wear,r_0012_0011__people,arg0).
arc(r_0012_0012__wear,r_0012_0013__sunglasses,arg1).
arc(r_0012_0012__wear,z_0012_5012,nim).
arc(r_0012_0014__all__quant,r_0012_0012__wear,scope).
arc(r_0012_0014__all__quant,z_0012_5012,restriction).
arc(z_0012_5012,r_0012_0015__the_r_0012_0016__time,nim).

fof(formula,axiom,
    ! [R_0012_0002__ONE] :
      ( r_0012_0002__one(R_0012_0002__ONE)
     => ? [R_0012_0004__EVER,R_0012_0009__STRANGE,R_0012_0008__IS,R_0012_0003__HAS_R_0012_0005__THOUGHT] :
          ( r_0012_0004__ever(R_0012_0004__EVER)
          & r_0012_0009__strange(R_0012_0009__STRANGE)
          & r_0012_0003__has_r_0012_0005__thought(R_0012_0003__HAS_R_0012_0005__THOUGHT)
          & has_arg1(R_0012_0003__HAS_R_0012_0005__THOUGHT,R_0012_0008__IS)
          & r_0012_0008__is(R_0012_0008__IS)
          & ! [Z_0012_5012,R_0012_0015__THE_R_0012_0016__TIME] :
              ( ( r_0012_0015__the_r_0012_0016__time(R_0012_0015__THE_R_0012_0016__TIME)
                & z_0012_5012(Z_0012_5012)
                & has_nim(Z_0012_5012,R_0012_0015__THE_R_0012_0016__TIME) )
             => ? [R_0012_0011__PEOPLE,R_0012_0013__SUNGLASSES,R_0012_0012__WEAR] :
                  ( r_0012_0011__people(R_0012_0011__PEOPLE)
                  & r_0012_0013__sunglasses(R_0012_0013__SUNGLASSES)
                  & r_0012_0012__wear(R_0012_0012__WEAR)
                  & has_nim(R_0012_0012__WEAR,Z_0012_5012)
                  & has_arg1(R_0012_0012__WEAR,R_0012_0013__SUNGLASSES)
                  & has_arg0(R_0012_0012__WEAR,R_0012_0011__PEOPLE) ) )
          & has_prd(R_0012_0008__IS,R_0012_0009__STRANGE)
          & has_nim(R_0012_0003__HAS_R_0012_0005__THOUGHT,R_0012_0004__EVER)
          & has_arg0(R_0012_0003__HAS_R_0012_0005__THOUGHT,R_0012_0002__ONE) ) ) ).