Template:NATO

This template puts a country into the Category NATO and sets the Property In NATO to true. The aim is to keep the Property and the Category in synch, given our current understanding (May 2023) that it is impossible to do that bidirectionally via formulas.