14_a_genieus
He struggled up the freezing, slippery slopes of the Ice Mountain.
( (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 14_a_genieus))
arc(r_0014_0002__struggled_r_0014_0003__up,r_0014_0001__He,arg0).
arc(r_0014_0002__struggled_r_0014_0003__up,r_0014_0004__the_r_0014_0008__slopes,arg1).
arc(r_0014_0004__the_r_0014_0008__slopes,r_0014_0005__freezing,attrib).
arc(r_0014_0004__the_r_0014_0008__slopes,r_0014_0007__slippery,attrib).
arc(r_0014_0004__the_r_0014_0008__slopes,r_0014_0010__the_r_0014_0011__Ice_r_0014_0012__Mountain,r_0014_0009__of).
fof(formula,axiom,
? [R_0014_0001__HE,R_0014_0005__FREEZING,R_0014_0007__SLIPPERY,R_0014_0010__THE_R_0014_0011__ICE_R_0014_0012__MOUNTAIN,R_0014_0004__THE_R_0014_0008__SLOPES,R_0014_0002__STRUGGLED_R_0014_0003__UP] :
( r_0014_0001__He(R_0014_0001__HE)
& r_0014_0005__freezing(R_0014_0005__FREEZING)
& r_0014_0007__slippery(R_0014_0007__SLIPPERY)
& r_0014_0010__the_r_0014_0011__Ice_r_0014_0012__Mountain(R_0014_0010__THE_R_0014_0011__ICE_R_0014_0012__MOUNTAIN)
& r_0014_0002__struggled_r_0014_0003__up(R_0014_0002__STRUGGLED_R_0014_0003__UP)
& has_arg1(R_0014_0002__STRUGGLED_R_0014_0003__UP,R_0014_0004__THE_R_0014_0008__SLOPES)
& r_0014_0004__the_r_0014_0008__slopes(R_0014_0004__THE_R_0014_0008__SLOPES)
& has_r_0014_0009__of(R_0014_0004__THE_R_0014_0008__SLOPES,R_0014_0010__THE_R_0014_0011__ICE_R_0014_0012__MOUNTAIN)
& has_attrib(R_0014_0004__THE_R_0014_0008__SLOPES,R_0014_0007__SLIPPERY)
& has_attrib(R_0014_0004__THE_R_0014_0008__SLOPES,R_0014_0005__FREEZING)
& has_arg0(R_0014_0002__STRUGGLED_R_0014_0003__UP,R_0014_0001__HE) ) ).