Context                Previous, Next                Top


15_a_genieus
He struggled up the freezing, slippery slopes of the Ice Mountain.

%3 r_0015_0002__struggled struggled r_0015_0001__He He r_0015_0002__struggled->r_0015_0001__He [arg0] r_0015_0004__the_r_0015_0008__slopes the slopes r_0015_0002__struggled->r_0015_0004__the_r_0015_0008__slopes up [clr] r_0015_0005__freezing freezing r_0015_0004__the_r_0015_0008__slopes->r_0015_0005__freezing [attrib] r_0015_0007__slippery slippery r_0015_0004__the_r_0015_0008__slopes->r_0015_0007__slippery [attrib] r_0015_0010__the_r_0015_0011__Ice_r_0015_0012__Mountain the Ice Mountain r_0015_0004__the_r_0015_0008__slopes->r_0015_0010__the_r_0015_0011__Ice_r_0015_0012__Mountain of 
arc(r_0015_0002__struggled, r_0015_0001__He, arg0).
arc(r_0015_0002__struggled, r_0015_0004__the_r_0015_0008__slopes, r_0015_0003__up_clr10).
arc(r_0015_0004__the_r_0015_0008__slopes, r_0015_0005__freezing, attrib13).
arc(r_0015_0004__the_r_0015_0008__slopes, r_0015_0007__slippery, attrib18).
arc(r_0015_0004__the_r_0015_0008__slopes, r_0015_0010__the_r_0015_0011__Ice_r_0015_0012__Mountain, r_0015_0009__of).


%3 r_0015_0004__the_r_0015_0008__slopes the slopes r_0015_0010__the_r_0015_0011__Ice_r_0015_0012__Mountain the Ice Mountain r_0015_0004__the_r_0015_0008__slopes->r_0015_0010__the_r_0015_0011__Ice_r_0015_0012__Mountain of r_0015_0007__slippery slippery r_0015_0004__the_r_0015_0008__slopes->r_0015_0007__slippery [attrib] r_0015_0005__freezing freezing r_0015_0004__the_r_0015_0008__slopes->r_0015_0005__freezing [attrib] r_0015_0002__struggled struggled r_0015_0002__struggled->r_0015_0004__the_r_0015_0008__slopes up [clr] r_0015_0001__He He r_0015_0002__struggled->r_0015_0001__He [arg0] 
fof(formula,axiom,
    ? [R_0015_0001__HE,R_0015_0005__FREEZING,R_0015_0007__SLIPPERY,R_0015_0010__THE_R_0015_0011__ICE_R_0015_0012__MOUNTAIN,R_0015_0004__THE_R_0015_0008__SLOPES,R_0015_0002__STRUGGLED] :
      ( r_0015_0001__He(R_0015_0001__HE)
      & r_0015_0005__freezing(R_0015_0005__FREEZING)
      & r_0015_0007__slippery(R_0015_0007__SLIPPERY)
      & r_0015_0010__the_r_0015_0011__Ice_r_0015_0012__Mountain(R_0015_0010__THE_R_0015_0011__ICE_R_0015_0012__MOUNTAIN)
      & r_0015_0002__struggled(R_0015_0002__STRUGGLED)
      & has_r_0015_0003__up_clr10(R_0015_0002__STRUGGLED,R_0015_0004__THE_R_0015_0008__SLOPES)
      & r_0015_0004__the_r_0015_0008__slopes(R_0015_0004__THE_R_0015_0008__SLOPES)
      & has_r_0015_0009__of(R_0015_0004__THE_R_0015_0008__SLOPES,R_0015_0010__THE_R_0015_0011__ICE_R_0015_0012__MOUNTAIN)
      & has_attrib18(R_0015_0004__THE_R_0015_0008__SLOPES,R_0015_0007__SLIPPERY)
      & has_attrib13(R_0015_0004__THE_R_0015_0008__SLOPES,R_0015_0005__FREEZING)
      & has_arg0(R_0015_0002__STRUGGLED,R_0015_0001__HE) ) ).


