Template:Group property non-implication