Template:Group-subgroup property conjunction see examples