n15_a_genieus n15_a_genieus__1_1_1_1 He n15_a_genieus__1_2_1 struggled n15_a_genieus__1_3_1_1 up n15_a_genieus__1_3_2_1_1 the n15_a_genieus__1_3_2_2_1_1 freezing n15_a_genieus__1_3_2_3_1 , n15_a_genieus__1_3_2_4_1_1 slippery n15_a_genieus__1_3_2_5_1 slopes n15_a_genieus__1_3_2_6_1_1 of n15_a_genieus__1_3_2_6_2_1_1 the n15_a_genieus__1_3_2_6_2_2_1 Ice n15_a_genieus__1_3_2_6_2_3_1 Mountain n15_a_genieus__1_4_1 . n15_a_genieus__1 IP-MAT n15_a_genieus__1_1 NP-SBJ n15_a_genieus__1->n15_a_genieus__1_1 n15_a_genieus__1_2 VBD;_Ipr_ n15_a_genieus__1->n15_a_genieus__1_2 n15_a_genieus__1_3 PP-CLR n15_a_genieus__1->n15_a_genieus__1_3 n15_a_genieus__1_4 PUNC n15_a_genieus__1->n15_a_genieus__1_4 n15_a_genieus__1_1_1 PRO n15_a_genieus__1_1->n15_a_genieus__1_1_1 n15_a_genieus__1_1_1->n15_a_genieus__1_1_1_1 n15_a_genieus__1_2->n15_a_genieus__1_2_1 n15_a_genieus__1_3_1 P-ROLE n15_a_genieus__1_3->n15_a_genieus__1_3_1 n15_a_genieus__1_3_2 NP n15_a_genieus__1_3->n15_a_genieus__1_3_2 n15_a_genieus__1_3_1->n15_a_genieus__1_3_1_1 n15_a_genieus__1_3_2_1 D n15_a_genieus__1_3_2->n15_a_genieus__1_3_2_1 n15_a_genieus__1_3_2_2 ADJP n15_a_genieus__1_3_2->n15_a_genieus__1_3_2_2 n15_a_genieus__1_3_2_3 PUNC n15_a_genieus__1_3_2->n15_a_genieus__1_3_2_3 n15_a_genieus__1_3_2_4 ADJP n15_a_genieus__1_3_2->n15_a_genieus__1_3_2_4 n15_a_genieus__1_3_2_5 NS n15_a_genieus__1_3_2->n15_a_genieus__1_3_2_5 n15_a_genieus__1_3_2_6 PP n15_a_genieus__1_3_2->n15_a_genieus__1_3_2_6 n15_a_genieus__1_3_2_1->n15_a_genieus__1_3_2_1_1 n15_a_genieus__1_3_2_2_1 ADJ n15_a_genieus__1_3_2_2->n15_a_genieus__1_3_2_2_1 n15_a_genieus__1_3_2_2_1->n15_a_genieus__1_3_2_2_1_1 n15_a_genieus__1_3_2_3->n15_a_genieus__1_3_2_3_1 n15_a_genieus__1_3_2_4_1 ADJ n15_a_genieus__1_3_2_4->n15_a_genieus__1_3_2_4_1 n15_a_genieus__1_3_2_4_1->n15_a_genieus__1_3_2_4_1_1 n15_a_genieus__1_3_2_5->n15_a_genieus__1_3_2_5_1 n15_a_genieus__1_3_2_6_1 P-ROLE n15_a_genieus__1_3_2_6->n15_a_genieus__1_3_2_6_1 n15_a_genieus__1_3_2_6_2 NP n15_a_genieus__1_3_2_6->n15_a_genieus__1_3_2_6_2 n15_a_genieus__1_3_2_6_1->n15_a_genieus__1_3_2_6_1_1 n15_a_genieus__1_3_2_6_2_1 D n15_a_genieus__1_3_2_6_2->n15_a_genieus__1_3_2_6_2_1 n15_a_genieus__1_3_2_6_2_2 NPR n15_a_genieus__1_3_2_6_2->n15_a_genieus__1_3_2_6_2_2 n15_a_genieus__1_3_2_6_2_3 NPR n15_a_genieus__1_3_2_6_2->n15_a_genieus__1_3_2_6_2_3 n15_a_genieus__1_3_2_6_2_1->n15_a_genieus__1_3_2_6_2_1_1 n15_a_genieus__1_3_2_6_2_2->n15_a_genieus__1_3_2_6_2_2_1 n15_a_genieus__1_3_2_6_2_3->n15_a_genieus__1_3_2_6_2_3_1 n15_a_genieus__1_4->n15_a_genieus__1_4_1 
( (IP-MAT (NP-SBJ;{YOUNG_MAN} (PRO He;{he}))
          (VBD;_Ipr_ struggled;{struggle[up]})
          (PP-CLR (P-ROLE up;{up})
                  (NP (D the;{the})
                      (ADJP (ADJ freezing;{freezing}))
                      (PUNC ,)
                      (ADJP (ADJ slippery;{slippery}))
                      (NS slopes;{slope})
                      (PP (P-ROLE of;{of})
                          (NP (D the;{the})
                              (NPR Ice;{Ice})
                              (NPR Mountain;{Mountain})))))
          (PUNC .))
  (ID 15_a_genieus))