Template:Lie subring metaproperty satisfaction