Implication Details

Assumptions: locally strongly finitely presentable

Conclusions: locally finitely presentable

Reason: See Adamek-Rosicky, Cor. 3.7.