Context                Previous, Next                Top


8_a_sunglasses_story
Everything everyone has seen, been taught and experienced has entered the brain through the yellow lenses.

%3 r_0008_0001__Everything_quant Everything [quant] r_0008_0010__has has r_0008_0001__Everything_quant->r_0008_0010__has [scope] z_000_8_a_sunglasses_story_2 r_0008_0001__Everything_quant->z_000_8_a_sunglasses_story_2 [restriction] r_0008_0011__entered entered r_0008_0010__has->r_0008_0011__entered [scope] r_0008_0002__everyone_quant everyone [quant] r_0008_0003__has has r_0008_0002__everyone_quant->r_0008_0003__has [scope] z_000_8_a_sunglasses_story_6 r_0008_0002__everyone_quant->z_000_8_a_sunglasses_story_6 [restriction] r_0008_0008__and and r_0008_0003__has->r_0008_0008__and [scope] r_0008_0004__seen seen r_0008_0008__and->r_0008_0004__seen [conj1] r_0008_0006__been been r_0008_0008__and->r_0008_0006__been [conj2] r_0008_0009__experienced experienced r_0008_0008__and->r_0008_0009__experienced [conj3] r_0008_0004__seen->z_000_8_a_sunglasses_story_2 [arg1] r_0008_0004__seen->z_000_8_a_sunglasses_story_6 [arg0] r_0008_0007__taught taught r_0008_0006__been->r_0008_0007__taught [scope] r_0008_0007__taught->z_000_8_a_sunglasses_story_2 [arg1] r_0008_0007__taught->z_000_8_a_sunglasses_story_6 [arg2] z_000_8_a_sunglasses_story_25 r_0008_0007__taught->z_000_8_a_sunglasses_story_25 [arg0] r_0008_0009__experienced->z_000_8_a_sunglasses_story_2 [arg1] r_0008_0009__experienced->z_000_8_a_sunglasses_story_6 [arg0] r_0008_0011__entered->z_000_8_a_sunglasses_story_2 [arg0] r_0008_0012__the_r_0008_0013__brain the brain r_0008_0011__entered->r_0008_0012__the_r_0008_0013__brain [arg1] r_0008_0015__the_r_0008_0017__lenses the lenses r_0008_0011__entered->r_0008_0015__the_r_0008_0017__lenses through [nim] r_0008_0016__yellow yellow r_0008_0015__the_r_0008_0017__lenses->r_0008_0016__yellow [attrib] 
arc(r_0008_0001__Everything_quant, r_0008_0010__has, scope).
arc(r_0008_0001__Everything_quant, z_000_8_a_sunglasses_story_2, restriction).
arc(r_0008_0002__everyone_quant, r_0008_0003__has, scope).
arc(r_0008_0002__everyone_quant, z_000_8_a_sunglasses_story_6, restriction).
arc(r_0008_0003__has, r_0008_0008__and, scope).
arc(r_0008_0004__seen, z_000_8_a_sunglasses_story_2, arg1).
arc(r_0008_0004__seen, z_000_8_a_sunglasses_story_6, arg0).
arc(r_0008_0006__been, r_0008_0007__taught, scope).
arc(r_0008_0007__taught, z_000_8_a_sunglasses_story_25, arg0).
arc(r_0008_0007__taught, z_000_8_a_sunglasses_story_2, arg1).
arc(r_0008_0007__taught, z_000_8_a_sunglasses_story_6, arg2).
arc(r_0008_0008__and, r_0008_0004__seen, conj1).
arc(r_0008_0008__and, r_0008_0006__been, conj2).
arc(r_0008_0008__and, r_0008_0009__experienced, conj3).
arc(r_0008_0009__experienced, z_000_8_a_sunglasses_story_2, arg1).
arc(r_0008_0009__experienced, z_000_8_a_sunglasses_story_6, arg0).
arc(r_0008_0010__has, r_0008_0011__entered, scope).
arc(r_0008_0011__entered, r_0008_0012__the_r_0008_0013__brain, arg1).
arc(r_0008_0011__entered, r_0008_0015__the_r_0008_0017__lenses, r_0008_0014__through_nim52).
arc(r_0008_0011__entered, z_000_8_a_sunglasses_story_2, arg0).
arc(r_0008_0015__the_r_0008_0017__lenses, r_0008_0016__yellow, attrib55).


