Context                Previous, Next                Top


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

%3 r_0003_0001__No_quant No [quant] r_0003_0002__one one r_0003_0001__No_quant->r_0003_0002__one [restriction] r_0003_0003__has has r_0003_0001__No_quant->r_0003_0003__has [scope] r_0003_0005__thought thought r_0003_0003__has->r_0003_0005__thought [scope] r_0003_0005__thought->r_0003_0002__one [arg0] r_0003_0004__ever ever r_0003_0005__thought->r_0003_0004__ever [nim] r_0003_0006__that_r_0003_0008__is that is r_0003_0005__thought->r_0003_0006__that_r_0003_0008__is [arg1] r_0003_0009__strange strange r_0003_0006__that_r_0003_0008__is->r_0003_0009__strange [prd] r_0003_0014__all_quant all [quant] r_0003_0006__that_r_0003_0008__is->r_0003_0014__all_quant [arg0] r_0003_0010__that_r_0003_0012__wear that wear r_0003_0014__all_quant->r_0003_0010__that_r_0003_0012__wear [scope] r_0003_0015__the_r_0003_0016__time the time r_0003_0014__all_quant->r_0003_0015__the_r_0003_0016__time [restriction] r_0003_0011__people people r_0003_0010__that_r_0003_0012__wear->r_0003_0011__people [arg0] r_0003_0013__sunglasses sunglasses r_0003_0010__that_r_0003_0012__wear->r_0003_0013__sunglasses [arg1] r_0003_0010__that_r_0003_0012__wear->r_0003_0015__the_r_0003_0016__time [nim] 
arc(r_0003_0001__No_quant, r_0003_0002__one, restriction).
arc(r_0003_0001__No_quant, r_0003_0003__has, scope).
arc(r_0003_0003__has, r_0003_0005__thought, scope).
arc(r_0003_0005__thought, r_0003_0002__one, arg0).
arc(r_0003_0005__thought, r_0003_0004__ever, nim10).
arc(r_0003_0005__thought, r_0003_0006__that_r_0003_0008__is, arg1).
arc(r_0003_0006__that_r_0003_0008__is, r_0003_0009__strange, prd).
arc(r_0003_0006__that_r_0003_0008__is, r_0003_0014__all_quant, arg0).
arc(r_0003_0010__that_r_0003_0012__wear, r_0003_0011__people, arg0).
arc(r_0003_0010__that_r_0003_0012__wear, r_0003_0013__sunglasses, arg1).
arc(r_0003_0010__that_r_0003_0012__wear, r_0003_0015__the_r_0003_0016__time, nim39).
arc(r_0003_0014__all_quant, r_0003_0010__that_r_0003_0012__wear, scope).
arc(r_0003_0014__all_quant, r_0003_0015__the_r_0003_0016__time, restriction).


%3 r_0003_0001__No_quant No [quant] r_0003_0002__one one r_0003_0001__No_quant->r_0003_0002__one [restriction] r_0003_0003__has_r_0003_0005__thought has thought r_0003_0001__No_quant->r_0003_0003__has_r_0003_0005__thought [scope] r_0003_0003__has_r_0003_0005__thought->r_0003_0002__one [arg0] r_0003_0004__ever ever r_0003_0003__has_r_0003_0005__thought->r_0003_0004__ever [nim] r_0003_0006__that_r_0003_0008__is that is r_0003_0003__has_r_0003_0005__thought->r_0003_0006__that_r_0003_0008__is [arg1] r_0003_0009__strange strange r_0003_0006__that_r_0003_0008__is->r_0003_0009__strange [prd] r_0003_0014__all_quant all [quant] r_0003_0006__that_r_0003_0008__is->r_0003_0014__all_quant [arg0] r_0003_0010__that_r_0003_0012__wear that wear r_0003_0014__all_quant->r_0003_0010__that_r_0003_0012__wear [scope] r_0003_0015__the_r_0003_0016__time the time r_0003_0014__all_quant->r_0003_0015__the_r_0003_0016__time [restriction] r_0003_0011__people people r_0003_0010__that_r_0003_0012__wear->r_0003_0011__people [arg0] r_0003_0013__sunglasses sunglasses r_0003_0010__that_r_0003_0012__wear->r_0003_0013__sunglasses [arg1] r_0003_0010__that_r_0003_0012__wear->r_0003_0015__the_r_0003_0016__time [nim] 
fof(formula,axiom,
    ! [R_3_2_ONE] :
      ( one(R_3_2_ONE)
     => ? [R_3_3_HAS_THOUGHT,R_3_6_THAT_IS,R_3_9_STRANGE,R_3_4_EVER] :
          ( strange(R_3_9_STRANGE)
          & ever(R_3_4_EVER)
          & has_thought(R_3_3_HAS_THOUGHT,R_3_2_ONE,R_3_6_THAT_IS)
          & ! [R_3_15_THE_TIME] :
              ( the_time(R_3_15_THE_TIME)
             => ? [R_3_10_THAT_WEAR,R_3_11_PEOPLE,R_3_13_SUNGLASSES] :
                  ( people(R_3_11_PEOPLE)
                  & sunglasses(R_3_13_SUNGLASSES)
                  & that_wear(R_3_10_THAT_WEAR,R_3_11_PEOPLE,R_3_13_SUNGLASSES)
                  & nim39(R_3_10_THAT_WEAR,R_3_15_THE_TIME) ) )
          & arg0(ARG0)
          & that_is(R_3_6_THAT_IS)
          & prd(R_3_6_THAT_IS,R_3_9_STRANGE)
          & nim10(R_3_3_HAS_THOUGHT,R_3_4_EVER) ) ) ).


