Context                Previous, Next                Top


5_a_sunglasses_story
Everyone wears them.

%3 r_0005_0001__Everyone_quant Everyone [quant] r_0005_0002__wears wears r_0005_0001__Everyone_quant->r_0005_0002__wears [scope] z_000_5_a_sunglasses_story_2 r_0005_0001__Everyone_quant->z_000_5_a_sunglasses_story_2 [restriction] r_0005_0002__wears->z_000_5_a_sunglasses_story_2 [arg0] r_0005_0003__them them r_0005_0002__wears->r_0005_0003__them [arg1] 
arc(r_0005_0001__Everyone_quant, r_0005_0002__wears, scope).
arc(r_0005_0001__Everyone_quant, z_000_5_a_sunglasses_story_2, restriction).
arc(r_0005_0002__wears, r_0005_0003__them, arg1).
arc(r_0005_0002__wears, z_000_5_a_sunglasses_story_2, arg0).


%3 r_0005_0001__Everyone_quant Everyone [quant] r_0005_0002__wears wears r_0005_0001__Everyone_quant->r_0005_0002__wears [scope] z_000_5_a_sunglasses_story_2 r_0005_0001__Everyone_quant->z_000_5_a_sunglasses_story_2 [restriction] r_0005_0002__wears->z_000_5_a_sunglasses_story_2 [arg0] r_0005_0003__them them r_0005_0002__wears->r_0005_0003__them [arg1] 
fof(formula,axiom,
    ! [Z_5_A_SUNGLASSES_STORY_2] :
      ( true
     => ? [R_5_2_WEARS,R_5_3_THEM] :
          ( them(R_5_3_THEM)
          & wears(R_5_2_WEARS,Z_5_A_SUNGLASSES_STORY_2,R_5_3_THEM) ) ) ).


n5_a_sunglasses_story n5_a_sunglasses_story_4 Everyone n5_a_sunglasses_story_6 wears n5_a_sunglasses_story_9 them n5_a_sunglasses_story_11 . n5_a_sunglasses_story_1 IP-MAT n5_a_sunglasses_story_2 NP-SBJ n5_a_sunglasses_story_1->n5_a_sunglasses_story_2 n5_a_sunglasses_story_5 VBP;_Tn_ n5_a_sunglasses_story_1->n5_a_sunglasses_story_5 n5_a_sunglasses_story_7 NP-OB1 n5_a_sunglasses_story_1->n5_a_sunglasses_story_7 n5_a_sunglasses_story_10 PUNC n5_a_sunglasses_story_1->n5_a_sunglasses_story_10 n5_a_sunglasses_story_3 Q;_nphd_ n5_a_sunglasses_story_2->n5_a_sunglasses_story_3 n5_a_sunglasses_story_3->n5_a_sunglasses_story_4 n5_a_sunglasses_story_5->n5_a_sunglasses_story_6 n5_a_sunglasses_story_8 PRO n5_a_sunglasses_story_7->n5_a_sunglasses_story_8 n5_a_sunglasses_story_8->n5_a_sunglasses_story_9 n5_a_sunglasses_story_10->n5_a_sunglasses_story_11 
( (IP-MAT (NP-SBJ (Q;_nphd_ Everyone;{everyone}))
          (VBP;_Tn_ wears;{wear})
          (NP-OB1;{SUNGLASSES} (PRO them;{they}))
          (PUNC .))
  (ID 5_a_sunglasses_story))