%3 r_0008_0001__Everything_quant Everything [quant] r_0008_0002__everyone_quant everyone [quant] r_0008_0001__Everything_quant->r_0008_0002__everyone_quant [restriction] r_0008_0010__has_r_0008_0011__entered has entered r_0008_0001__Everything_quant->r_0008_0010__has_r_0008_0011__entered [scope] r_0008_0003__has has r_0008_0002__everyone_quant->r_0008_0003__has [scope] z_000_8_a_sunglasses_story_6 r_0008_0002__everyone_quant->z_000_8_a_sunglasses_story_6 [restriction] z_000_8_a_sunglasses_story_2 r_0008_0010__has_r_0008_0011__entered->z_000_8_a_sunglasses_story_2 [arg0] r_0008_0012__the_r_0008_0013__brain the brain r_0008_0010__has_r_0008_0011__entered->r_0008_0012__the_r_0008_0013__brain [arg1] r_0008_0015__the_r_0008_0017__lenses the lenses r_0008_0010__has_r_0008_0011__entered->r_0008_0015__the_r_0008_0017__lenses through [nim] r_0008_0008__and and r_0008_0003__has->r_0008_0008__and [keep_scope] r_0008_0004__seen seen r_0008_0008__and->r_0008_0004__seen [conj1] r_0008_0006__been_r_0008_0007__taught been taught r_0008_0008__and->r_0008_0006__been_r_0008_0007__taught [conj2] r_0008_0009__experienced experienced r_0008_0008__and->r_0008_0009__experienced [conj3] r_0008_0004__seen->z_000_8_a_sunglasses_story_6 [arg0] r_0008_0004__seen->z_000_8_a_sunglasses_story_2 [arg1] r_0008_0006__been_r_0008_0007__taught->z_000_8_a_sunglasses_story_6 [arg2] r_0008_0006__been_r_0008_0007__taught->z_000_8_a_sunglasses_story_2 [arg1] z_000_8_a_sunglasses_story_25 r_0008_0006__been_r_0008_0007__taught->z_000_8_a_sunglasses_story_25 [arg0] r_0008_0009__experienced->z_000_8_a_sunglasses_story_6 [arg0] r_0008_0009__experienced->z_000_8_a_sunglasses_story_2 [arg1] r_0008_0016__yellow yellow r_0008_0015__the_r_0008_0017__lenses->r_0008_0016__yellow [attrib] 
fof(formula,axiom,
    ( ! [Z_8_A_SUNGLASSES_STORY_6] :
        ( true
       => ~ ? [R_8_8_AND,R_8_4_SEEN,R_8_6_BEEN_TAUGHT,Z_8_A_SUNGLASSES_STORY_25,R_8_9_EXPERIENCED,Z_8_A_SUNGLASSES_STORY_2] :
              ( and(R_8_8_AND)
              & conj1(R_8_8_AND,R_8_4_SEEN)
              & seen(R_8_4_SEEN,Z_8_A_SUNGLASSES_STORY_6,Z_8_A_SUNGLASSES_STORY_2)
              & conj2(R_8_8_AND,R_8_6_BEEN_TAUGHT)
              & been_taught(R_8_6_BEEN_TAUGHT,Z_8_A_SUNGLASSES_STORY_25,Z_8_A_SUNGLASSES_STORY_2,Z_8_A_SUNGLASSES_STORY_6)
              & conj3(R_8_8_AND,R_8_9_EXPERIENCED)
              & experienced(R_8_9_EXPERIENCED,Z_8_A_SUNGLASSES_STORY_6,Z_8_A_SUNGLASSES_STORY_2) ) )
   => ? [R_8_10_HAS_ENTERED,Z_8_A_SUNGLASSES_STORY_2,R_8_12_THE_BRAIN,R_8_15_THE_LENSES,R_8_16_YELLOW] :
        ( the_brain(R_8_12_THE_BRAIN)
        & yellow(R_8_16_YELLOW)
        & has_entered(R_8_10_HAS_ENTERED,Z_8_A_SUNGLASSES_STORY_2,R_8_12_THE_BRAIN)
        & through_nim52(R_8_10_HAS_ENTERED,R_8_15_THE_LENSES)
        & the_lenses(R_8_15_THE_LENSES)
        & attrib55(R_8_15_THE_LENSES,R_8_16_YELLOW) ) ) ).


