5_a_stories_09_m14
Next you move your legs and arms forward, kick your legs out and move your hands round, and then you do this again.
arc(r_0005_0003__move, r_0005_0001__Next, nim4).
arc(r_0005_0003__move, r_0005_0002__you, arg0).
arc(r_0005_0003__move, r_0005_0006__and, arg1).
arc(r_0005_0003__move, r_0005_0008__forward, clr28).
arc(r_0005_0006__and, r_0005_0002__you, gen).
arc(r_0005_0006__and, r_0005_0005__legs, conj1).
arc(r_0005_0006__and, r_0005_0007__arms, conj2).
arc(r_0005_0010__kick, r_0005_0001__Next, nim4).
arc(r_0005_0010__kick, r_0005_0002__you, arg0).
arc(r_0005_0010__kick, r_0005_0012__legs, arg1).
arc(r_0005_0010__kick, r_0005_0013__out, clr43).
arc(r_0005_0012__legs, r_0005_0002__you, gen).
arc(r_0005_0014__and, r_0005_0003__move, conj1).
arc(r_0005_0014__and, r_0005_0010__kick, conj2).
arc(r_0005_0014__and, r_0005_0015__move, conj3).
arc(r_0005_0015__move, r_0005_0001__Next, nim4).
arc(r_0005_0015__move, r_0005_0002__you, arg0).
arc(r_0005_0015__move, r_0005_0017__hands, arg1).
arc(r_0005_0015__move, r_0005_0018__round, clr58).
arc(r_0005_0017__hands, r_0005_0002__you, gen).
arc(r_0005_0020__and, r_0005_0014__and, conj1).
arc(r_0005_0020__and, r_0005_0023__do, conj2).
arc(r_0005_0023__do, r_0005_0002__you, arg0).
arc(r_0005_0023__do, r_0005_0021__then, nim67).
arc(r_0005_0023__do, r_0005_0024__this, arg1).
arc(r_0005_0023__do, r_0005_0025__again, nim78).
fof(formula,axiom,
? [R_5_20_AND,R_5_14_AND,R_5_3_MOVE,R_5_6_AND,R_5_5_LEGS,R_5_7_ARMS,R_5_8_FORWARD,R_5_10_KICK,R_5_12_LEGS,R_5_13_OUT,R_5_15_MOVE,R_5_17_HANDS,R_5_18_ROUND,R_5_1_NEXT,R_5_23_DO,R_5_2_YOU,R_5_24_THIS,R_5_21_THEN,R_5_25_AGAIN] :
( legs(R_5_5_LEGS)
& arms(R_5_7_ARMS)
& forward(R_5_8_FORWARD)
& out(R_5_13_OUT)
& round(R_5_18_ROUND)
& next(R_5_1_NEXT)
& you(R_5_2_YOU)
& this(R_5_24_THIS)
& then(R_5_21_THEN)
& again(R_5_25_AGAIN)
& and(R_5_20_AND)
& conj1(R_5_20_AND,R_5_14_AND)
& and(R_5_14_AND)
& conj1(R_5_14_AND,R_5_3_MOVE)
& move(R_5_3_MOVE,R_5_2_YOU,R_5_6_AND)
& and(R_5_6_AND)
& conj1(R_5_6_AND,R_5_5_LEGS)
& conj2(R_5_6_AND,R_5_7_ARMS)
& gen(R_5_6_AND,R_5_2_YOU)
& clr28(R_5_3_MOVE,R_5_8_FORWARD)
& nim4(R_5_3_MOVE,R_5_1_NEXT)
& conj2(R_5_14_AND,R_5_10_KICK)
& kick(R_5_10_KICK,R_5_2_YOU,R_5_12_LEGS)
& legs(R_5_12_LEGS)
& gen(R_5_12_LEGS,R_5_2_YOU)
& clr43(R_5_10_KICK,R_5_13_OUT)
& nim4(R_5_10_KICK,R_5_1_NEXT)
& conj3(R_5_14_AND,R_5_15_MOVE)
& move(R_5_15_MOVE,R_5_2_YOU,R_5_17_HANDS)
& hands(R_5_17_HANDS)
& gen(R_5_17_HANDS,R_5_2_YOU)
& clr58(R_5_15_MOVE,R_5_18_ROUND)
& nim4(R_5_15_MOVE,R_5_1_NEXT)
& conj2(R_5_20_AND,R_5_23_DO)
& do(R_5_23_DO,R_5_2_YOU,R_5_24_THIS)
& nim67(R_5_23_DO,R_5_21_THEN)
& nim78(R_5_23_DO,R_5_25_AGAIN) ) ).
( (IP-MAT (ILYR (ILYR (ADVP-NIM (ADV Next;{next}))
(NP-SBJ (PRO you;{you}))
(ILYR;{MOVEMENTS} (ILYR (VBP;_Tn.p_ move;{move[forward]})
(NP-OB1 (NP-GEN (PRO;_genm_ your;{your}))
(NLYR (NLYR (NS legs;{leg}))
(CONJP (CONJ and;{and})
(NLYR (NS arms;{arm})))))
(ADVP-CLR (ADV forward;{forward})))
(PUNC ,)
(CONJP (ILYR (VBP;_Tn.p_ kick;{kick[out]})
(NP-OB1 (NP-GEN (PRO;_genm_ your;{your}))
(NS legs;{leg}))
(ADVP-CLR (RP out;{out}))))
(CONJP (CONJ and;{and})
(ILYR (VBP;_Tn.p_ move;{move[round]})
(NP-OB1 (NP-GEN (PRO;_genm_ your;{your}))
(NS hands;{hand}))
(ADVP-CLR (ADV round;{round}))))))
(PUNC ,)
(CONJP (CONJ and;{and})
(ILYR (ADVP-NIM (ADV then;{then}))
(NP-SBJ (PRO you;{you}))
(DOP;_Tn_ do;{do})
(NP-OB1;{MOVEMENTS} (D;_nphd_ this;{this}))
(ADVP-NIM (ADV again;{again})))))
(PUNC .))
(ID 5_a_stories_09_m14))