Index: fedd/abac-src/ttg/test/jan_demo/CVS/Entries
===================================================================
--- fedd/abac-src/ttg/test/jan_demo/CVS/Entries	(revision 8780cbecc6db2bdc2b9ef31eec6e5209ad3bff15)
+++ fedd/abac-src/ttg/test/jan_demo/CVS/Entries	(revision 8780cbecc6db2bdc2b9ef31eec6e5209ad3bff15)
@@ -0,0 +1,1 @@
+D
Index: fedd/abac-src/ttg/test/jan_demo/CVS/Entries.Log
===================================================================
--- fedd/abac-src/ttg/test/jan_demo/CVS/Entries.Log	(revision 8780cbecc6db2bdc2b9ef31eec6e5209ad3bff15)
+++ fedd/abac-src/ttg/test/jan_demo/CVS/Entries.Log	(revision 8780cbecc6db2bdc2b9ef31eec6e5209ad3bff15)
@@ -0,0 +1,2 @@
+A D/heuristic////
+A D/tnttg////
Index: fedd/abac-src/ttg/test/jan_demo/CVS/Repository
===================================================================
--- fedd/abac-src/ttg/test/jan_demo/CVS/Repository	(revision 8780cbecc6db2bdc2b9ef31eec6e5209ad3bff15)
+++ fedd/abac-src/ttg/test/jan_demo/CVS/Repository	(revision 8780cbecc6db2bdc2b9ef31eec6e5209ad3bff15)
@@ -0,0 +1,1 @@
+ttg/test/jan_demo
Index: fedd/abac-src/ttg/test/jan_demo/CVS/Root
===================================================================
--- fedd/abac-src/ttg/test/jan_demo/CVS/Root	(revision 8780cbecc6db2bdc2b9ef31eec6e5209ad3bff15)
+++ fedd/abac-src/ttg/test/jan_demo/CVS/Root	(revision 8780cbecc6db2bdc2b9ef31eec6e5209ad3bff15)
@@ -0,0 +1,1 @@
+:ext:jjacobs@src.columbia.sparta.com/cvs/abac
Index: fedd/abac-src/ttg/test/jan_demo/heuristic/CVS/Entries
===================================================================
--- fedd/abac-src/ttg/test/jan_demo/heuristic/CVS/Entries	(revision 8780cbecc6db2bdc2b9ef31eec6e5209ad3bff15)
+++ fedd/abac-src/ttg/test/jan_demo/heuristic/CVS/Entries	(revision 8780cbecc6db2bdc2b9ef31eec6e5209ad3bff15)
@@ -0,0 +1,10 @@
+/goburke/1.2/Thu Jan 23 00:49:53 2003//
+/gocoronado/1.2/Thu Jan 23 00:49:53 2003//
+/gohoward/1.1/Wed Jan 22 22:39:00 2003//
+/sadmir.txt/1.4/Mon Feb  3 21:17:49 2003//
+/ussb.txt/1.3/Mon Feb  3 21:17:49 2003//
+/ussc.txt/1.1/Thu Jan 23 00:49:53 2003//
+/ussh.txt/1.1/Thu Jan 23 00:49:53 2003//
+/weights.SAdmir/1.3/Mon Jan 27 20:04:47 2003//
+/weights.USSB/1.2/Mon Jan 27 20:04:47 2003//
+D
Index: fedd/abac-src/ttg/test/jan_demo/heuristic/CVS/Repository
===================================================================
--- fedd/abac-src/ttg/test/jan_demo/heuristic/CVS/Repository	(revision 8780cbecc6db2bdc2b9ef31eec6e5209ad3bff15)
+++ fedd/abac-src/ttg/test/jan_demo/heuristic/CVS/Repository	(revision 8780cbecc6db2bdc2b9ef31eec6e5209ad3bff15)
@@ -0,0 +1,1 @@
+ttg/test/jan_demo/heuristic
Index: fedd/abac-src/ttg/test/jan_demo/heuristic/CVS/Root
===================================================================
--- fedd/abac-src/ttg/test/jan_demo/heuristic/CVS/Root	(revision 8780cbecc6db2bdc2b9ef31eec6e5209ad3bff15)
+++ fedd/abac-src/ttg/test/jan_demo/heuristic/CVS/Root	(revision 8780cbecc6db2bdc2b9ef31eec6e5209ad3bff15)
@@ -0,0 +1,1 @@
+:ext:jjacobs@src.columbia.sparta.com/cvs/abac
Index: fedd/abac-src/ttg/test/jan_demo/heuristic/SAdmir.log
===================================================================
--- fedd/abac-src/ttg/test/jan_demo/heuristic/SAdmir.log	(revision 8780cbecc6db2bdc2b9ef31eec6e5209ad3bff15)
+++ fedd/abac-src/ttg/test/jan_demo/heuristic/SAdmir.log	(revision 8780cbecc6db2bdc2b9ef31eec6e5209ad3bff15)
@@ -0,0 +1,317 @@
+subject = SAdmir
+
+update.1.location = local
+
+update.1.1.type = node
+update.1.1.name = SAdmir: SAdmir.getsSLocs <<-?- USSB
+update.1.1.nodeType = RoleTarget
+update.1.1.isRoot = True
+
+update.1.2.type = node
+update.1.2.nodeType = RoleTarget
+update.1.2.name = SAdmir: SAdmir.getsSLocs <<-?- USSB
+update.1.2.processing = unprocessed
+update.1.2.satisfied = Unknown
+
+update.1.3.type = node
+update.1.3.nodeType = RoleTarget
+update.1.3.name = SAdmir: SAdmir.getsSLocs <<-?- USSB
+update.1.3.processing = unprocessed
+update.1.3.satisfied = Unknown
+
+update.1.4.type = edge
+update.1.4.edgeType = Implication
+update.1.4.parentName = SAdmir: SAdmir.getsSLocs <<-?- USSB
+update.1.4.childName = SAdmir: SAdmir.NRetTacCom.NRetTacUsr <<-?- USSB
+update.1.4.childType = LinkedRoleTarget
+update.1.4.childProcessing = opponent
+update.1.4.evidence.1 = SAdmir.needsSLocs<-SAdmir.NRetTacCom.NRetTacUsr
+update.1.4.evidence.2 = SAdmir.getsSLocs<-SAdmir.needsSLocs
+
+update.1.5.type = node
+update.1.5.nodeType = LinkedRoleTarget
+update.1.5.name = SAdmir: SAdmir.NRetTacCom.NRetTacUsr <<-?- USSB
+update.1.5.processing = opponent
+update.1.5.satisfied = Unknown
+
+update.1.6.type = node
+update.1.6.nodeType = RoleTarget
+update.1.6.name = SAdmir: SAdmir.getsSLocs <<-?- USSB
+update.1.6.processing = opponent
+update.1.6.satisfied = Unknown
+
+update.1.7.type = edge
+update.1.7.edgeType = LinkingMonitor
+update.1.7.parentName = SAdmir: SAdmir.NRetTacCom.NRetTacUsr <<-?- USSB
+update.1.7.childName = SAdmir: ?X.NRetTacUsr <<-?- USSB
+update.1.7.childType = LinkingGoal
+update.1.7.childProcessing = verifier
+
+update.1.8.type = node
+update.1.8.nodeType = LinkingGoal
+update.1.8.name = SAdmir: ?X.NRetTacUsr <<-?- USSB
+update.1.8.processing = verifier
+update.1.8.satisfied = Incomplete
+
+update.2.location = remote
+
+update.2.1.type = edge
+update.2.1.edgeType = LinkingSolution
+update.2.1.parentName = SAdmir: ?X.NRetTacUsr <<-?- USSB
+update.2.1.childName = SAdmir: RADMSmith.NRetTacUsr <<-?- USSB
+update.2.1.childType = RoleTarget
+update.2.1.childProcessing = verifier
+
+update.2.2.type = node
+update.2.2.nodeType = RoleTarget
+update.2.2.name = SAdmir: RADMSmith.NRetTacUsr <<-?- USSB
+update.2.2.processing = verifier
+update.2.2.satisfied = Unknown
+
+update.2.3.type = node
+update.2.3.name = SAdmir: ?X.NRetTacUsr <<-?- USSB
+update.2.3.processing = opponent
+
+update.2.4.type = node
+update.2.4.nodeType = LinkingGoal
+update.2.4.name = SAdmir: ?X.NRetTacUsr <<-?- USSB
+update.2.4.processing = fully
+update.2.4.satisfied = Incomplete
+
+update.2.5.type = edge
+update.2.5.edgeType = Implication
+update.2.5.parentName = SAdmir: RADMSmith.NRetTacUsr <<-?- USSB
+update.2.5.childName = SAdmir: USN.assignedNRet <<-?- USSB
+update.2.5.childType = RoleTarget
+update.2.5.childProcessing = verifier
+update.2.5.evidence.1 = RADMSmith.NRetTacUsr<-USN.assignedNRet
+
+update.2.6.type = node
+update.2.6.nodeType = RoleTarget
+update.2.6.name = SAdmir: USN.assignedNRet <<-?- USSB
+update.2.6.processing = verifier
+update.2.6.satisfied = Unknown
+
+update.2.7.type = node
+update.2.7.nodeType = RoleTarget
+update.2.7.name = SAdmir: RADMSmith.NRetTacUsr <<-?- USSB
+update.2.7.processing = verifier
+update.2.7.satisfied = Unknown
+
+update.2.8.type = node
+update.2.8.name = SAdmir: RADMSmith.NRetTacUsr <<-?- USSB
+update.2.8.processing = opponent
+
+update.2.9.type = edge
+update.2.9.edgeType = Control
+update.2.9.parentName = SAdmir: USN.assignedNRet <<-?- USSB
+update.2.9.childName = USSB: US.friendly.usr <<-?- SAdmir
+update.2.9.childType = LinkedRoleTarget
+update.2.9.childProcessing = opponent
+
+update.2.10.type = node
+update.2.10.nodeType = LinkedRoleTarget
+update.2.10.name = USSB: US.friendly.usr <<-?- SAdmir
+update.2.10.processing = opponent
+update.2.10.satisfied = Unknown
+
+update.2.11.type = edge
+update.2.11.edgeType = Implication
+update.2.11.parentName = USSB: US.friendly.usr <<-?- SAdmir
+update.2.11.childName = USSB: SE.usr <<-?- SAdmir
+update.2.11.childType = RoleTarget
+update.2.11.childProcessing = verifier
+
+update.2.12.type = node
+update.2.12.nodeType = RoleTarget
+update.2.12.name = USSB: SE.usr <<-?- SAdmir
+update.2.12.processing = verifier
+update.2.12.satisfied = Unknown
+
+update.2.13.type = node
+update.2.13.nodeType = LinkedRoleTarget
+update.2.13.name = USSB: US.friendly.usr <<-?- SAdmir
+update.2.13.processing = opponent
+update.2.13.satisfied = Unknown
+
+update.2.14.type = node
+update.2.14.name = USSB: US.friendly.usr <<-?- SAdmir
+update.2.14.processing = verifier
+
+update.3.location = local
+
+update.3.1.type = edge
+update.3.1.edgeType = Implication
+update.3.1.parentName = USSB: SE.usr <<-?- SAdmir
+update.3.1.childName = USSB: SAdmir <<-?- SAdmir
+update.3.1.childType = TrivialTarget
+update.3.1.childProcessing = fully
+update.3.1.evidence.1 = SE.usr<-SAdmir
+
+update.3.2.type = node
+update.3.2.nodeType = TrivialTarget
+update.3.2.name = USSB: SAdmir <<-?- SAdmir
+update.3.2.processing = fully
+update.3.2.satisfied = Satisfied
+
+update.3.3.type = node
+update.3.3.nodeType = RoleTarget
+update.3.3.name = USSB: SE.usr <<-?- SAdmir
+update.3.3.processing = verifier
+update.3.3.satisfied = Unknown
+
+update.3.4.type = node
+update.3.4.nodeType = RoleTarget
+update.3.4.name = USSB: SE.usr <<-?- SAdmir
+update.3.4.processing = verifier
+update.3.4.satisfied = Satisfied
+
+update.3.5.type = node
+update.3.5.nodeType = LinkedRoleTarget
+update.3.5.name = USSB: US.friendly.usr <<-?- SAdmir
+update.3.5.processing = fully
+update.3.5.satisfied = Satisfied
+
+update.3.6.type = node
+update.3.6.name = USSB: SE.usr <<-?- SAdmir
+update.3.6.processing = opponent
+
+update.4.location = remote
+
+update.4.1.type = edge
+update.4.1.edgeType = Implication
+update.4.1.parentName = SAdmir: USN.assignedNRet <<-?- USSB
+update.4.1.childName = SAdmir: USSB <<-?- USSB
+update.4.1.childType = TrivialTarget
+update.4.1.childProcessing = fully
+update.4.1.evidence.1 = USN.assignedNRet<-USSB
+
+update.4.2.type = node
+update.4.2.nodeType = TrivialTarget
+update.4.2.name = SAdmir: USSB <<-?- USSB
+update.4.2.processing = fully
+update.4.2.satisfied = Satisfied
+
+update.4.3.type = node
+update.4.3.nodeType = RoleTarget
+update.4.3.name = SAdmir: USN.assignedNRet <<-?- USSB
+update.4.3.processing = verifier
+update.4.3.satisfied = Unknown
+
+update.4.4.type = node
+update.4.4.nodeType = RoleTarget
+update.4.4.name = SAdmir: USN.assignedNRet <<-?- USSB
+update.4.4.processing = verifier
+update.4.4.satisfied = Satisfied
+
+update.4.5.type = node
+update.4.5.nodeType = RoleTarget
+update.4.5.name = SAdmir: RADMSmith.NRetTacUsr <<-?- USSB
+update.4.5.processing = fully
+update.4.5.satisfied = Satisfied
+
+update.4.6.type = node
+update.4.6.nodeType = LinkingGoal
+update.4.6.name = SAdmir: ?X.NRetTacUsr <<-?- USSB
+update.4.6.processing = fully
+update.4.6.satisfied = Complete
+
+update.4.7.type = node
+update.4.7.name = SAdmir: SAdmir.NRetTacCom.NRetTacUsr <<-?- USSB
+update.4.7.processing = verifier
+
+update.4.8.type = node
+update.4.8.name = SAdmir: USN.assignedNRet <<-?- USSB
+update.4.8.processing = opponent
+
+update.5.location = local
+
+update.5.1.type = edge
+update.5.1.edgeType = LinkingImplication
+update.5.1.parentName = SAdmir: SAdmir.NRetTacCom.NRetTacUsr <<-?- USSB
+update.5.1.childName = SAdmir: SAdmir.NRetTacCom <<-?- RADMSmith
+update.5.1.childType = RoleTarget
+update.5.1.childProcessing = opponent
+
+update.5.2.type = node
+update.5.2.nodeType = RoleTarget
+update.5.2.name = SAdmir: SAdmir.NRetTacCom <<-?- RADMSmith
+update.5.2.processing = opponent
+update.5.2.satisfied = Unknown
+
+update.5.3.type = node
+update.5.3.nodeType = LinkedRoleTarget
+update.5.3.name = SAdmir: SAdmir.NRetTacCom.NRetTacUsr <<-?- USSB
+update.5.3.processing = fully
+update.5.3.satisfied = Unknown
+
+update.5.4.type = edge
+update.5.4.edgeType = Implication
+update.5.4.parentName = SAdmir: SAdmir.NRetTacCom <<-?- RADMSmith
+update.5.4.childName = SAdmir: USEUCOM.NRetUSTacCom <<-?- RADMSmith
+update.5.4.childType = RoleTarget
+update.5.4.childProcessing = verifier
+update.5.4.evidence.1 = SAdmir.NRetTacCom<-USEUCOM.NRetUSTacCom
+
+update.5.5.type = node
+update.5.5.nodeType = RoleTarget
+update.5.5.name = SAdmir: USEUCOM.NRetUSTacCom <<-?- RADMSmith
+update.5.5.processing = verifier
+update.5.5.satisfied = Unknown
+
+update.5.6.type = node
+update.5.6.nodeType = RoleTarget
+update.5.6.name = SAdmir: SAdmir.NRetTacCom <<-?- RADMSmith
+update.5.6.processing = opponent
+update.5.6.satisfied = Unknown
+
+update.6.location = remote
+
+update.6.1.type = edge
+update.6.1.edgeType = Implication
+update.6.1.parentName = SAdmir: USEUCOM.NRetUSTacCom <<-?- RADMSmith
+update.6.1.childName = SAdmir: RADMSmith <<-?- RADMSmith
+update.6.1.childType = TrivialTarget
+update.6.1.childProcessing = fully
+update.6.1.evidence.1 = USEUCOM.NRetUSTacCom<-RADMSmith
+
+update.6.2.type = node
+update.6.2.nodeType = TrivialTarget
+update.6.2.name = SAdmir: RADMSmith <<-?- RADMSmith
+update.6.2.processing = fully
+update.6.2.satisfied = Satisfied
+
+update.6.3.type = node
+update.6.3.nodeType = RoleTarget
+update.6.3.name = SAdmir: USEUCOM.NRetUSTacCom <<-?- RADMSmith
+update.6.3.processing = verifier
+update.6.3.satisfied = Unknown
+
+update.6.4.type = node
+update.6.4.nodeType = RoleTarget
+update.6.4.name = SAdmir: USEUCOM.NRetUSTacCom <<-?- RADMSmith
+update.6.4.processing = verifier
+update.6.4.satisfied = Satisfied
+
+update.6.5.type = node
+update.6.5.nodeType = RoleTarget
+update.6.5.name = SAdmir: SAdmir.NRetTacCom <<-?- RADMSmith
+update.6.5.processing = opponent
+update.6.5.satisfied = Satisfied
+
+update.6.6.type = node
+update.6.6.nodeType = LinkedRoleTarget
+update.6.6.name = SAdmir: SAdmir.NRetTacCom.NRetTacUsr <<-?- USSB
+update.6.6.processing = fully
+update.6.6.satisfied = Satisfied
+
+update.6.7.type = node
+update.6.7.nodeType = RoleTarget
+update.6.7.name = SAdmir: SAdmir.getsSLocs <<-?- USSB
+update.6.7.processing = opponent
+update.6.7.satisfied = Satisfied
+
+update.6.8.type = node
+update.6.8.name = SAdmir: USEUCOM.NRetUSTacCom <<-?- RADMSmith
+update.6.8.processing = opponent
+
Index: fedd/abac-src/ttg/test/jan_demo/heuristic/SAdmir.prop
===================================================================
--- fedd/abac-src/ttg/test/jan_demo/heuristic/SAdmir.prop	(revision 8780cbecc6db2bdc2b9ef31eec6e5209ad3bff15)
+++ fedd/abac-src/ttg/test/jan_demo/heuristic/SAdmir.prop	(revision 8780cbecc6db2bdc2b9ef31eec6e5209ad3bff15)
@@ -0,0 +1,317 @@
+subject = SAdmir
+
+update.1.location = local
+
+update.1.1.type = node
+update.1.1.name = SAdmir: SAdmir.getsSLocs <<-?- USSB
+update.1.1.nodeType = RoleTarget
+update.1.1.isRoot = True
+
+update.1.2.type = node
+update.1.2.nodeType = RoleTarget
+update.1.2.name = SAdmir: SAdmir.getsSLocs <<-?- USSB
+update.1.2.processing = unprocessed
+update.1.2.satisfied = Unknown
+
+update.1.3.type = node
+update.1.3.nodeType = RoleTarget
+update.1.3.name = SAdmir: SAdmir.getsSLocs <<-?- USSB
+update.1.3.processing = unprocessed
+update.1.3.satisfied = Unknown
+
+update.1.4.type = edge
+update.1.4.edgeType = Implication
+update.1.4.parentName = SAdmir: SAdmir.getsSLocs <<-?- USSB
+update.1.4.childName = SAdmir: SAdmir.NRetTacCom.NRetTacUsr <<-?- USSB
+update.1.4.childType = LinkedRoleTarget
+update.1.4.childProcessing = opponent
+update.1.4.evidence.1 = SAdmir.needsSLocs<-SAdmir.NRetTacCom.NRetTacUsr
+update.1.4.evidence.2 = SAdmir.getsSLocs<-SAdmir.needsSLocs
+
+update.1.5.type = node
+update.1.5.nodeType = LinkedRoleTarget
+update.1.5.name = SAdmir: SAdmir.NRetTacCom.NRetTacUsr <<-?- USSB
+update.1.5.processing = opponent
+update.1.5.satisfied = Unknown
+
+update.1.6.type = node
+update.1.6.nodeType = RoleTarget
+update.1.6.name = SAdmir: SAdmir.getsSLocs <<-?- USSB
+update.1.6.processing = opponent
+update.1.6.satisfied = Unknown
+
+update.1.7.type = edge
+update.1.7.edgeType = LinkingMonitor
+update.1.7.parentName = SAdmir: SAdmir.NRetTacCom.NRetTacUsr <<-?- USSB
+update.1.7.childName = SAdmir: ?X.NRetTacUsr <<-?- USSB
+update.1.7.childType = LinkingGoal
+update.1.7.childProcessing = verifier
+
+update.1.8.type = node
+update.1.8.nodeType = LinkingGoal
+update.1.8.name = SAdmir: ?X.NRetTacUsr <<-?- USSB
+update.1.8.processing = verifier
+update.1.8.satisfied = Incomplete
+
+update.2.location = remote
+
+update.2.1.type = edge
+update.2.1.edgeType = LinkingSolution
+update.2.1.parentName = SAdmir: ?X.NRetTacUsr <<-?- USSB
+update.2.1.childName = SAdmir: RADMSmith.NRetTacUsr <<-?- USSB
+update.2.1.childType = RoleTarget
+update.2.1.childProcessing = verifier
+
+update.2.2.type = node
+update.2.2.nodeType = RoleTarget
+update.2.2.name = SAdmir: RADMSmith.NRetTacUsr <<-?- USSB
+update.2.2.processing = verifier
+update.2.2.satisfied = Unknown
+
+update.2.3.type = node
+update.2.3.name = SAdmir: ?X.NRetTacUsr <<-?- USSB
+update.2.3.processing = opponent
+
+update.2.4.type = node
+update.2.4.nodeType = LinkingGoal
+update.2.4.name = SAdmir: ?X.NRetTacUsr <<-?- USSB
+update.2.4.processing = fully
+update.2.4.satisfied = Incomplete
+
+update.2.5.type = edge
+update.2.5.edgeType = Implication
+update.2.5.parentName = SAdmir: RADMSmith.NRetTacUsr <<-?- USSB
+update.2.5.childName = SAdmir: USN.assignedNRet <<-?- USSB
+update.2.5.childType = RoleTarget
+update.2.5.childProcessing = verifier
+update.2.5.evidence.1 = RADMSmith.NRetTacUsr<-USN.assignedNRet
+
+update.2.6.type = node
+update.2.6.nodeType = RoleTarget
+update.2.6.name = SAdmir: USN.assignedNRet <<-?- USSB
+update.2.6.processing = verifier
+update.2.6.satisfied = Unknown
+
+update.2.7.type = node
+update.2.7.nodeType = RoleTarget
+update.2.7.name = SAdmir: RADMSmith.NRetTacUsr <<-?- USSB
+update.2.7.processing = verifier
+update.2.7.satisfied = Unknown
+
+update.2.8.type = node
+update.2.8.name = SAdmir: RADMSmith.NRetTacUsr <<-?- USSB
+update.2.8.processing = opponent
+
+update.2.9.type = edge
+update.2.9.edgeType = Control
+update.2.9.parentName = SAdmir: USN.assignedNRet <<-?- USSB
+update.2.9.childName = USSB: US.friendly.usr <<-?- SAdmir
+update.2.9.childType = LinkedRoleTarget
+update.2.9.childProcessing = opponent
+
+update.2.10.type = node
+update.2.10.nodeType = LinkedRoleTarget
+update.2.10.name = USSB: US.friendly.usr <<-?- SAdmir
+update.2.10.processing = opponent
+update.2.10.satisfied = Unknown
+
+update.2.11.type = edge
+update.2.11.edgeType = Implication
+update.2.11.parentName = USSB: US.friendly.usr <<-?- SAdmir
+update.2.11.childName = USSB: SE.usr <<-?- SAdmir
+update.2.11.childType = RoleTarget
+update.2.11.childProcessing = verifier
+
+update.2.12.type = node
+update.2.12.nodeType = RoleTarget
+update.2.12.name = USSB: SE.usr <<-?- SAdmir
+update.2.12.processing = verifier
+update.2.12.satisfied = Unknown
+
+update.2.13.type = node
+update.2.13.nodeType = LinkedRoleTarget
+update.2.13.name = USSB: US.friendly.usr <<-?- SAdmir
+update.2.13.processing = opponent
+update.2.13.satisfied = Unknown
+
+update.2.14.type = node
+update.2.14.name = USSB: US.friendly.usr <<-?- SAdmir
+update.2.14.processing = verifier
+
+update.3.location = local
+
+update.3.1.type = edge
+update.3.1.edgeType = Implication
+update.3.1.parentName = USSB: SE.usr <<-?- SAdmir
+update.3.1.childName = USSB: SAdmir <<-?- SAdmir
+update.3.1.childType = TrivialTarget
+update.3.1.childProcessing = fully
+update.3.1.evidence.1 = SE.usr<-SAdmir
+
+update.3.2.type = node
+update.3.2.nodeType = TrivialTarget
+update.3.2.name = USSB: SAdmir <<-?- SAdmir
+update.3.2.processing = fully
+update.3.2.satisfied = Satisfied
+
+update.3.3.type = node
+update.3.3.nodeType = RoleTarget
+update.3.3.name = USSB: SE.usr <<-?- SAdmir
+update.3.3.processing = verifier
+update.3.3.satisfied = Unknown
+
+update.3.4.type = node
+update.3.4.nodeType = RoleTarget
+update.3.4.name = USSB: SE.usr <<-?- SAdmir
+update.3.4.processing = verifier
+update.3.4.satisfied = Satisfied
+
+update.3.5.type = node
+update.3.5.nodeType = LinkedRoleTarget
+update.3.5.name = USSB: US.friendly.usr <<-?- SAdmir
+update.3.5.processing = fully
+update.3.5.satisfied = Satisfied
+
+update.3.6.type = node
+update.3.6.name = USSB: SE.usr <<-?- SAdmir
+update.3.6.processing = opponent
+
+update.4.location = remote
+
+update.4.1.type = edge
+update.4.1.edgeType = Implication
+update.4.1.parentName = SAdmir: USN.assignedNRet <<-?- USSB
+update.4.1.childName = SAdmir: USSB <<-?- USSB
+update.4.1.childType = TrivialTarget
+update.4.1.childProcessing = fully
+update.4.1.evidence.1 = USN.assignedNRet<-USSB
+
+update.4.2.type = node
+update.4.2.nodeType = TrivialTarget
+update.4.2.name = SAdmir: USSB <<-?- USSB
+update.4.2.processing = fully
+update.4.2.satisfied = Satisfied
+
+update.4.3.type = node
+update.4.3.nodeType = RoleTarget
+update.4.3.name = SAdmir: USN.assignedNRet <<-?- USSB
+update.4.3.processing = verifier
+update.4.3.satisfied = Unknown
+
+update.4.4.type = node
+update.4.4.nodeType = RoleTarget
+update.4.4.name = SAdmir: USN.assignedNRet <<-?- USSB
+update.4.4.processing = verifier
+update.4.4.satisfied = Satisfied
+
+update.4.5.type = node
+update.4.5.nodeType = RoleTarget
+update.4.5.name = SAdmir: RADMSmith.NRetTacUsr <<-?- USSB
+update.4.5.processing = fully
+update.4.5.satisfied = Satisfied
+
+update.4.6.type = node
+update.4.6.nodeType = LinkingGoal
+update.4.6.name = SAdmir: ?X.NRetTacUsr <<-?- USSB
+update.4.6.processing = fully
+update.4.6.satisfied = Complete
+
+update.4.7.type = node
+update.4.7.name = SAdmir: SAdmir.NRetTacCom.NRetTacUsr <<-?- USSB
+update.4.7.processing = verifier
+
+update.4.8.type = node
+update.4.8.name = SAdmir: USN.assignedNRet <<-?- USSB
+update.4.8.processing = opponent
+
+update.5.location = local
+
+update.5.1.type = edge
+update.5.1.edgeType = LinkingImplication
+update.5.1.parentName = SAdmir: SAdmir.NRetTacCom.NRetTacUsr <<-?- USSB
+update.5.1.childName = SAdmir: SAdmir.NRetTacCom <<-?- RADMSmith
+update.5.1.childType = RoleTarget
+update.5.1.childProcessing = opponent
+
+update.5.2.type = node
+update.5.2.nodeType = RoleTarget
+update.5.2.name = SAdmir: SAdmir.NRetTacCom <<-?- RADMSmith
+update.5.2.processing = opponent
+update.5.2.satisfied = Unknown
+
+update.5.3.type = node
+update.5.3.nodeType = LinkedRoleTarget
+update.5.3.name = SAdmir: SAdmir.NRetTacCom.NRetTacUsr <<-?- USSB
+update.5.3.processing = fully
+update.5.3.satisfied = Unknown
+
+update.5.4.type = edge
+update.5.4.edgeType = Implication
+update.5.4.parentName = SAdmir: SAdmir.NRetTacCom <<-?- RADMSmith
+update.5.4.childName = SAdmir: USEUCOM.NRetUSTacCom <<-?- RADMSmith
+update.5.4.childType = RoleTarget
+update.5.4.childProcessing = verifier
+update.5.4.evidence.1 = SAdmir.NRetTacCom<-USEUCOM.NRetUSTacCom
+
+update.5.5.type = node
+update.5.5.nodeType = RoleTarget
+update.5.5.name = SAdmir: USEUCOM.NRetUSTacCom <<-?- RADMSmith
+update.5.5.processing = verifier
+update.5.5.satisfied = Unknown
+
+update.5.6.type = node
+update.5.6.nodeType = RoleTarget
+update.5.6.name = SAdmir: SAdmir.NRetTacCom <<-?- RADMSmith
+update.5.6.processing = opponent
+update.5.6.satisfied = Unknown
+
+update.6.location = remote
+
+update.6.1.type = edge
+update.6.1.edgeType = Implication
+update.6.1.parentName = SAdmir: USEUCOM.NRetUSTacCom <<-?- RADMSmith
+update.6.1.childName = SAdmir: RADMSmith <<-?- RADMSmith
+update.6.1.childType = TrivialTarget
+update.6.1.childProcessing = fully
+update.6.1.evidence.1 = USEUCOM.NRetUSTacCom<-RADMSmith
+
+update.6.2.type = node
+update.6.2.nodeType = TrivialTarget
+update.6.2.name = SAdmir: RADMSmith <<-?- RADMSmith
+update.6.2.processing = fully
+update.6.2.satisfied = Satisfied
+
+update.6.3.type = node
+update.6.3.nodeType = RoleTarget
+update.6.3.name = SAdmir: USEUCOM.NRetUSTacCom <<-?- RADMSmith
+update.6.3.processing = verifier
+update.6.3.satisfied = Unknown
+
+update.6.4.type = node
+update.6.4.nodeType = RoleTarget
+update.6.4.name = SAdmir: USEUCOM.NRetUSTacCom <<-?- RADMSmith
+update.6.4.processing = verifier
+update.6.4.satisfied = Satisfied
+
+update.6.5.type = node
+update.6.5.nodeType = RoleTarget
+update.6.5.name = SAdmir: SAdmir.NRetTacCom <<-?- RADMSmith
+update.6.5.processing = opponent
+update.6.5.satisfied = Satisfied
+
+update.6.6.type = node
+update.6.6.nodeType = LinkedRoleTarget
+update.6.6.name = SAdmir: SAdmir.NRetTacCom.NRetTacUsr <<-?- USSB
+update.6.6.processing = fully
+update.6.6.satisfied = Satisfied
+
+update.6.7.type = node
+update.6.7.nodeType = RoleTarget
+update.6.7.name = SAdmir: SAdmir.getsSLocs <<-?- USSB
+update.6.7.processing = opponent
+update.6.7.satisfied = Satisfied
+
+update.6.8.type = node
+update.6.8.name = SAdmir: USEUCOM.NRetUSTacCom <<-?- RADMSmith
+update.6.8.processing = opponent
+
Index: fedd/abac-src/ttg/test/jan_demo/heuristic/USSB.log
===================================================================
--- fedd/abac-src/ttg/test/jan_demo/heuristic/USSB.log	(revision 8780cbecc6db2bdc2b9ef31eec6e5209ad3bff15)
+++ fedd/abac-src/ttg/test/jan_demo/heuristic/USSB.log	(revision 8780cbecc6db2bdc2b9ef31eec6e5209ad3bff15)
@@ -0,0 +1,318 @@
+subject = USSB
+policy.1 = Ack[USN.assignedNRet] = US.friendly.usr
+
+update.1.location = remote
+
+update.1.1.type = node
+update.1.1.name = SAdmir: SAdmir.getsSLocs <<-?- USSB
+update.1.1.nodeType = RoleTarget
+update.1.1.isRoot = True
+
+update.1.2.type = node
+update.1.2.nodeType = RoleTarget
+update.1.2.name = SAdmir: SAdmir.getsSLocs <<-?- USSB
+update.1.2.processing = unprocessed
+update.1.2.satisfied = Unknown
+
+update.1.3.type = node
+update.1.3.nodeType = RoleTarget
+update.1.3.name = SAdmir: SAdmir.getsSLocs <<-?- USSB
+update.1.3.processing = unprocessed
+update.1.3.satisfied = Unknown
+
+update.1.4.type = edge
+update.1.4.edgeType = Implication
+update.1.4.parentName = SAdmir: SAdmir.getsSLocs <<-?- USSB
+update.1.4.childName = SAdmir: SAdmir.NRetTacCom.NRetTacUsr <<-?- USSB
+update.1.4.childType = LinkedRoleTarget
+update.1.4.childProcessing = opponent
+update.1.4.evidence.1 = SAdmir.needsSLocs<-SAdmir.NRetTacCom.NRetTacUsr
+update.1.4.evidence.2 = SAdmir.getsSLocs<-SAdmir.needsSLocs
+
+update.1.5.type = node
+update.1.5.nodeType = LinkedRoleTarget
+update.1.5.name = SAdmir: SAdmir.NRetTacCom.NRetTacUsr <<-?- USSB
+update.1.5.processing = opponent
+update.1.5.satisfied = Unknown
+
+update.1.6.type = node
+update.1.6.nodeType = RoleTarget
+update.1.6.name = SAdmir: SAdmir.getsSLocs <<-?- USSB
+update.1.6.processing = opponent
+update.1.6.satisfied = Unknown
+
+update.1.7.type = edge
+update.1.7.edgeType = LinkingMonitor
+update.1.7.parentName = SAdmir: SAdmir.NRetTacCom.NRetTacUsr <<-?- USSB
+update.1.7.childName = SAdmir: ?X.NRetTacUsr <<-?- USSB
+update.1.7.childType = LinkingGoal
+update.1.7.childProcessing = verifier
+
+update.1.8.type = node
+update.1.8.nodeType = LinkingGoal
+update.1.8.name = SAdmir: ?X.NRetTacUsr <<-?- USSB
+update.1.8.processing = verifier
+update.1.8.satisfied = Incomplete
+
+update.2.location = local
+
+update.2.1.type = edge
+update.2.1.edgeType = LinkingSolution
+update.2.1.parentName = SAdmir: ?X.NRetTacUsr <<-?- USSB
+update.2.1.childName = SAdmir: RADMSmith.NRetTacUsr <<-?- USSB
+update.2.1.childType = RoleTarget
+update.2.1.childProcessing = verifier
+
+update.2.2.type = node
+update.2.2.nodeType = RoleTarget
+update.2.2.name = SAdmir: RADMSmith.NRetTacUsr <<-?- USSB
+update.2.2.processing = verifier
+update.2.2.satisfied = Unknown
+
+update.2.3.type = node
+update.2.3.nodeType = LinkingGoal
+update.2.3.name = SAdmir: ?X.NRetTacUsr <<-?- USSB
+update.2.3.processing = fully
+update.2.3.satisfied = Incomplete
+
+update.2.4.type = node
+update.2.4.name = SAdmir: ?X.NRetTacUsr <<-?- USSB
+update.2.4.processing = opponent
+
+update.2.5.type = edge
+update.2.5.edgeType = Implication
+update.2.5.parentName = SAdmir: RADMSmith.NRetTacUsr <<-?- USSB
+update.2.5.childName = SAdmir: USN.assignedNRet <<-?- USSB
+update.2.5.childType = RoleTarget
+update.2.5.childProcessing = verifier
+update.2.5.evidence.1 = RADMSmith.NRetTacUsr<-USN.assignedNRet
+
+update.2.6.type = node
+update.2.6.nodeType = RoleTarget
+update.2.6.name = SAdmir: USN.assignedNRet <<-?- USSB
+update.2.6.processing = verifier
+update.2.6.satisfied = Unknown
+
+update.2.7.type = node
+update.2.7.nodeType = RoleTarget
+update.2.7.name = SAdmir: RADMSmith.NRetTacUsr <<-?- USSB
+update.2.7.processing = verifier
+update.2.7.satisfied = Unknown
+
+update.2.8.type = node
+update.2.8.name = SAdmir: RADMSmith.NRetTacUsr <<-?- USSB
+update.2.8.processing = opponent
+
+update.2.9.type = edge
+update.2.9.edgeType = Control
+update.2.9.parentName = SAdmir: USN.assignedNRet <<-?- USSB
+update.2.9.childName = USSB: US.friendly.usr <<-?- SAdmir
+update.2.9.childType = LinkedRoleTarget
+update.2.9.childProcessing = opponent
+
+update.2.10.type = node
+update.2.10.nodeType = LinkedRoleTarget
+update.2.10.name = USSB: US.friendly.usr <<-?- SAdmir
+update.2.10.processing = opponent
+update.2.10.satisfied = Unknown
+
+update.2.11.type = edge
+update.2.11.edgeType = Implication
+update.2.11.parentName = USSB: US.friendly.usr <<-?- SAdmir
+update.2.11.childName = USSB: SE.usr <<-?- SAdmir
+update.2.11.childType = RoleTarget
+update.2.11.childProcessing = verifier
+
+update.2.12.type = node
+update.2.12.nodeType = RoleTarget
+update.2.12.name = USSB: SE.usr <<-?- SAdmir
+update.2.12.processing = verifier
+update.2.12.satisfied = Unknown
+
+update.2.13.type = node
+update.2.13.nodeType = LinkedRoleTarget
+update.2.13.name = USSB: US.friendly.usr <<-?- SAdmir
+update.2.13.processing = opponent
+update.2.13.satisfied = Unknown
+
+update.2.14.type = node
+update.2.14.name = USSB: US.friendly.usr <<-?- SAdmir
+update.2.14.processing = verifier
+
+update.3.location = remote
+
+update.3.1.type = edge
+update.3.1.edgeType = Implication
+update.3.1.parentName = USSB: SE.usr <<-?- SAdmir
+update.3.1.childName = USSB: SAdmir <<-?- SAdmir
+update.3.1.childType = TrivialTarget
+update.3.1.childProcessing = fully
+update.3.1.evidence.1 = SE.usr<-SAdmir
+
+update.3.2.type = node
+update.3.2.nodeType = TrivialTarget
+update.3.2.name = USSB: SAdmir <<-?- SAdmir
+update.3.2.processing = fully
+update.3.2.satisfied = Satisfied
+
+update.3.3.type = node
+update.3.3.nodeType = RoleTarget
+update.3.3.name = USSB: SE.usr <<-?- SAdmir
+update.3.3.processing = verifier
+update.3.3.satisfied = Unknown
+
+update.3.4.type = node
+update.3.4.nodeType = RoleTarget
+update.3.4.name = USSB: SE.usr <<-?- SAdmir
+update.3.4.processing = verifier
+update.3.4.satisfied = Satisfied
+
+update.3.5.type = node
+update.3.5.nodeType = LinkedRoleTarget
+update.3.5.name = USSB: US.friendly.usr <<-?- SAdmir
+update.3.5.processing = fully
+update.3.5.satisfied = Satisfied
+
+update.3.6.type = node
+update.3.6.name = USSB: SE.usr <<-?- SAdmir
+update.3.6.processing = opponent
+
+update.4.location = local
+
+update.4.1.type = edge
+update.4.1.edgeType = Implication
+update.4.1.parentName = SAdmir: USN.assignedNRet <<-?- USSB
+update.4.1.childName = SAdmir: USSB <<-?- USSB
+update.4.1.childType = TrivialTarget
+update.4.1.childProcessing = fully
+update.4.1.evidence.1 = USN.assignedNRet<-USSB
+
+update.4.2.type = node
+update.4.2.nodeType = TrivialTarget
+update.4.2.name = SAdmir: USSB <<-?- USSB
+update.4.2.processing = fully
+update.4.2.satisfied = Satisfied
+
+update.4.3.type = node
+update.4.3.nodeType = RoleTarget
+update.4.3.name = SAdmir: USN.assignedNRet <<-?- USSB
+update.4.3.processing = verifier
+update.4.3.satisfied = Unknown
+
+update.4.4.type = node
+update.4.4.nodeType = RoleTarget
+update.4.4.name = SAdmir: USN.assignedNRet <<-?- USSB
+update.4.4.processing = verifier
+update.4.4.satisfied = Satisfied
+
+update.4.5.type = node
+update.4.5.nodeType = RoleTarget
+update.4.5.name = SAdmir: RADMSmith.NRetTacUsr <<-?- USSB
+update.4.5.processing = fully
+update.4.5.satisfied = Satisfied
+
+update.4.6.type = node
+update.4.6.nodeType = LinkingGoal
+update.4.6.name = SAdmir: ?X.NRetTacUsr <<-?- USSB
+update.4.6.processing = fully
+update.4.6.satisfied = Complete
+
+update.4.7.type = node
+update.4.7.name = SAdmir: USN.assignedNRet <<-?- USSB
+update.4.7.processing = opponent
+
+update.5.location = remote
+
+update.5.1.type = edge
+update.5.1.edgeType = LinkingImplication
+update.5.1.parentName = SAdmir: SAdmir.NRetTacCom.NRetTacUsr <<-?- USSB
+update.5.1.childName = SAdmir: SAdmir.NRetTacCom <<-?- RADMSmith
+update.5.1.childType = RoleTarget
+update.5.1.childProcessing = opponent
+
+update.5.2.type = node
+update.5.2.nodeType = RoleTarget
+update.5.2.name = SAdmir: SAdmir.NRetTacCom <<-?- RADMSmith
+update.5.2.processing = opponent
+update.5.2.satisfied = Unknown
+
+update.5.3.type = node
+update.5.3.nodeType = LinkedRoleTarget
+update.5.3.name = SAdmir: SAdmir.NRetTacCom.NRetTacUsr <<-?- USSB
+update.5.3.processing = opponent
+update.5.3.satisfied = Unknown
+
+update.5.4.type = node
+update.5.4.name = SAdmir: SAdmir.NRetTacCom.NRetTacUsr <<-?- USSB
+update.5.4.processing = verifier
+
+update.5.5.type = edge
+update.5.5.edgeType = Implication
+update.5.5.parentName = SAdmir: SAdmir.NRetTacCom <<-?- RADMSmith
+update.5.5.childName = SAdmir: USEUCOM.NRetUSTacCom <<-?- RADMSmith
+update.5.5.childType = RoleTarget
+update.5.5.childProcessing = verifier
+update.5.5.evidence.1 = SAdmir.NRetTacCom<-USEUCOM.NRetUSTacCom
+
+update.5.6.type = node
+update.5.6.nodeType = RoleTarget
+update.5.6.name = SAdmir: USEUCOM.NRetUSTacCom <<-?- RADMSmith
+update.5.6.processing = verifier
+update.5.6.satisfied = Unknown
+
+update.5.7.type = node
+update.5.7.nodeType = RoleTarget
+update.5.7.name = SAdmir: SAdmir.NRetTacCom <<-?- RADMSmith
+update.5.7.processing = opponent
+update.5.7.satisfied = Unknown
+
+update.6.location = local
+
+update.6.1.type = edge
+update.6.1.edgeType = Implication
+update.6.1.parentName = SAdmir: USEUCOM.NRetUSTacCom <<-?- RADMSmith
+update.6.1.childName = SAdmir: RADMSmith <<-?- RADMSmith
+update.6.1.childType = TrivialTarget
+update.6.1.childProcessing = fully
+update.6.1.evidence.1 = USEUCOM.NRetUSTacCom<-RADMSmith
+
+update.6.2.type = node
+update.6.2.nodeType = TrivialTarget
+update.6.2.name = SAdmir: RADMSmith <<-?- RADMSmith
+update.6.2.processing = fully
+update.6.2.satisfied = Satisfied
+
+update.6.3.type = node
+update.6.3.nodeType = RoleTarget
+update.6.3.name = SAdmir: USEUCOM.NRetUSTacCom <<-?- RADMSmith
+update.6.3.processing = verifier
+update.6.3.satisfied = Unknown
+
+update.6.4.type = node
+update.6.4.nodeType = RoleTarget
+update.6.4.name = SAdmir: USEUCOM.NRetUSTacCom <<-?- RADMSmith
+update.6.4.processing = verifier
+update.6.4.satisfied = Satisfied
+
+update.6.5.type = node
+update.6.5.nodeType = RoleTarget
+update.6.5.name = SAdmir: SAdmir.NRetTacCom <<-?- RADMSmith
+update.6.5.processing = opponent
+update.6.5.satisfied = Satisfied
+
+update.6.6.type = node
+update.6.6.nodeType = LinkedRoleTarget
+update.6.6.name = SAdmir: SAdmir.NRetTacCom.NRetTacUsr <<-?- USSB
+update.6.6.processing = fully
+update.6.6.satisfied = Satisfied
+
+update.6.7.type = node
+update.6.7.nodeType = RoleTarget
+update.6.7.name = SAdmir: SAdmir.getsSLocs <<-?- USSB
+update.6.7.processing = opponent
+update.6.7.satisfied = Satisfied
+
+update.6.8.type = node
+update.6.8.name = SAdmir: USEUCOM.NRetUSTacCom <<-?- RADMSmith
+update.6.8.processing = opponent
+
Index: fedd/abac-src/ttg/test/jan_demo/heuristic/USSB.prop
===================================================================
--- fedd/abac-src/ttg/test/jan_demo/heuristic/USSB.prop	(revision 8780cbecc6db2bdc2b9ef31eec6e5209ad3bff15)
+++ fedd/abac-src/ttg/test/jan_demo/heuristic/USSB.prop	(revision 8780cbecc6db2bdc2b9ef31eec6e5209ad3bff15)
@@ -0,0 +1,318 @@
+subject = USSB
+policy.1 = Ack[USN.assignedNRet] = US.friendly.usr
+
+update.1.location = remote
+
+update.1.1.type = node
+update.1.1.name = SAdmir: SAdmir.getsSLocs <<-?- USSB
+update.1.1.nodeType = RoleTarget
+update.1.1.isRoot = True
+
+update.1.2.type = node
+update.1.2.nodeType = RoleTarget
+update.1.2.name = SAdmir: SAdmir.getsSLocs <<-?- USSB
+update.1.2.processing = unprocessed
+update.1.2.satisfied = Unknown
+
+update.1.3.type = node
+update.1.3.nodeType = RoleTarget
+update.1.3.name = SAdmir: SAdmir.getsSLocs <<-?- USSB
+update.1.3.processing = unprocessed
+update.1.3.satisfied = Unknown
+
+update.1.4.type = edge
+update.1.4.edgeType = Implication
+update.1.4.parentName = SAdmir: SAdmir.getsSLocs <<-?- USSB
+update.1.4.childName = SAdmir: SAdmir.NRetTacCom.NRetTacUsr <<-?- USSB
+update.1.4.childType = LinkedRoleTarget
+update.1.4.childProcessing = opponent
+update.1.4.evidence.1 = SAdmir.needsSLocs<-SAdmir.NRetTacCom.NRetTacUsr
+update.1.4.evidence.2 = SAdmir.getsSLocs<-SAdmir.needsSLocs
+
+update.1.5.type = node
+update.1.5.nodeType = LinkedRoleTarget
+update.1.5.name = SAdmir: SAdmir.NRetTacCom.NRetTacUsr <<-?- USSB
+update.1.5.processing = opponent
+update.1.5.satisfied = Unknown
+
+update.1.6.type = node
+update.1.6.nodeType = RoleTarget
+update.1.6.name = SAdmir: SAdmir.getsSLocs <<-?- USSB
+update.1.6.processing = opponent
+update.1.6.satisfied = Unknown
+
+update.1.7.type = edge
+update.1.7.edgeType = LinkingMonitor
+update.1.7.parentName = SAdmir: SAdmir.NRetTacCom.NRetTacUsr <<-?- USSB
+update.1.7.childName = SAdmir: ?X.NRetTacUsr <<-?- USSB
+update.1.7.childType = LinkingGoal
+update.1.7.childProcessing = verifier
+
+update.1.8.type = node
+update.1.8.nodeType = LinkingGoal
+update.1.8.name = SAdmir: ?X.NRetTacUsr <<-?- USSB
+update.1.8.processing = verifier
+update.1.8.satisfied = Incomplete
+
+update.2.location = local
+
+update.2.1.type = edge
+update.2.1.edgeType = LinkingSolution
+update.2.1.parentName = SAdmir: ?X.NRetTacUsr <<-?- USSB
+update.2.1.childName = SAdmir: RADMSmith.NRetTacUsr <<-?- USSB
+update.2.1.childType = RoleTarget
+update.2.1.childProcessing = verifier
+
+update.2.2.type = node
+update.2.2.nodeType = RoleTarget
+update.2.2.name = SAdmir: RADMSmith.NRetTacUsr <<-?- USSB
+update.2.2.processing = verifier
+update.2.2.satisfied = Unknown
+
+update.2.3.type = node
+update.2.3.nodeType = LinkingGoal
+update.2.3.name = SAdmir: ?X.NRetTacUsr <<-?- USSB
+update.2.3.processing = fully
+update.2.3.satisfied = Incomplete
+
+update.2.4.type = node
+update.2.4.name = SAdmir: ?X.NRetTacUsr <<-?- USSB
+update.2.4.processing = opponent
+
+update.2.5.type = edge
+update.2.5.edgeType = Implication
+update.2.5.parentName = SAdmir: RADMSmith.NRetTacUsr <<-?- USSB
+update.2.5.childName = SAdmir: USN.assignedNRet <<-?- USSB
+update.2.5.childType = RoleTarget
+update.2.5.childProcessing = verifier
+update.2.5.evidence.1 = RADMSmith.NRetTacUsr<-USN.assignedNRet
+
+update.2.6.type = node
+update.2.6.nodeType = RoleTarget
+update.2.6.name = SAdmir: USN.assignedNRet <<-?- USSB
+update.2.6.processing = verifier
+update.2.6.satisfied = Unknown
+
+update.2.7.type = node
+update.2.7.nodeType = RoleTarget
+update.2.7.name = SAdmir: RADMSmith.NRetTacUsr <<-?- USSB
+update.2.7.processing = verifier
+update.2.7.satisfied = Unknown
+
+update.2.8.type = node
+update.2.8.name = SAdmir: RADMSmith.NRetTacUsr <<-?- USSB
+update.2.8.processing = opponent
+
+update.2.9.type = edge
+update.2.9.edgeType = Control
+update.2.9.parentName = SAdmir: USN.assignedNRet <<-?- USSB
+update.2.9.childName = USSB: US.friendly.usr <<-?- SAdmir
+update.2.9.childType = LinkedRoleTarget
+update.2.9.childProcessing = opponent
+
+update.2.10.type = node
+update.2.10.nodeType = LinkedRoleTarget
+update.2.10.name = USSB: US.friendly.usr <<-?- SAdmir
+update.2.10.processing = opponent
+update.2.10.satisfied = Unknown
+
+update.2.11.type = edge
+update.2.11.edgeType = Implication
+update.2.11.parentName = USSB: US.friendly.usr <<-?- SAdmir
+update.2.11.childName = USSB: SE.usr <<-?- SAdmir
+update.2.11.childType = RoleTarget
+update.2.11.childProcessing = verifier
+
+update.2.12.type = node
+update.2.12.nodeType = RoleTarget
+update.2.12.name = USSB: SE.usr <<-?- SAdmir
+update.2.12.processing = verifier
+update.2.12.satisfied = Unknown
+
+update.2.13.type = node
+update.2.13.nodeType = LinkedRoleTarget
+update.2.13.name = USSB: US.friendly.usr <<-?- SAdmir
+update.2.13.processing = opponent
+update.2.13.satisfied = Unknown
+
+update.2.14.type = node
+update.2.14.name = USSB: US.friendly.usr <<-?- SAdmir
+update.2.14.processing = verifier
+
+update.3.location = remote
+
+update.3.1.type = edge
+update.3.1.edgeType = Implication
+update.3.1.parentName = USSB: SE.usr <<-?- SAdmir
+update.3.1.childName = USSB: SAdmir <<-?- SAdmir
+update.3.1.childType = TrivialTarget
+update.3.1.childProcessing = fully
+update.3.1.evidence.1 = SE.usr<-SAdmir
+
+update.3.2.type = node
+update.3.2.nodeType = TrivialTarget
+update.3.2.name = USSB: SAdmir <<-?- SAdmir
+update.3.2.processing = fully
+update.3.2.satisfied = Satisfied
+
+update.3.3.type = node
+update.3.3.nodeType = RoleTarget
+update.3.3.name = USSB: SE.usr <<-?- SAdmir
+update.3.3.processing = verifier
+update.3.3.satisfied = Unknown
+
+update.3.4.type = node
+update.3.4.nodeType = RoleTarget
+update.3.4.name = USSB: SE.usr <<-?- SAdmir
+update.3.4.processing = verifier
+update.3.4.satisfied = Satisfied
+
+update.3.5.type = node
+update.3.5.nodeType = LinkedRoleTarget
+update.3.5.name = USSB: US.friendly.usr <<-?- SAdmir
+update.3.5.processing = fully
+update.3.5.satisfied = Satisfied
+
+update.3.6.type = node
+update.3.6.name = USSB: SE.usr <<-?- SAdmir
+update.3.6.processing = opponent
+
+update.4.location = local
+
+update.4.1.type = edge
+update.4.1.edgeType = Implication
+update.4.1.parentName = SAdmir: USN.assignedNRet <<-?- USSB
+update.4.1.childName = SAdmir: USSB <<-?- USSB
+update.4.1.childType = TrivialTarget
+update.4.1.childProcessing = fully
+update.4.1.evidence.1 = USN.assignedNRet<-USSB
+
+update.4.2.type = node
+update.4.2.nodeType = TrivialTarget
+update.4.2.name = SAdmir: USSB <<-?- USSB
+update.4.2.processing = fully
+update.4.2.satisfied = Satisfied
+
+update.4.3.type = node
+update.4.3.nodeType = RoleTarget
+update.4.3.name = SAdmir: USN.assignedNRet <<-?- USSB
+update.4.3.processing = verifier
+update.4.3.satisfied = Unknown
+
+update.4.4.type = node
+update.4.4.nodeType = RoleTarget
+update.4.4.name = SAdmir: USN.assignedNRet <<-?- USSB
+update.4.4.processing = verifier
+update.4.4.satisfied = Satisfied
+
+update.4.5.type = node
+update.4.5.nodeType = RoleTarget
+update.4.5.name = SAdmir: RADMSmith.NRetTacUsr <<-?- USSB
+update.4.5.processing = fully
+update.4.5.satisfied = Satisfied
+
+update.4.6.type = node
+update.4.6.nodeType = LinkingGoal
+update.4.6.name = SAdmir: ?X.NRetTacUsr <<-?- USSB
+update.4.6.processing = fully
+update.4.6.satisfied = Complete
+
+update.4.7.type = node
+update.4.7.name = SAdmir: USN.assignedNRet <<-?- USSB
+update.4.7.processing = opponent
+
+update.5.location = remote
+
+update.5.1.type = edge
+update.5.1.edgeType = LinkingImplication
+update.5.1.parentName = SAdmir: SAdmir.NRetTacCom.NRetTacUsr <<-?- USSB
+update.5.1.childName = SAdmir: SAdmir.NRetTacCom <<-?- RADMSmith
+update.5.1.childType = RoleTarget
+update.5.1.childProcessing = opponent
+
+update.5.2.type = node
+update.5.2.nodeType = RoleTarget
+update.5.2.name = SAdmir: SAdmir.NRetTacCom <<-?- RADMSmith
+update.5.2.processing = opponent
+update.5.2.satisfied = Unknown
+
+update.5.3.type = node
+update.5.3.nodeType = LinkedRoleTarget
+update.5.3.name = SAdmir: SAdmir.NRetTacCom.NRetTacUsr <<-?- USSB
+update.5.3.processing = opponent
+update.5.3.satisfied = Unknown
+
+update.5.4.type = node
+update.5.4.name = SAdmir: SAdmir.NRetTacCom.NRetTacUsr <<-?- USSB
+update.5.4.processing = verifier
+
+update.5.5.type = edge
+update.5.5.edgeType = Implication
+update.5.5.parentName = SAdmir: SAdmir.NRetTacCom <<-?- RADMSmith
+update.5.5.childName = SAdmir: USEUCOM.NRetUSTacCom <<-?- RADMSmith
+update.5.5.childType = RoleTarget
+update.5.5.childProcessing = verifier
+update.5.5.evidence.1 = SAdmir.NRetTacCom<-USEUCOM.NRetUSTacCom
+
+update.5.6.type = node
+update.5.6.nodeType = RoleTarget
+update.5.6.name = SAdmir: USEUCOM.NRetUSTacCom <<-?- RADMSmith
+update.5.6.processing = verifier
+update.5.6.satisfied = Unknown
+
+update.5.7.type = node
+update.5.7.nodeType = RoleTarget
+update.5.7.name = SAdmir: SAdmir.NRetTacCom <<-?- RADMSmith
+update.5.7.processing = opponent
+update.5.7.satisfied = Unknown
+
+update.6.location = local
+
+update.6.1.type = edge
+update.6.1.edgeType = Implication
+update.6.1.parentName = SAdmir: USEUCOM.NRetUSTacCom <<-?- RADMSmith
+update.6.1.childName = SAdmir: RADMSmith <<-?- RADMSmith
+update.6.1.childType = TrivialTarget
+update.6.1.childProcessing = fully
+update.6.1.evidence.1 = USEUCOM.NRetUSTacCom<-RADMSmith
+
+update.6.2.type = node
+update.6.2.nodeType = TrivialTarget
+update.6.2.name = SAdmir: RADMSmith <<-?- RADMSmith
+update.6.2.processing = fully
+update.6.2.satisfied = Satisfied
+
+update.6.3.type = node
+update.6.3.nodeType = RoleTarget
+update.6.3.name = SAdmir: USEUCOM.NRetUSTacCom <<-?- RADMSmith
+update.6.3.processing = verifier
+update.6.3.satisfied = Unknown
+
+update.6.4.type = node
+update.6.4.nodeType = RoleTarget
+update.6.4.name = SAdmir: USEUCOM.NRetUSTacCom <<-?- RADMSmith
+update.6.4.processing = verifier
+update.6.4.satisfied = Satisfied
+
+update.6.5.type = node
+update.6.5.nodeType = RoleTarget
+update.6.5.name = SAdmir: SAdmir.NRetTacCom <<-?- RADMSmith
+update.6.5.processing = opponent
+update.6.5.satisfied = Satisfied
+
+update.6.6.type = node
+update.6.6.nodeType = LinkedRoleTarget
+update.6.6.name = SAdmir: SAdmir.NRetTacCom.NRetTacUsr <<-?- USSB
+update.6.6.processing = fully
+update.6.6.satisfied = Satisfied
+
+update.6.7.type = node
+update.6.7.nodeType = RoleTarget
+update.6.7.name = SAdmir: SAdmir.getsSLocs <<-?- USSB
+update.6.7.processing = opponent
+update.6.7.satisfied = Satisfied
+
+update.6.8.type = node
+update.6.8.name = SAdmir: USEUCOM.NRetUSTacCom <<-?- RADMSmith
+update.6.8.processing = opponent
+
Index: fedd/abac-src/ttg/test/jan_demo/heuristic/goburke
===================================================================
--- fedd/abac-src/ttg/test/jan_demo/heuristic/goburke	(revision 8780cbecc6db2bdc2b9ef31eec6e5209ad3bff15)
+++ fedd/abac-src/ttg/test/jan_demo/heuristic/goburke	(revision 8780cbecc6db2bdc2b9ef31eec6e5209ad3bff15)
@@ -0,0 +1,2 @@
+java com.nailabs.abac.test.TestEngine ussb.txt sadmir.txt \
+	"SAdmir: SAdmir.getsSLocs <- USSB"
Index: fedd/abac-src/ttg/test/jan_demo/heuristic/gocoronado
===================================================================
--- fedd/abac-src/ttg/test/jan_demo/heuristic/gocoronado	(revision 8780cbecc6db2bdc2b9ef31eec6e5209ad3bff15)
+++ fedd/abac-src/ttg/test/jan_demo/heuristic/gocoronado	(revision 8780cbecc6db2bdc2b9ef31eec6e5209ad3bff15)
@@ -0,0 +1,1 @@
+java com.nailabs.abac.test.TestEngine ussc.txt sadmir.txt "SAdmir: SAdmir.getsSLocs <- USSC"
Index: fedd/abac-src/ttg/test/jan_demo/heuristic/gohoward
===================================================================
--- fedd/abac-src/ttg/test/jan_demo/heuristic/gohoward	(revision 8780cbecc6db2bdc2b9ef31eec6e5209ad3bff15)
+++ fedd/abac-src/ttg/test/jan_demo/heuristic/gohoward	(revision 8780cbecc6db2bdc2b9ef31eec6e5209ad3bff15)
@@ -0,0 +1,1 @@
+java com.nailabs.abac.test.TestEngine ussh.txt sadmir.txt "SAdmir: SAdmir.getsSLocs <- USSH"
Index: fedd/abac-src/ttg/test/jan_demo/heuristic/rbtm.log
===================================================================
--- fedd/abac-src/ttg/test/jan_demo/heuristic/rbtm.log	(revision 8780cbecc6db2bdc2b9ef31eec6e5209ad3bff15)
+++ fedd/abac-src/ttg/test/jan_demo/heuristic/rbtm.log	(revision 8780cbecc6db2bdc2b9ef31eec6e5209ad3bff15)
@@ -0,0 +1,236 @@
+Finding credential defining the role: <SAdmir.getsSLocs>
+count = 1
+count = 2
+count = 3
+oppoFrontier = credentials=[SAdmir.getsSLocs<-SENavy.usr, SAdmir.needsSLocs<-SAdmir.NRetTacCom.NRetTacUsr, SAdmir.getsSLocs<-SAdmir.needsSLocs, SAdmir.NRetTacCom<-USEUCOM.NRetUSTacCom, SAdmir.NRetTacCom<-FinnCOM.NRetFinnTacCom, SE.friendly<-US, SAdmir.getsSLocs<-SEAFHQ.usr]
+indexByIssuer={SE=[SE.friendly<-US], SAdmir=[SAdmir.getsSLocs<-SENavy.usr, SAdmir.needsSLocs<-SAdmir.NRetTacCom.NRetTacUsr, SAdmir.getsSLocs<-SAdmir.needsSLocs, SAdmir.NRetTacCom<-USEUCOM.NRetUSTacCom, SAdmir.NRetTacCom<-FinnCOM.NRetFinnTacCom, SAdmir.getsSLocs<-SEAFHQ.usr]}
+indexByRole={SAdmir.NRetTacCom=[SAdmir.NRetTacCom<-USEUCOM.NRetUSTacCom, SAdmir.NRetTacCom<-FinnCOM.NRetFinnTacCom], SAdmir.needsSLocs=[SAdmir.needsSLocs<-SAdmir.NRetTacCom.NRetTacUsr], SE.friendly=[SE.friendly<-US], SAdmir.getsSLocs=[SAdmir.getsSLocs<-SENavy.usr, SAdmir.getsSLocs<-SAdmir.needsSLocs, SAdmir.getsSLocs<-SEAFHQ.usr]}
+indexBySubject={SENavy.usr=[SAdmir.getsSLocs<-SENavy.usr], US=[SE.friendly<-US], USEUCOM.NRetUSTacCom=[SAdmir.NRetTacCom<-USEUCOM.NRetUSTacCom], SAdmir.needsSLocs=[SAdmir.getsSLocs<-SAdmir.needsSLocs], FinnCOM.NRetFinnTacCom=[SAdmir.NRetTacCom<-FinnCOM.NRetFinnTacCom], SEAFHQ.usr=[SAdmir.getsSLocs<-SEAFHQ.usr], SAdmir.NRetTacCom.NRetTacUsr=[SAdmir.needsSLocs<-SAdmir.NRetTacCom.NRetTacUsr]}
+-------BEGIN-OPPO-SEARCH------------
+###Adding SENavy.usr,node SENavy.usr
+-------END-OPPO-SEARCH--------------
+-------BEGIN-OPPO-SEARCH------------
+-------END-OPPO-SEARCH--------------
+Getting oppo chain from SENavy.usr to SENavy.usr
+source = SENavy.usr
+target = SENavy.usr
+node table = {SENavy.usr=node SENavy.usr}
+
+@@@@@ creating set of size 0
+-------BEGIN-OPPO-SEARCH------------
+###Adding SAdmir.needsSLocs,SAdmir.needsSLocs<-SAdmir.NRetTacCom.NRetTacUsr
+###Adding SAdmir.NRetTacCom.NRetTacUsr,node SAdmir.NRetTacCom.NRetTacUsr
+###Adding SAdmir.NRetTacCom.NRetTacUsr,node SAdmir.NRetTacCom.NRetTacUsr
+-------END-OPPO-SEARCH--------------
+-------BEGIN-OPPO-SEARCH------------
+-------END-OPPO-SEARCH--------------
+Getting oppo chain from SAdmir.needsSLocs to SAdmir.NRetTacCom.NRetTacUsr
+source = SAdmir.needsSLocs
+target = SAdmir.NRetTacCom.NRetTacUsr
+node table = {SENavy.usr=node SENavy.usr, SAdmir.needsSLocs=node SAdmir.needsSLocs, SAdmir.NRetTacCom.NRetTacUsr=node SAdmir.NRetTacCom.NRetTacUsr}
+
+@@@@@ this = SAdmir.needsSLocs
+solutions = [2]{SAdmir.NRetTacCom.NRetTacUsr=[node SAdmir.NRetTacCom.NRetTacUsr]}
+soln = [node SAdmir.NRetTacCom.NRetTacUsr]
+
+@@@@@ next = SAdmir.NRetTacCom.NRetTacUsr
+
+@@@@@ children  = [2]{SAdmir.needsSLocs=[SAdmir.needsSLocs<-SAdmir.NRetTacCom.NRetTacUsr]}
+-------BEGIN-OPPO-SEARCH------------
+###Adding SEAFHQ.usr,node SEAFHQ.usr
+-------END-OPPO-SEARCH--------------
+-------BEGIN-OPPO-SEARCH------------
+-------END-OPPO-SEARCH--------------
+Getting oppo chain from SEAFHQ.usr to SEAFHQ.usr
+source = SEAFHQ.usr
+target = SEAFHQ.usr
+node table = {SENavy.usr=node SENavy.usr, SAdmir.needsSLocs=node SAdmir.needsSLocs, SEAFHQ.usr=node SEAFHQ.usr, SAdmir.NRetTacCom.NRetTacUsr=node SAdmir.NRetTacCom.NRetTacUsr}
+
+@@@@@ creating set of size 0
+Finding credential defining the role name: NRetTacUsr
+count = 1
+-------BEGIN-SENS-SEARCH------------
+searching for RADMSmith.NRetTacUsr
+###Adding RADMSmith.NRetTacUsr,RADMSmith.NRetTacUsr<-USN.assignedNRet
+###Adding USN.assignedNRet,node USN.assignedNRet
+###Adding USN.assignedNRet,node USN.assignedNRet
+map = [2]{USN.assignedNRet=[node USN.assignedNRet]}
+--------END-SENS-SEARCH-------------
+-------BEGIN-SENS-SEARCH------------
+searching for RADMSmith.NRetTacUsr
+map = [2]{USN.assignedNRet=[node USN.assignedNRet]}
+--------END-SENS-SEARCH-------------
+---------BEGIN-SENS-CHAIN----------
+Getting sens chain from RADMSmith.NRetTacUsr to USN.assignedNRet
+source = RADMSmith.NRetTacUsr
+target = USN.assignedNRet
+node table = {USN.assignedNRet=node USN.assignedNRet, RADMSmith.NRetTacUsr=node RADMSmith.NRetTacUsr}
+
+@@@@@ this = RADMSmith.NRetTacUsr
+solutions = [2]{USN.assignedNRet=[node USN.assignedNRet]}
+soln = [node USN.assignedNRet]
+
+@@@@@ next = USN.assignedNRet
+
+@@@@@ creating set of size 1
+
+@@@@@ children  = [2]{RADMSmith.NRetTacUsr=[RADMSmith.NRetTacUsr<-USN.assignedNRet]}
+results = [RADMSmith.NRetTacUsr<-USN.assignedNRet]
+-----------END-SENS-CHAIN----------
+
+Finding credential defining the role: <USN.assignedNRet>
+oppoFrontier = credentials=[US.friendly<-SE]
+indexByIssuer={US=[US.friendly<-SE]}
+indexByRole={US.friendly=[US.friendly<-SE]}
+indexBySubject={SE=[US.friendly<-SE]}
+count = 1
+-------BEGIN-SENS-SEARCH------------
+searching for USSB
+###Adding USSB,node USSB
+map = [2]{USSB=[node USSB]}
+--------END-SENS-SEARCH-------------
+-------BEGIN-LOCAL-SEARCH------------
+###Adding US.friendly,node US.friendly
+###Adding US.friendly,US.friendly<-SE
+###Adding SE,node SE
+###Adding SE,node SE
+-------END-LOCAL-SEARCH--------------
+-------BEGIN-OPPO-SEARCH------------
+###Adding SE.usr,node SE.usr
+-------END-OPPO-SEARCH--------------
+###Adding RADMSmith.NRetTacUsr,node RADMSmith.NRetTacUsr
+###Adding RADMSmith.NRetTacUsr,RADMSmith.NRetTacUsr<-USN.assignedNRet
+###Adding USN.assignedNRet,node USN.assignedNRet
+###Adding USN.assignedNRet,node USN.assignedNRet
+source = RADMSmith.NRetTacUsr
+target = USN.assignedNRet
+node table = {USN.assignedNRet=node USN.assignedNRet, RADMSmith.NRetTacUsr=node RADMSmith.NRetTacUsr}
+
+@@@@@ this = RADMSmith.NRetTacUsr
+solutions = [2]{USN.assignedNRet=[node USN.assignedNRet], RADMSmith.NRetTacUsr=[node RADMSmith.NRetTacUsr]}
+soln = [node USN.assignedNRet]
+
+@@@@@ next = USN.assignedNRet
+
+@@@@@ creating set of size 1
+
+@@@@@ children  = [2]{RADMSmith.NRetTacUsr=[RADMSmith.NRetTacUsr<-USN.assignedNRet]}
+-------BEGIN-SENS-SEARCH------------
+searching for SE.usr
+###Adding SE.usr,SE.usr<-SAdmir
+###Adding SAdmir,node SAdmir
+###Adding SAdmir,node SAdmir
+map = [2]{SAdmir=[node SAdmir]}
+--------END-SENS-SEARCH-------------
+-------BEGIN-SENS-SEARCH------------
+searching for SE.usr
+map = [2]{SAdmir=[node SAdmir]}
+--------END-SENS-SEARCH-------------
+---------BEGIN-SENS-CHAIN----------
+Getting sens chain from SE.usr to SAdmir
+source = SE.usr
+target = SAdmir
+node table = {SE.usr=node SE.usr, SAdmir=node SAdmir}
+
+@@@@@ this = SE.usr
+solutions = [2]{SAdmir=[node SAdmir]}
+soln = [node SAdmir]
+
+@@@@@ next = SAdmir
+
+@@@@@ children  = [2]{SE.usr=[SE.usr<-SAdmir]}
+results = [SE.usr<-SAdmir]
+-----------END-SENS-CHAIN----------
+
+###Adding SE.usr,node SE.usr
+###Adding SE.usr,SE.usr<-SAdmir
+###Adding SAdmir,node SAdmir
+###Adding SAdmir,node SAdmir
+source = SE.usr
+target = SAdmir
+node table = {SE.usr=node SE.usr, SAdmir=node SAdmir}
+
+@@@@@ this = SE.usr
+solutions = [2]{SE.usr=[node SE.usr], SAdmir=[node SAdmir]}
+soln = [node SAdmir]
+
+@@@@@ next = SAdmir
+
+@@@@@ children  = [2]{SE.usr=[SE.usr<-SAdmir]}
+###Adding USN.assignedNRet,USN.assignedNRet<-USSB
+###Adding USSB,node USSB
+###Adding USSB,node USSB
+###Adding USSB,node USN.assignedNRet
+source = USN.assignedNRet
+target = USSB
+node table = {USN.assignedNRet=node USN.assignedNRet, RADMSmith.NRetTacUsr=node RADMSmith.NRetTacUsr, USSB=node USSB}
+
+@@@@@ this = USN.assignedNRet
+solutions = [2]{USN.assignedNRet=[node USN.assignedNRet], USSB=[node USSB]}
+soln = [node USSB]
+
+@@@@@ next = USSB
+
+@@@@@ children  = [2]{USN.assignedNRet=[USN.assignedNRet<-USSB]}
+Finding credential defining the role: <SAdmir.NRetTacCom>
+count = 1
+count = 2
+oppoFrontier = credentials=[SAdmir.getsSLocs<-SENavy.usr, SAdmir.needsSLocs<-SAdmir.NRetTacCom.NRetTacUsr, SAdmir.getsSLocs<-SAdmir.needsSLocs, SAdmir.NRetTacCom<-USEUCOM.NRetUSTacCom, SAdmir.NRetTacCom<-FinnCOM.NRetFinnTacCom, SE.friendly<-US, SAdmir.getsSLocs<-SEAFHQ.usr]
+indexByIssuer={SE=[SE.friendly<-US], SAdmir=[SAdmir.getsSLocs<-SENavy.usr, SAdmir.needsSLocs<-SAdmir.NRetTacCom.NRetTacUsr, SAdmir.getsSLocs<-SAdmir.needsSLocs, SAdmir.NRetTacCom<-USEUCOM.NRetUSTacCom, SAdmir.NRetTacCom<-FinnCOM.NRetFinnTacCom, SAdmir.getsSLocs<-SEAFHQ.usr]}
+indexByRole={SAdmir.NRetTacCom=[SAdmir.NRetTacCom<-USEUCOM.NRetUSTacCom, SAdmir.NRetTacCom<-FinnCOM.NRetFinnTacCom], SAdmir.needsSLocs=[SAdmir.needsSLocs<-SAdmir.NRetTacCom.NRetTacUsr], SE.friendly=[SE.friendly<-US], SAdmir.getsSLocs=[SAdmir.getsSLocs<-SENavy.usr, SAdmir.getsSLocs<-SAdmir.needsSLocs, SAdmir.getsSLocs<-SEAFHQ.usr]}
+indexBySubject={SENavy.usr=[SAdmir.getsSLocs<-SENavy.usr], US=[SE.friendly<-US], USEUCOM.NRetUSTacCom=[SAdmir.NRetTacCom<-USEUCOM.NRetUSTacCom], SAdmir.needsSLocs=[SAdmir.getsSLocs<-SAdmir.needsSLocs], FinnCOM.NRetFinnTacCom=[SAdmir.NRetTacCom<-FinnCOM.NRetFinnTacCom], SEAFHQ.usr=[SAdmir.getsSLocs<-SEAFHQ.usr], SAdmir.NRetTacCom.NRetTacUsr=[SAdmir.needsSLocs<-SAdmir.NRetTacCom.NRetTacUsr]}
+-------BEGIN-OPPO-SEARCH------------
+###Adding USEUCOM.NRetUSTacCom,node USEUCOM.NRetUSTacCom
+-------END-OPPO-SEARCH--------------
+-------BEGIN-OPPO-SEARCH------------
+-------END-OPPO-SEARCH--------------
+Getting oppo chain from USEUCOM.NRetUSTacCom to USEUCOM.NRetUSTacCom
+source = USEUCOM.NRetUSTacCom
+target = USEUCOM.NRetUSTacCom
+node table = {SENavy.usr=node SENavy.usr, USEUCOM.NRetUSTacCom=node USEUCOM.NRetUSTacCom, SAdmir.needsSLocs=node SAdmir.needsSLocs, SEAFHQ.usr=node SEAFHQ.usr, SAdmir.NRetTacCom.NRetTacUsr=node SAdmir.NRetTacCom.NRetTacUsr}
+
+@@@@@ creating set of size 0
+-------BEGIN-OPPO-SEARCH------------
+###Adding FinnCOM.NRetFinnTacCom,node FinnCOM.NRetFinnTacCom
+-------END-OPPO-SEARCH--------------
+-------BEGIN-OPPO-SEARCH------------
+-------END-OPPO-SEARCH--------------
+Getting oppo chain from FinnCOM.NRetFinnTacCom to FinnCOM.NRetFinnTacCom
+source = FinnCOM.NRetFinnTacCom
+target = FinnCOM.NRetFinnTacCom
+node table = {SENavy.usr=node SENavy.usr, USEUCOM.NRetUSTacCom=node USEUCOM.NRetUSTacCom, SAdmir.needsSLocs=node SAdmir.needsSLocs, FinnCOM.NRetFinnTacCom=node FinnCOM.NRetFinnTacCom, SEAFHQ.usr=node SEAFHQ.usr, SAdmir.NRetTacCom.NRetTacUsr=node SAdmir.NRetTacCom.NRetTacUsr}
+
+@@@@@ creating set of size 0
+-------BEGIN-SIMP-SEARCH------------
+###Adding USEUCOM.NRetUSTacCom,USEUCOM.NRetUSTacCom<-RADMSmith
+###Adding RADMSmith,node RADMSmith
+###Adding RADMSmith,node RADMSmith
+--------END-SIMP-SEARCH------------
+-------BEGIN-SIMP-SEARCH------------
+--------END-SIMP-SEARCH------------
+source = USEUCOM.NRetUSTacCom
+target = RADMSmith
+node table = {USEUCOM.NRetUSTacCom=node USEUCOM.NRetUSTacCom, RADMSmith=node RADMSmith}
+
+@@@@@ this = USEUCOM.NRetUSTacCom
+solutions = [2]{RADMSmith=[node RADMSmith]}
+soln = [node RADMSmith]
+
+@@@@@ next = RADMSmith
+
+@@@@@ children  = [2]{USEUCOM.NRetUSTacCom=[USEUCOM.NRetUSTacCom<-RADMSmith]}
+###Adding USEUCOM.NRetUSTacCom,node USEUCOM.NRetUSTacCom
+###Adding USEUCOM.NRetUSTacCom,USEUCOM.NRetUSTacCom<-RADMSmith
+###Adding RADMSmith,node RADMSmith
+###Adding RADMSmith,node RADMSmith
+source = USEUCOM.NRetUSTacCom
+target = RADMSmith
+node table = {USEUCOM.NRetUSTacCom=node USEUCOM.NRetUSTacCom, RADMSmith=node RADMSmith, USN.assignedNRet=node USN.assignedNRet, RADMSmith.NRetTacUsr=node RADMSmith.NRetTacUsr, USSB=node USSB}
+
+@@@@@ this = USEUCOM.NRetUSTacCom
+solutions = [2]{USEUCOM.NRetUSTacCom=[node USEUCOM.NRetUSTacCom], RADMSmith=[node RADMSmith]}
+soln = [node RADMSmith]
+
+@@@@@ next = RADMSmith
+
+@@@@@ children  = [2]{USEUCOM.NRetUSTacCom=[USEUCOM.NRetUSTacCom<-RADMSmith]}
Index: fedd/abac-src/ttg/test/jan_demo/heuristic/sadmir.txt
===================================================================
--- fedd/abac-src/ttg/test/jan_demo/heuristic/sadmir.txt	(revision 8780cbecc6db2bdc2b9ef31eec6e5209ad3bff15)
+++ fedd/abac-src/ttg/test/jan_demo/heuristic/sadmir.txt	(revision 8780cbecc6db2bdc2b9ef31eec6e5209ad3bff15)
@@ -0,0 +1,49 @@
+[EntityID]
+SAdmir
+
+[SelfReachable]
+SE.usr <-- SAdmir
+
+[PolicyReachable]
+SE.friendly <-- US
+SAdmir.needsSLocs <-- SAdmir.NRetTacCom.NRetTacUsr
+SAdmir.NRetTacCom <-- USEUCOM.NRetUSTacCom
+SAdmir.getsSLocs <-- SAdmir.needsSLocs
+# The intersection is removed to fit the visualization on one monitor
+#SAdmir.getsSLocs <-- SE.friendly.usr ^ SAdmir.needsSLocs
+# The following are added for illustrating heuristical search
+#SAdmir.NRetTacCom <-- EstoniaCOM.NRetEstTacCom
+SAdmir.NRetTacCom <-- FinnCOM.NRetFinnTacCom
+SAdmir.getsSLocs <-- SENavy.usr
+SAdmir.getsSLocs <-- SEAFHQ.usr
+
+[IssuerTracesAll]
+friendly
+
+[IssuerTracesDef]
+getsSLocs
+needsSLocs
+NRetTacCom
+
+[SubjectTraceable]
+usr
+NRetTacUsr
+NRetUSTacCom
+assignedNRet
+
+[Strategy]
+type=stingy
+#type=default
+successWeight=0.01
+init=3.00
+# Flag to set whether it's trainable	
+training=false
+#weightFile=swedish_weights.txt         ; default should be weights.SAdmir
+#init=7.00                             ; the inital value to be set
+
+[AccessControl]
+
+[AckPolicy]
+
+
+
Index: fedd/abac-src/ttg/test/jan_demo/heuristic/ussb.txt
===================================================================
--- fedd/abac-src/ttg/test/jan_demo/heuristic/ussb.txt	(revision 8780cbecc6db2bdc2b9ef31eec6e5209ad3bff15)
+++ fedd/abac-src/ttg/test/jan_demo/heuristic/ussb.txt	(revision 8780cbecc6db2bdc2b9ef31eec6e5209ad3bff15)
@@ -0,0 +1,34 @@
+[EntityID]
+USSB
+
+[SelfReachable]
+USN.assignedNRet <-- USSB
+US.usr <-- USSB
+USEUCOM.NRetUSTacCom <-- RADMSmith
+RADMSmith.NRetTacUsr <-- USN.assignedNRet
+
+[PolicyReachable]
+US.friendly <-- SE
+
+[IssuerTracesAll]
+friendly
+
+[IssuerTracesDef]
+getsSLocs
+NRetTacCom
+
+[SubjectTraceable]
+usr
+NRetUSTacCom
+NRetTacUsr
+assignedNRet
+
+[AccessControl]
+
+[AckPolicy]
+USN.assignedNRet=US.friendly.usr
+
+[Strategy]
+type=stingy
+#training=true
+#type=default
Index: fedd/abac-src/ttg/test/jan_demo/heuristic/ussc.txt
===================================================================
--- fedd/abac-src/ttg/test/jan_demo/heuristic/ussc.txt	(revision 8780cbecc6db2bdc2b9ef31eec6e5209ad3bff15)
+++ fedd/abac-src/ttg/test/jan_demo/heuristic/ussc.txt	(revision 8780cbecc6db2bdc2b9ef31eec6e5209ad3bff15)
@@ -0,0 +1,34 @@
+[EntityID]
+USSC
+
+[SelfReachable]
+US.usr <-- USSC
+USEUCOM.NRetUSTacCom <-- RADMSmith
+RADMSmith.NRetTacUsr <-- USN.assignedNRet
+
+[PolicyReachable]
+US.friendly <-- SE
+
+[IssuerTracesAll]
+friendly
+
+[IssuerTracesDef]
+getsSLocs
+NRetTacCom
+
+[SubjectTraceable]
+usr
+NRetUSTacCom
+NRetTacUsr
+assignedNRet
+
+[AccessControl]
+
+[AckPolicy]
+USN.assignedNRet=US.friendly.usr
+
+[Strategy]
+type=default
+training=false
+#training=true
+
Index: fedd/abac-src/ttg/test/jan_demo/heuristic/ussh.txt
===================================================================
--- fedd/abac-src/ttg/test/jan_demo/heuristic/ussh.txt	(revision 8780cbecc6db2bdc2b9ef31eec6e5209ad3bff15)
+++ fedd/abac-src/ttg/test/jan_demo/heuristic/ussh.txt	(revision 8780cbecc6db2bdc2b9ef31eec6e5209ad3bff15)
@@ -0,0 +1,34 @@
+[EntityID]
+USSH
+
+[SelfReachable]
+USN.assignedNRet <-- USSH
+US.usr <-- USSH
+USEUCOM.NRetUSTacCom <-- RADMSmith
+RADMSmith.NRetTacUsr <-- USN.assignedNRet
+
+[PolicyReachable]
+US.friendly <-- SE
+
+[IssuerTracesAll]
+friendly
+
+[IssuerTracesDef]
+getsSLocs
+NRetTacCom
+
+[SubjectTraceable]
+usr
+NRetUSTacCom
+NRetTacUsr
+assignedNRet
+
+[AccessControl]
+
+[AckPolicy]
+USN.assignedNRet=US.friendly.usr
+
+[Strategy]
+type=default
+#type=stingy
+#training=false
Index: fedd/abac-src/ttg/test/jan_demo/heuristic/weights.SAdmir
===================================================================
--- fedd/abac-src/ttg/test/jan_demo/heuristic/weights.SAdmir	(revision 8780cbecc6db2bdc2b9ef31eec6e5209ad3bff15)
+++ fedd/abac-src/ttg/test/jan_demo/heuristic/weights.SAdmir	(revision 8780cbecc6db2bdc2b9ef31eec6e5209ad3bff15)
@@ -0,0 +1,14 @@
+SAdmir.NRetTacCom=4.0
+USEUCOM.NRetUSTacCom=4.0
+USSB=4.0
+SAdmir.getsSLocs=4.0
+RADMSmith=4.0
+SENavy.usr=0.0
+RADMSmith.NRetTacUsr=4.0
+US.friendly.usr=4.0
+SAdmir=4.0
+USN.assignedNRet=4.0
+SAdmir.NRetTacCom.NRetTacUsr=4.0
+FinnCOM.NRetFinnTacCom=0.0
+SE.usr=4.0
+SEAFHQ.usr=0.0
Index: fedd/abac-src/ttg/test/jan_demo/heuristic/weights.USSB
===================================================================
--- fedd/abac-src/ttg/test/jan_demo/heuristic/weights.USSB	(revision 8780cbecc6db2bdc2b9ef31eec6e5209ad3bff15)
+++ fedd/abac-src/ttg/test/jan_demo/heuristic/weights.USSB	(revision 8780cbecc6db2bdc2b9ef31eec6e5209ad3bff15)
@@ -0,0 +1,14 @@
+USEUCOM.NRetUSTacCom=4.0
+SAdmir.NRetTacCom=4.0
+SAdmir.getsSLocs=4.0
+USSB=4.0
+RADMSmith=4.0
+SENavy.usr=2.0
+RADMSmith.NRetTacUsr=4.0
+US.friendly.usr=4.0
+SAdmir=4.0
+USN.assignedNRet=4.0
+SAdmir.NRetTacCom.NRetTacUsr=4.0
+FinnCOM.NRetFinnTacCom=2.0
+SE.usr=4.0
+SEAFHQ.usr=2.0
Index: fedd/abac-src/ttg/test/jan_demo/tnttg/CVS/Entries
===================================================================
--- fedd/abac-src/ttg/test/jan_demo/tnttg/CVS/Entries	(revision 8780cbecc6db2bdc2b9ef31eec6e5209ad3bff15)
+++ fedd/abac-src/ttg/test/jan_demo/tnttg/CVS/Entries	(revision 8780cbecc6db2bdc2b9ef31eec6e5209ad3bff15)
@@ -0,0 +1,6 @@
+/esmeos.txt/1.1/Wed Jan 22 22:20:43 2003//
+/gohoward/1.1/Wed Jan 22 22:20:43 2003//
+/gomeos/1.1/Wed Jan 22 22:20:43 2003//
+/sadmir.txt/1.1/Wed Jan 22 22:20:43 2003//
+/ussh.txt/1.1/Wed Jan 22 22:20:43 2003//
+D
Index: fedd/abac-src/ttg/test/jan_demo/tnttg/CVS/Repository
===================================================================
--- fedd/abac-src/ttg/test/jan_demo/tnttg/CVS/Repository	(revision 8780cbecc6db2bdc2b9ef31eec6e5209ad3bff15)
+++ fedd/abac-src/ttg/test/jan_demo/tnttg/CVS/Repository	(revision 8780cbecc6db2bdc2b9ef31eec6e5209ad3bff15)
@@ -0,0 +1,1 @@
+ttg/test/jan_demo/tnttg
Index: fedd/abac-src/ttg/test/jan_demo/tnttg/CVS/Root
===================================================================
--- fedd/abac-src/ttg/test/jan_demo/tnttg/CVS/Root	(revision 8780cbecc6db2bdc2b9ef31eec6e5209ad3bff15)
+++ fedd/abac-src/ttg/test/jan_demo/tnttg/CVS/Root	(revision 8780cbecc6db2bdc2b9ef31eec6e5209ad3bff15)
@@ -0,0 +1,1 @@
+:ext:jjacobs@src.columbia.sparta.com/cvs/abac
Index: fedd/abac-src/ttg/test/jan_demo/tnttg/esmeos.txt
===================================================================
--- fedd/abac-src/ttg/test/jan_demo/tnttg/esmeos.txt	(revision 8780cbecc6db2bdc2b9ef31eec6e5209ad3bff15)
+++ fedd/abac-src/ttg/test/jan_demo/tnttg/esmeos.txt	(revision 8780cbecc6db2bdc2b9ef31eec6e5209ad3bff15)
@@ -0,0 +1,34 @@
+[EntityID]
+ESMeos
+
+[SelfReachable]
+EstNavy.assignedNRet <-- ESMeos
+Estonia.usr <- ESMeos
+EstoniaCOM.NRetEstTacCom <- CaptMets
+CaptMets.NRetTacUsr <- EstNavy.assignedNRet
+
+[PolicyReachable]
+Estonia.friendly <- SE
+
+[IssuerTracesAll]
+friendly
+
+[IssuerTracesDef]
+getsSLocs
+NRetTacCom
+
+[SubjectTraceable]
+usr
+NRetEstTacCom
+NRetTacUsr
+assignedNRet
+
+[AccessControl]
+
+[AckPolicy]
+EstNavy.assignedNRet=Estonia.friendly.usr
+
+[Strategy]
+type=default
+#init=3.0
+#successWeight=0.25
Index: fedd/abac-src/ttg/test/jan_demo/tnttg/gohoward
===================================================================
--- fedd/abac-src/ttg/test/jan_demo/tnttg/gohoward	(revision 8780cbecc6db2bdc2b9ef31eec6e5209ad3bff15)
+++ fedd/abac-src/ttg/test/jan_demo/tnttg/gohoward	(revision 8780cbecc6db2bdc2b9ef31eec6e5209ad3bff15)
@@ -0,0 +1,1 @@
+java com.nailabs.abac.test.TestEngine ussh.txt sadmir.txt "SAdmir: SAdmir.getsSLocs <- USSH"
Index: fedd/abac-src/ttg/test/jan_demo/tnttg/gomeos
===================================================================
--- fedd/abac-src/ttg/test/jan_demo/tnttg/gomeos	(revision 8780cbecc6db2bdc2b9ef31eec6e5209ad3bff15)
+++ fedd/abac-src/ttg/test/jan_demo/tnttg/gomeos	(revision 8780cbecc6db2bdc2b9ef31eec6e5209ad3bff15)
@@ -0,0 +1,1 @@
+java com.nailabs.abac.test.TestEngine esmeos.txt sadmir.txt "SAdmir: SAdmir.getsSLocs <- ESMeos"
Index: fedd/abac-src/ttg/test/jan_demo/tnttg/sadmir.txt
===================================================================
--- fedd/abac-src/ttg/test/jan_demo/tnttg/sadmir.txt	(revision 8780cbecc6db2bdc2b9ef31eec6e5209ad3bff15)
+++ fedd/abac-src/ttg/test/jan_demo/tnttg/sadmir.txt	(revision 8780cbecc6db2bdc2b9ef31eec6e5209ad3bff15)
@@ -0,0 +1,49 @@
+[EntityID]
+SAdmir
+
+[SelfReachable]
+SE.usr <-- SAdmir
+
+[PolicyReachable]
+SE.friendly <-- US
+SE.friendly <-- Estonia
+SAdmir.needsSLocs <-- SAdmir.NRetTacCom.NRetTacUsr
+SAdmir.NRetTacCom <-- USEUCOM.NRetUSTacCom
+SAdmir.getsSLocs <-- SE.friendly.usr ^ SAdmir.needsSLocs
+# The following are added for illustrating heuristical search
+#SAdmir.NRetTacCom <-- EstoniaCOM.NRetEstTacCom
+#SAdmir.NRetTacCom <-- FinnCOM.NRetFinnTacCom
+#SAdmir.getsSLocs <-- SENavy.usr
+#SAdmir.getsSLocs <-- SEAFHQ.usr
+#SAdmir.getsSLocs <-- SAdmir.needsSLocs
+
+[IssuerTracesAll]
+friendly
+
+[IssuerTracesDef]
+getsSLocs
+needsSLocs
+NRetTacCom
+
+[SubjectTraceable]
+usr
+NRetTacUsr
+NRetUSTacCom
+NRetEstTacCom
+assignedNRet
+
+[Strategy]
+type=default
+#type=stingy
+#successWeight=0.01
+#init=3.00
+#init=7.00                             ; the inital value to be set
+#training=true                         ; flag to set whether it's trainable
+#weightFile=swedish_weights.txt        ; default should be weights.SAdmir
+
+[AccessControl]
+
+[AckPolicy]
+
+
+
Index: fedd/abac-src/ttg/test/jan_demo/tnttg/ussh.txt
===================================================================
--- fedd/abac-src/ttg/test/jan_demo/tnttg/ussh.txt	(revision 8780cbecc6db2bdc2b9ef31eec6e5209ad3bff15)
+++ fedd/abac-src/ttg/test/jan_demo/tnttg/ussh.txt	(revision 8780cbecc6db2bdc2b9ef31eec6e5209ad3bff15)
@@ -0,0 +1,34 @@
+[EntityID]
+USSH
+
+[SelfReachable]
+USN.assignedNRet <-- USSH
+US.usr <-- USSH
+USEUCOM.NRetUSTacCom <-- RADMSmith
+RADMSmith.NRetTacUsr <-- USN.assignedNRet
+
+[PolicyReachable]
+US.friendly <-- SE
+
+[IssuerTracesAll]
+friendly
+
+[IssuerTracesDef]
+getsSLocs
+NRetTacCom
+
+[SubjectTraceable]
+usr
+NRetUSTacCom
+NRetTacUsr
+assignedNRet
+
+[AccessControl]
+
+[AckPolicy]
+USN.assignedNRet=US.friendly.usr
+
+[Strategy]
+type=default
+#type=stingy
+#training=false
