sentences: the object will stop when its speed is decreased to zero
docs: electricity is inanimate_object. exact_zero_divisor is zero_divisor. decrease is change. speed_of_light is constant. zero is integer. if scale_down occurs then decrease occurs. dropping_object is irreflexive_action. weak_force is force_vector. speed is motion. trivial_zero_divisor is zero_divisor.