Template:Metaproperty implication (generic)