diff --git a/example/GetLoginProofResult/1.0/policy.rego b/example/GetLoginProofResult/1.0/policy.rego
index d550070ec0ecc157e75bc2aabfc699e480432684..dcf2a9f2738b2b271ed4e6edbd48adf49c985a49 100644
--- a/example/GetLoginProofResult/1.0/policy.rego
+++ b/example/GetLoginProofResult/1.0/policy.rego
@@ -1,5 +1,53 @@
 package example.GetLoginProofResult
 
-_ = ocm.getLoginProofResult(input.requestId)
+claims := ocm.getLoginProofResult(input.requestId)
 
+name = getName(claims)
+given_name = getGivenName(claims)
+family_name = getFamilyName(claims)
+middle_name = getMiddleName(claims)
+preferred_username = getPreferredUsername(claims)
+gender = getGender(claims)
+birthdate = getBirthdate(claims)
+email = getEmail(claims)
+email_verified = getEmailVerified(claims)
+sub = getSub(claims)
+iss = getIss(claims)
+auth_time = getAuthTime(claims)
 
+getName(c) = x {
+	x = c.first_name
+}
+getGivenName(c) = x {
+	x = c.first_name
+}
+getFamilyName(c) = x {
+	x = c.last_name
+}
+getMiddleName(c) = x {
+	x = c.EmpMiddleName
+}
+getPreferredUsername(c) = x {
+	x = c.EmpPreferredUsername
+}
+getGender(c) = x {
+	x = c.EmpGender
+}
+getBirthdate(c) = x {
+	x = c.EmpBirthdate
+}
+getEmail(c) = x {
+	x = c.email
+}
+getEmailVerified(c) = x {
+	x = c.email_verified
+}
+getSub(c) = x {
+	x = c.sub
+}
+getIss(c) = x {
+	x = c.iss
+}
+getAuthTime(c) = x {
+	x = c.auth_time
+}