#| (Fall-From-Rest has (superclasses (Fall))) (every Fall-From-Rest has (x-acceleration ((a Acceleration-Value with (value ((:pair 0 *meter-per-second-squared)))))) (y-acceleration (*Gravity)) (object ((a Physical-Object))) (x-velocity ((a Velocity-Value))) ; differs from Novak (y-velocity ((a Velocity-Value))) (x-distance ((a Distance-Value))) (y-distance ((a Distance-Value))) (total-velocity ((a Velocity-Value))) (duration ((a Duration-Value))) ) |# (Fall-From-Rest has (superclasses (Fall))) (every Fall-From-Rest has (x-acceleration ((a Acceleration-Value with (value ((:pair 0 *meters-per-second-squared)))))) (y-acceleration (*Gravity)) (object ((a Physical-Object))) (x-velocity ((a Velocity-Value))) ; differs from Novak (y-velocity ((a Velocity-Value))) (x-distance ((a Distance-Value))) (y-distance ((a Distance-Value))) (total-velocity ((a Velocity-Value))) (duration ((a Duration-Value))) )