Vidimo, da odgovor ni povsem to, kar smo želeli, med drugim smo od izvirne strani želeli atribut »Dohodek_Delavca« za uporabnika z oznako »«, dobili pa smo le izjavo o overitvi. Dobimo namreč vse varnostne trditve, v katerih je uporabnik enak tistemu iz zahteve, ne glede na to, ali gre za overitev, atribut(e) ali odločitev o pravici izvedbe storitve oziroma uporabe vira. V našem primeru atributa morda ni.