Template:Property non-implication (generic)