Formal definition of GovernmentOrganization that allows inferring an instance into the class

[rjyounes]

May not be possible in all cases. See parent issue for more discussion.