anumānapūrvikā yathā deśāntaraprāptyānumitād gamanāt sūryasya gamanaśaktiyogakalpanā /
An example of [presumption] based on inference is when, from the inferred motion [of the sun] reaching different places, [one presumes] the sun's possession of the power of movement.