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_15_2_STRUGGLED,R_15_1_HE,R_15_4_THE_SLOPES,R_15_5_FREEZING,R_15_7_SLIPPERY,R_15_10_THE_ICE_MOUNTAIN] :
      ( he(R_15_1_HE)
      & freezing(R_15_5_FREEZING)
      & slippery(R_15_7_SLIPPERY)
      & the_Ice_Mountain(R_15_10_THE_ICE_MOUNTAIN)
      & struggled(R_15_2_STRUGGLED,R_15_1_HE)
      & up_clr10(R_15_2_STRUGGLED,R_15_4_THE_SLOPES)
      & the_slopes(R_15_4_THE_SLOPES)
      & attrib13(R_15_4_THE_SLOPES,R_15_5_FREEZING)
      & attrib18(R_15_4_THE_SLOPES,R_15_7_SLIPPERY)
      & of(R_15_4_THE_SLOPES,R_15_10_THE_ICE_MOUNTAIN) ) ).


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))