new attributes: NominalGroundSet and KnownAutomorphisms