Counter Example Trace: Specification of query: Can user211 REACH role128 ? ==> Step 1: Target User: user211 CAN ASSIGN rule applied to user211: Administrative user to invoke the rule: user499 Role configuration of user211 before applying rule: No role Role configuration of user211 after applying rule: role128 user211 can REACH role128 role128 is REACHABLE