'(=> (> (Machine_Beam_Center_To_Machine_Sheave_Center ?X) 0)
(= (Machine_Beam_Bending_Moment_Right_Maximum ?X)
(+ (* (Machine_Beam_Reaction_Front_Right ?X)
(Machine_Beam_Support_To_Machine_Beam_Center ?X))
(* (Machine_Beam_Center_To_Machine_Sheave_Center ?X)
(- (Machine_Beam_Reaction_Front_Right ?X)
(Machine_Beam_Weight ?X))))))