Create relevance to lists all users of the local Administrator group

Hello, I currently have the following relevance that lists all users in the local administrator group, except user1 and user2, I would like to also list the local Administrator user, however, only the active ones

elements of 
(
    set of (account names of sids of members of local groups whose (name of it = "Administrators")) 
    - 
    set of ("User1";"User2")
)

As it currently stands, it lists all active and deactivated users

Thank you in advance

Background: members is a child of security account, which has sids as one it’s two properties. The security account type is the base type for the user type. Windows user objects have the account disabled flag property, which returns a boolean True if the accound is disabled.

Maybe this works to filter out the disabled accounts:

elements of (set of (account names of sids of members whose (account disabled flag of it is false) of local groups whose (name of it = "Administrators")) - set of ("User1";"User2"))

Hello, thank you for your support, however, I am receiving the following message with this The operator “account disabled flag” is not defined.

I found this relevance that checks whether the administrator user is active or not, however, I don’t know how to join it with the other one in the code

exists local users whose (name of it as lowercase = “administrador” and account disabled flag of it = false)