∀x (Student(x) ∧ LearningPiano(x) → Can(x, strike, rightNote))
∀x (Student(x) ∧  Can(x, strike, rightNote) → Can(x, getTheRhythmRight))
∀x (Student(x) ∧ Can(x, getTheRhythmRight) → Start(x, workingOnCoordinationBetweenTheLeftAndRightHands))
∀x (Student(x) ∧ Start(x, workingOnCoordinationBetweenTheLeftAndRightHands) → Become(x, goodAtCoordination) ⊕ Find(x, coordinationChallenging))
(Can(john, getTheRhythmRight) ∧ Can(john, getTheRhythmRight)) ∧  Become(john, goodAtCoordination)  → PutEmotionInto(john, hisPlaying)
Student(john) ∧ LearningPiano(john)
¬Find(john, coordinationChallenging)
Can(john, getTheRhythmRight)