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_0005_0001__NEXT,R_0005_0002__YOU,R_0005_0005__LEGS,R_0005_0007__ARMS,R_0005_0006__AND,R_0005_0008__FORWARD,R_0005_0003__MOVE,R_0005_0012__LEGS,R_0005_0013__OUT,R_0005_0010__KICK,R_0005_0017__HANDS,R_0005_0018__ROUND,R_0005_0015__MOVE,R_0005_0014__AND,R_0005_0021__THEN,R_0005_0024__THIS,R_0005_0025__AGAIN,R_0005_0023__DO,R_0005_0020__AND] :
( r_0005_0001__Next(R_0005_0001__NEXT)
& r_0005_0002__you(R_0005_0002__YOU)
& r_0005_0005__legs(R_0005_0005__LEGS)
& r_0005_0007__arms(R_0005_0007__ARMS)
& r_0005_0008__forward(R_0005_0008__FORWARD)
& r_0005_0013__out(R_0005_0013__OUT)
& r_0005_0018__round(R_0005_0018__ROUND)
& r_0005_0021__then(R_0005_0021__THEN)
& r_0005_0024__this(R_0005_0024__THIS)
& r_0005_0025__again(R_0005_0025__AGAIN)
& r_0005_0020__and(R_0005_0020__AND)
& has_conj2(R_0005_0020__AND,R_0005_0023__DO)
& r_0005_0023__do(R_0005_0023__DO)
& has_nim78(R_0005_0023__DO,R_0005_0025__AGAIN)
& has_arg1(R_0005_0023__DO,R_0005_0024__THIS)
& has_nim67(R_0005_0023__DO,R_0005_0021__THEN)
& has_arg0(R_0005_0023__DO,R_0005_0002__YOU)
& has_conj1(R_0005_0020__AND,R_0005_0014__AND)
& r_0005_0014__and(R_0005_0014__AND)
& has_conj3(R_0005_0014__AND,R_0005_0015__MOVE)
& r_0005_0015__move(R_0005_0015__MOVE)
& has_clr58(R_0005_0015__MOVE,R_0005_0018__ROUND)
& has_arg1(R_0005_0015__MOVE,R_0005_0017__HANDS)
& r_0005_0017__hands(R_0005_0017__HANDS)
& has_gen(R_0005_0017__HANDS,R_0005_0002__YOU)
& has_arg0(R_0005_0015__MOVE,R_0005_0002__YOU)
& has_nim4(R_0005_0015__MOVE,R_0005_0001__NEXT)
& has_conj2(R_0005_0014__AND,R_0005_0010__KICK)
& r_0005_0010__kick(R_0005_0010__KICK)
& has_clr43(R_0005_0010__KICK,R_0005_0013__OUT)
& has_arg1(R_0005_0010__KICK,R_0005_0012__LEGS)
& r_0005_0012__legs(R_0005_0012__LEGS)
& has_gen(R_0005_0012__LEGS,R_0005_0002__YOU)
& has_arg0(R_0005_0010__KICK,R_0005_0002__YOU)
& has_nim4(R_0005_0010__KICK,R_0005_0001__NEXT)
& has_conj1(R_0005_0014__AND,R_0005_0003__MOVE)
& r_0005_0003__move(R_0005_0003__MOVE)
& has_clr28(R_0005_0003__MOVE,R_0005_0008__FORWARD)
& has_arg1(R_0005_0003__MOVE,R_0005_0006__AND)
& r_0005_0006__and(R_0005_0006__AND)
& has_conj2(R_0005_0006__AND,R_0005_0007__ARMS)
& has_conj1(R_0005_0006__AND,R_0005_0005__LEGS)
& has_gen(R_0005_0006__AND,R_0005_0002__YOU)
& has_arg0(R_0005_0003__MOVE,R_0005_0002__YOU)
& has_nim4(R_0005_0003__MOVE,R_0005_0001__NEXT) ) ).
( (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))