question.rb1 question :two_forces_at_right_angles do2   kind :numerical3   describes "A body of mass %{mass} is pushed by two forces at right angles to each other, %{force1} and %{force2}. " \4             "%{acceleration}, in m/s²?"5   given mass: "5 kg"6   given force1: "8 N"7   given force2: "6 N"8   asks acceleration: "How strongly does it accelerate"9 end

solution.rb1 solve :two_forces_at_right_angles, using: NewtonsSecondLaw do2   objects :body, :pusher1, :pusher23   axes :x, :y4 5   take mass: body.mass6   take force1: body.force(by: pusher1).magnitude7   take force2: body.force(by: pusher2).magnitude8 9   deduce_from "at right angles to each other", body.force(by: pusher1).direction => x,10               body.force(by: pusher2).direction => y11 12   acceleration = body.acceleration.magnitude13   answer acceleration:, in: "m/s2"14 15   conclusion "The two forces are perpendicular, so the net force is their resultant; the acceleration follows from Newton's second law."16 end