n8_a_sunglasses_story n8_a_sunglasses_story_4 Everything n8_a_sunglasses_story_8 everyone n8_a_sunglasses_story_10 has n8_a_sunglasses_story_15 *T* n8_a_sunglasses_story_17 seen n8_a_sunglasses_story_19 , n8_a_sunglasses_story_23 been n8_a_sunglasses_story_28 *T* n8_a_sunglasses_story_30 taught n8_a_sunglasses_story_33 and n8_a_sunglasses_story_36 *T* n8_a_sunglasses_story_38 experienced n8_a_sunglasses_story_40 has n8_a_sunglasses_story_43 entered n8_a_sunglasses_story_46 the n8_a_sunglasses_story_48 brain n8_a_sunglasses_story_51 through n8_a_sunglasses_story_54 the n8_a_sunglasses_story_57 yellow n8_a_sunglasses_story_59 lenses n8_a_sunglasses_story_61 . n8_a_sunglasses_story_1 IP-MAT n8_a_sunglasses_story_2 NP-SBJ n8_a_sunglasses_story_1->n8_a_sunglasses_story_2 n8_a_sunglasses_story_39 HVP;_cat_Ve_ n8_a_sunglasses_story_1->n8_a_sunglasses_story_39 n8_a_sunglasses_story_41 IP-PPL-CAT n8_a_sunglasses_story_1->n8_a_sunglasses_story_41 n8_a_sunglasses_story_60 PUNC n8_a_sunglasses_story_1->n8_a_sunglasses_story_60 n8_a_sunglasses_story_3 Q;_nphd_ n8_a_sunglasses_story_2->n8_a_sunglasses_story_3 n8_a_sunglasses_story_5 IP-REL n8_a_sunglasses_story_2->n8_a_sunglasses_story_5 n8_a_sunglasses_story_3->n8_a_sunglasses_story_4 n8_a_sunglasses_story_6 NP-SBJ n8_a_sunglasses_story_5->n8_a_sunglasses_story_6 n8_a_sunglasses_story_9 HVP;_cat_Ve_ n8_a_sunglasses_story_5->n8_a_sunglasses_story_9 n8_a_sunglasses_story_11 IP-PPL-CAT n8_a_sunglasses_story_5->n8_a_sunglasses_story_11 n8_a_sunglasses_story_7 Q;_nphd_ n8_a_sunglasses_story_6->n8_a_sunglasses_story_7 n8_a_sunglasses_story_7->n8_a_sunglasses_story_8 n8_a_sunglasses_story_9->n8_a_sunglasses_story_10 n8_a_sunglasses_story_12 ILYR n8_a_sunglasses_story_11->n8_a_sunglasses_story_12 n8_a_sunglasses_story_13 ILYR n8_a_sunglasses_story_12->n8_a_sunglasses_story_13 n8_a_sunglasses_story_18 PUNC n8_a_sunglasses_story_12->n8_a_sunglasses_story_18 n8_a_sunglasses_story_20 CONJP n8_a_sunglasses_story_12->n8_a_sunglasses_story_20 n8_a_sunglasses_story_31 CONJP n8_a_sunglasses_story_12->n8_a_sunglasses_story_31 n8_a_sunglasses_story_14 NP-OB1 n8_a_sunglasses_story_13->n8_a_sunglasses_story_14 n8_a_sunglasses_story_16 VVN;_Tn_ n8_a_sunglasses_story_13->n8_a_sunglasses_story_16 n8_a_sunglasses_story_14->n8_a_sunglasses_story_15 n8_a_sunglasses_story_16->n8_a_sunglasses_story_17 n8_a_sunglasses_story_18->n8_a_sunglasses_story_19 n8_a_sunglasses_story_21 ILYR n8_a_sunglasses_story_20->n8_a_sunglasses_story_21 n8_a_sunglasses_story_22 BEN;_cat_VePASS_ n8_a_sunglasses_story_21->n8_a_sunglasses_story_22 n8_a_sunglasses_story_24 IP-PPL-CAT n8_a_sunglasses_story_21->n8_a_sunglasses_story_24 n8_a_sunglasses_story_22->n8_a_sunglasses_story_23 n8_a_sunglasses_story_25 NP-LGS n8_a_sunglasses_story_24->n8_a_sunglasses_story_25 n8_a_sunglasses_story_27 NP-OB1 n8_a_sunglasses_story_24->n8_a_sunglasses_story_27 n8_a_sunglasses_story_29 VVN;_Dn.n_ n8_a_sunglasses_story_24->n8_a_sunglasses_story_29 n8_a_sunglasses_story_26 * n8_a_sunglasses_story_25->n8_a_sunglasses_story_26 n8_a_sunglasses_story_27->n8_a_sunglasses_story_28 n8_a_sunglasses_story_29->n8_a_sunglasses_story_30 n8_a_sunglasses_story_32 CONJ n8_a_sunglasses_story_31->n8_a_sunglasses_story_32 n8_a_sunglasses_story_34 ILYR n8_a_sunglasses_story_31->n8_a_sunglasses_story_34 n8_a_sunglasses_story_32->n8_a_sunglasses_story_33 n8_a_sunglasses_story_35 NP-OB1 n8_a_sunglasses_story_34->n8_a_sunglasses_story_35 n8_a_sunglasses_story_37 VVN;_Tn_ n8_a_sunglasses_story_34->n8_a_sunglasses_story_37 n8_a_sunglasses_story_35->n8_a_sunglasses_story_36 n8_a_sunglasses_story_37->n8_a_sunglasses_story_38 n8_a_sunglasses_story_39->n8_a_sunglasses_story_40 n8_a_sunglasses_story_42 VVN;_Tn.pr_ n8_a_sunglasses_story_41->n8_a_sunglasses_story_42 n8_a_sunglasses_story_44 NP-OB1 n8_a_sunglasses_story_41->n8_a_sunglasses_story_44 n8_a_sunglasses_story_49 PP-NIM n8_a_sunglasses_story_41->n8_a_sunglasses_story_49 n8_a_sunglasses_story_42->n8_a_sunglasses_story_43 n8_a_sunglasses_story_45 D n8_a_sunglasses_story_44->n8_a_sunglasses_story_45 n8_a_sunglasses_story_47 N n8_a_sunglasses_story_44->n8_a_sunglasses_story_47 n8_a_sunglasses_story_45->n8_a_sunglasses_story_46 n8_a_sunglasses_story_47->n8_a_sunglasses_story_48 n8_a_sunglasses_story_50 P-ROLE n8_a_sunglasses_story_49->n8_a_sunglasses_story_50 n8_a_sunglasses_story_52 NP n8_a_sunglasses_story_49->n8_a_sunglasses_story_52 n8_a_sunglasses_story_50->n8_a_sunglasses_story_51 n8_a_sunglasses_story_53 D n8_a_sunglasses_story_52->n8_a_sunglasses_story_53 n8_a_sunglasses_story_55 ADJP n8_a_sunglasses_story_52->n8_a_sunglasses_story_55 n8_a_sunglasses_story_58 NS n8_a_sunglasses_story_52->n8_a_sunglasses_story_58 n8_a_sunglasses_story_53->n8_a_sunglasses_story_54 n8_a_sunglasses_story_56 ADJ n8_a_sunglasses_story_55->n8_a_sunglasses_story_56 n8_a_sunglasses_story_56->n8_a_sunglasses_story_57 n8_a_sunglasses_story_58->n8_a_sunglasses_story_59 n8_a_sunglasses_story_60->n8_a_sunglasses_story_61 
( (IP-MAT (NP-SBJ (Q;_nphd_ Everything;{everything})
                  (IP-REL (NP-SBJ (Q;_nphd_ everyone;{everyone}))
                          (HVP;_cat_Ve_ has;{have})
                          (IP-PPL-CAT (ILYR (ILYR (NP-OB1 *T*)
                                                  (VVN;_Tn_ seen;{see}))
                                            (PUNC ,)
                                            (CONJP (ILYR (BEN;_cat_VePASS_ been;{be})
                                                         (IP-PPL-CAT (NP-LGS *)
                                                                     (NP-OB1 *T*)
                                                                     (VVN;_Dn.n_ taught;{teach}))))
                                            (CONJP (CONJ and;{and})
                                                   (ILYR (NP-OB1 *T*)
                                                         (VVN;_Tn_ experienced;{experience})))))))
          (HVP;_cat_Ve_ has;{have})
          (IP-PPL-CAT (VVN;_Tn.pr_ entered;{enter})
                      (NP-OB1 (D the;{the})
                              (N brain;{brain}))
                      (PP-NIM (P-ROLE through;{through})
                              (NP (D the;{the})
                                  (ADJP (ADJ yellow;{yellow}))
                                  (NS lenses;{lens}))))
          (PUNC .))
  (ID 8_a_sunglasses_story))