n3_a_sunglasses_story n3_a_sunglasses_story_4 No n3_a_sunglasses_story_6 one n3_a_sunglasses_story_8 has n3_a_sunglasses_story_12 ever n3_a_sunglasses_story_14 thought n3_a_sunglasses_story_18 that n3_a_sunglasses_story_21 it n3_a_sunglasses_story_23 is n3_a_sunglasses_story_26 strange n3_a_sunglasses_story_30 that n3_a_sunglasses_story_33 people n3_a_sunglasses_story_35 wear n3_a_sunglasses_story_38 sunglasses n3_a_sunglasses_story_41 all n3_a_sunglasses_story_43 the n3_a_sunglasses_story_45 time n3_a_sunglasses_story_47 . n3_a_sunglasses_story_1 IP-MAT n3_a_sunglasses_story_2 NP-SBJ n3_a_sunglasses_story_1->n3_a_sunglasses_story_2 n3_a_sunglasses_story_7 HVP;_cat_Ve_ n3_a_sunglasses_story_1->n3_a_sunglasses_story_7 n3_a_sunglasses_story_9 IP-PPL-CAT n3_a_sunglasses_story_1->n3_a_sunglasses_story_9 n3_a_sunglasses_story_46 PUNC n3_a_sunglasses_story_1->n3_a_sunglasses_story_46 n3_a_sunglasses_story_3 Q n3_a_sunglasses_story_2->n3_a_sunglasses_story_3 n3_a_sunglasses_story_5 N n3_a_sunglasses_story_2->n3_a_sunglasses_story_5 n3_a_sunglasses_story_3->n3_a_sunglasses_story_4 n3_a_sunglasses_story_5->n3_a_sunglasses_story_6 n3_a_sunglasses_story_7->n3_a_sunglasses_story_8 n3_a_sunglasses_story_10 ADVP-NIM n3_a_sunglasses_story_9->n3_a_sunglasses_story_10 n3_a_sunglasses_story_13 VVN;_Tf_ n3_a_sunglasses_story_9->n3_a_sunglasses_story_13 n3_a_sunglasses_story_15 CP-THT-OB1 n3_a_sunglasses_story_9->n3_a_sunglasses_story_15 n3_a_sunglasses_story_11 ADV n3_a_sunglasses_story_10->n3_a_sunglasses_story_11 n3_a_sunglasses_story_11->n3_a_sunglasses_story_12 n3_a_sunglasses_story_13->n3_a_sunglasses_story_14 n3_a_sunglasses_story_16 IP-SUB n3_a_sunglasses_story_15->n3_a_sunglasses_story_16 n3_a_sunglasses_story_17 C n3_a_sunglasses_story_16->n3_a_sunglasses_story_17 n3_a_sunglasses_story_19 NP-SBJ n3_a_sunglasses_story_16->n3_a_sunglasses_story_19 n3_a_sunglasses_story_22 BEP;_La_ n3_a_sunglasses_story_16->n3_a_sunglasses_story_22 n3_a_sunglasses_story_24 ADJP-PRD n3_a_sunglasses_story_16->n3_a_sunglasses_story_24 n3_a_sunglasses_story_27 CP-THT-NSBJ n3_a_sunglasses_story_16->n3_a_sunglasses_story_27 n3_a_sunglasses_story_17->n3_a_sunglasses_story_18 n3_a_sunglasses_story_20 PRO;_provisional_ n3_a_sunglasses_story_19->n3_a_sunglasses_story_20 n3_a_sunglasses_story_20->n3_a_sunglasses_story_21 n3_a_sunglasses_story_22->n3_a_sunglasses_story_23 n3_a_sunglasses_story_25 ADJ n3_a_sunglasses_story_24->n3_a_sunglasses_story_25 n3_a_sunglasses_story_25->n3_a_sunglasses_story_26 n3_a_sunglasses_story_28 IP-SUB n3_a_sunglasses_story_27->n3_a_sunglasses_story_28 n3_a_sunglasses_story_29 C n3_a_sunglasses_story_28->n3_a_sunglasses_story_29 n3_a_sunglasses_story_31 NP-SBJ n3_a_sunglasses_story_28->n3_a_sunglasses_story_31 n3_a_sunglasses_story_34 VBP;_Tn_ n3_a_sunglasses_story_28->n3_a_sunglasses_story_34 n3_a_sunglasses_story_36 NP-OB1 n3_a_sunglasses_story_28->n3_a_sunglasses_story_36 n3_a_sunglasses_story_39 NP-NIM n3_a_sunglasses_story_28->n3_a_sunglasses_story_39 n3_a_sunglasses_story_29->n3_a_sunglasses_story_30 n3_a_sunglasses_story_32 NS n3_a_sunglasses_story_31->n3_a_sunglasses_story_32 n3_a_sunglasses_story_32->n3_a_sunglasses_story_33 n3_a_sunglasses_story_34->n3_a_sunglasses_story_35 n3_a_sunglasses_story_37 NS n3_a_sunglasses_story_36->n3_a_sunglasses_story_37 n3_a_sunglasses_story_37->n3_a_sunglasses_story_38 n3_a_sunglasses_story_40 Q;_nphd_ n3_a_sunglasses_story_39->n3_a_sunglasses_story_40 n3_a_sunglasses_story_42 D n3_a_sunglasses_story_39->n3_a_sunglasses_story_42 n3_a_sunglasses_story_44 N n3_a_sunglasses_story_39->n3_a_sunglasses_story_44 n3_a_sunglasses_story_40->n3_a_sunglasses_story_41 n3_a_sunglasses_story_42->n3_a_sunglasses_story_43 n3_a_sunglasses_story_44->n3_a_sunglasses_story_45 n3_a_sunglasses_story_46->n3_a_sunglasses_story_47 
( (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 3_a_sunglasses_story))