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, nim10).
arc(r_0012_0005__thought, r_0012_0006__that_r_0012_0008__is, arg1).
arc(r_0012_0006__that_r_0012_0008__is, r_0012_0009__strange, prd).
arc(r_0012_0006__that_r_0012_0008__is, r_0012_0014__all_quant, arg0).
arc(r_0012_0010__that_r_0012_0012__wear, r_0012_0011__people, arg0).
arc(r_0012_0010__that_r_0012_0012__wear, r_0012_0013__sunglasses, arg1).
arc(r_0012_0010__that_r_0012_0012__wear, r_0012_0015__the_r_0012_0016__time, nim39).
arc(r_0012_0014__all_quant, r_0012_0010__that_r_0012_0012__wear, scope).
arc(r_0012_0014__all_quant, r_0012_0015__the_r_0012_0016__time, restriction).

fof(formula,axiom,
    ! [R_12_2_ONE] :
      ( one(R_12_2_ONE)
     => ? [R_12_3_HAS_THOUGHT,R_12_6_THAT_IS,R_12_9_STRANGE,R_12_4_EVER] :
          ( strange(R_12_9_STRANGE)
          & ever(R_12_4_EVER)
          & has_thought(R_12_3_HAS_THOUGHT,R_12_2_ONE,R_12_6_THAT_IS)
          & ! [R_12_15_THE_TIME] :
              ( the_time(R_12_15_THE_TIME)
             => ? [R_12_10_THAT_WEAR,R_12_11_PEOPLE,R_12_13_SUNGLASSES] :
                  ( people(R_12_11_PEOPLE)
                  & sunglasses(R_12_13_SUNGLASSES)
                  & that_wear(R_12_10_THAT_WEAR,R_12_11_PEOPLE,R_12_13_SUNGLASSES)
                  & nim39(R_12_10_THAT_WEAR,R_12_15_THE_TIME) ) )
          & arg0(ARG0)
          & that_is(R_12_6_THAT_IS)
          & prd(R_12_6_THAT_IS,R_12_9_STRANGE)
          & nim10(R_12_3_HAS_THOUGHT,R_12_4_EVER) ) ) ).

( (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})
                                                                       (D the;{the})
                                                                       (N time;{time})))))))
          (PUNC .))
  (ID 12_a_sunglasses_story))