Category:Property satisfactions for the variety of groups