Two properties with distinct satisfaction conditions and distinct logical roles cannot be numericall...