(= Acceleration-Dimension (/ Velocity-Dimension Time-Dimension))
(Quantity.Dimension M/S^2 Acceleration-Dimension) (Quantity.Dimension (Acceleration-Due-To-Gravity ?Self) Acceleration-Dimension) (=> (Earth-Bound-Model ?Self) (And (Value-Cardinality ?Self Acceleration-Due-To-Gravity 1) (Quantity.Dimension (Acceleration-Due-To-Gravity ?Self) Acceleration-Dimension)))