A predicate that cannot be coherently applied without distortion from its source domain fails to gen...