Template:Property implication (generic)