Non-rigid Designation -- Saturation Based Theorem Proving, Applications, and Data