Context Navigation

MedSup.prop @ c49d81b

axis_examplecompt_changesinfo-opsversion-2.00version-3.01version-3.02

Last change on this file since c49d81b was 8780cbec, checked in by Jay Jacobs <Jay.Jacobs@…>, 15 years ago
ABAC sources from Cobham
Property mode set to `100755`
File size: 8.8 KB

Rev	Line
[8780cbec]	1	subject = MedSup
	2
	3	update.1.location = local
	4
	5	update.1.1.type = node
	6	update.1.1.name = MedSup: MedSup.discount <<-?- Alice
	7	update.1.1.nodeType = RoleTarget
	8	update.1.1.isRoot = True
	9
	10	update.1.2.type = node
	11	update.1.2.nodeType = RoleTarget
	12	update.1.2.name = MedSup: MedSup.discount <<-?- Alice
	13	update.1.2.processing = unprocessed
	14	update.1.2.satisfied = Unknown
	15
	16	update.1.3.type = node
	17	update.1.3.nodeType = RoleTarget
	18	update.1.3.name = MedSup: MedSup.discount <<-?- Alice
	19	update.1.3.processing = unprocessed
	20	update.1.3.satisfied = Unknown
	21
	22	update.1.4.type = edge
	23	update.1.4.edgeType = Implication
	24	update.1.4.parentName = MedSup: MedSup.discount <<-?- Alice
	25	update.1.4.childName = MedSup: MedSup.partner.pA <<-?- Alice
	26	update.1.4.childType = LinkedRoleTarget
	27	update.1.4.childProcessing = opponent
	28	update.1.4.evidence.1 = MedSup.discount<-MedSup.partner.pA
	29	update.1.5.type = node
	30	update.1.5.nodeType = LinkedRoleTarget
	31	update.1.5.name = MedSup: MedSup.partner.pA <<-?- Alice
	32	update.1.5.processing = opponent
	33	update.1.5.satisfied = Unknown
	34
	35	update.1.6.type = node
	36	update.1.6.nodeType = RoleTarget
	37	update.1.6.name = MedSup: MedSup.discount <<-?- Alice
	38	update.1.6.processing = opponent
	39	update.1.6.satisfied = Unknown
	40
	41	update.1.7.type = node
	42	update.1.7.name = MedSup: MedSup.discount <<-?- Alice
	43	update.1.7.processing = verifier
	44
	45	update.1.8.type = edge
	46	update.1.8.edgeType = LinkingMonitor
	47	update.1.8.parentName = MedSup: MedSup.partner.pA <<-?- Alice
	48	update.1.8.childName = MedSup: ?X.pA <<-?- Alice
	49	update.1.8.childType = LinkingGoal
	50	update.1.8.childProcessing = verifier
	51	update.1.9.type = node
	52	update.1.9.nodeType = LinkingGoal
	53	update.1.9.name = MedSup: ?X.pA <<-?- Alice
	54	update.1.9.processing = verifier
	55	update.1.9.satisfied = Incomplete
	56
	57	update.2.location = remote
	58
	59	update.2.1.type = edge
	60	update.2.1.edgeType = LinkingSolution
	61	update.2.1.parentName = MedSup: ?X.pA <<-?- Alice
	62	update.2.1.childName = MedSup: MedixFund.pA <<-?- Alice
	63	update.2.1.childType = RoleTarget
	64	update.2.1.childProcessing = verifier
	65	update.2.2.type = node
	66	update.2.2.nodeType = RoleTarget
	67	update.2.2.name = MedSup: MedixFund.pA <<-?- Alice
	68	update.2.2.processing = verifier
	69	update.2.2.satisfied = Unknown
	70
	71	update.2.3.type = node
	72	update.2.3.name = MedSup: ?X.pA <<-?- Alice
	73	update.2.3.processing = opponent
	74
	75	update.2.4.type = node
	76	update.2.4.nodeType = LinkingGoal
	77	update.2.4.name = MedSup: ?X.pA <<-?- Alice
	78	update.2.4.processing = fully
	79	update.2.4.satisfied = Incomplete
	80
	81	update.2.5.type = edge
	82	update.2.5.edgeType = Control
	83	update.2.5.parentName = MedSup: MedixFund.pA <<-?- Alice
	84	update.2.5.childName = Alice: MedixFund.partner <<-?- MedSup
	85	update.2.5.childType = RoleTarget
	86	update.2.5.childProcessing = opponent
	87	update.2.6.type = node
	88	update.2.6.nodeType = RoleTarget
	89	update.2.6.name = Alice: MedixFund.partner <<-?- MedSup
	90	update.2.6.processing = opponent
	91	update.2.6.satisfied = Unknown
	92
	93	update.2.7.type = edge
	94	update.2.7.edgeType = Implication
	95	update.2.7.parentName = Alice: MedixFund.partner <<-?- MedSup
	96	update.2.7.childName = Alice: ReliefNet.coaMember <<-?- MedSup
	97	update.2.7.childType = RoleTarget
	98	update.2.7.childProcessing = verifier
	99	update.2.7.evidence.1 = MedixFund.partner<-ReliefNet.coaMember
	100	update.2.8.type = node
	101	update.2.8.nodeType = RoleTarget
	102	update.2.8.name = Alice: ReliefNet.coaMember <<-?- MedSup
	103	update.2.8.processing = verifier
	104	update.2.8.satisfied = Unknown
	105
	106	update.2.9.type = node
	107	update.2.9.nodeType = RoleTarget
	108	update.2.9.name = Alice: MedixFund.partner <<-?- MedSup
	109	update.2.9.processing = opponent
	110	update.2.9.satisfied = Unknown
	111
	112	update.2.10.type = node
	113	update.2.10.name = Alice: MedixFund.partner <<-?- MedSup
	114	update.2.10.processing = verifier
	115
	116	update.3.location = local
	117
	118	update.3.1.type = edge
	119	update.3.1.edgeType = Implication
	120	update.3.1.parentName = Alice: ReliefNet.coaMember <<-?- MedSup
	121	update.3.1.childName = Alice: MedSup <<-?- MedSup
	122	update.3.1.childType = TrivialTarget
	123	update.3.1.childProcessing = fully
	124	update.3.1.evidence.1 = ReliefNet.coaMember<-MedSup
	125	update.3.2.type = node
	126	update.3.2.nodeType = TrivialTarget
	127	update.3.2.name = Alice: MedSup <<-?- MedSup
	128	update.3.2.processing = fully
	129	update.3.2.satisfied = Satisfied
	130
	131	update.3.3.type = node
	132	update.3.3.nodeType = RoleTarget
	133	update.3.3.name = Alice: ReliefNet.coaMember <<-?- MedSup
	134	update.3.3.processing = verifier
	135	update.3.3.satisfied = Unknown
	136
	137	update.3.4.type = node
	138	update.3.4.nodeType = RoleTarget
	139	update.3.4.name = Alice: ReliefNet.coaMember <<-?- MedSup
	140	update.3.4.processing = verifier
	141	update.3.4.satisfied = Satisfied
	142
	143	update.3.5.type = node
	144	update.3.5.nodeType = RoleTarget
	145	update.3.5.name = Alice: MedixFund.partner <<-?- MedSup
	146	update.3.5.processing = fully
	147	update.3.5.satisfied = Satisfied
	148
	149	update.3.6.type = node
	150	update.3.6.name = Alice: ReliefNet.coaMember <<-?- MedSup
	151	update.3.6.processing = opponent
	152
	153	update.4.location = remote
	154
	155	update.4.1.type = edge
	156	update.4.1.edgeType = Implication
	157	update.4.1.parentName = MedSup: MedixFund.pA <<-?- Alice
	158	update.4.1.childName = MedSup: Alice <<-?- Alice
	159	update.4.1.childType = TrivialTarget
	160	update.4.1.childProcessing = fully
	161	update.4.1.evidence.1 = MedixFund.pA<-Alice
	162	update.4.2.type = node
	163	update.4.2.nodeType = TrivialTarget
	164	update.4.2.name = MedSup: Alice <<-?- Alice
	165	update.4.2.processing = fully
	166	update.4.2.satisfied = Satisfied
	167
	168	update.4.3.type = node
	169	update.4.3.nodeType = RoleTarget
	170	update.4.3.name = MedSup: MedixFund.pA <<-?- Alice
	171	update.4.3.processing = verifier
	172	update.4.3.satisfied = Unknown
	173
	174	update.4.4.type = node
	175	update.4.4.nodeType = RoleTarget
	176	update.4.4.name = MedSup: MedixFund.pA <<-?- Alice
	177	update.4.4.processing = verifier
	178	update.4.4.satisfied = Satisfied
	179
	180	update.4.5.type = edge
	181	update.4.5.edgeType = LinkingImplication
	182	update.4.5.parentName = MedSup: MedSup.partner.pA <<-?- Alice
	183	update.4.5.childName = MedSup: MedSup.partner <<-?- MedixFund
	184	update.4.5.childType = RoleTarget
	185	update.4.5.childProcessing = opponent
	186	update.4.6.type = node
	187	update.4.6.nodeType = RoleTarget
	188	update.4.6.name = MedSup: MedSup.partner <<-?- MedixFund
	189	update.4.6.processing = opponent
	190	update.4.6.satisfied = Unknown
	191
	192	update.4.7.type = node
	193	update.4.7.nodeType = LinkedRoleTarget
	194	update.4.7.name = MedSup: MedSup.partner.pA <<-?- Alice
	195	update.4.7.processing = opponent
	196	update.4.7.satisfied = Unknown
	197
	198	update.4.8.type = node
	199	update.4.8.nodeType = LinkingGoal
	200	update.4.8.name = MedSup: ?X.pA <<-?- Alice
	201	update.4.8.processing = fully
	202	update.4.8.satisfied = Complete
	203
	204	update.4.9.type = node
	205	update.4.9.name = MedSup: MedSup.partner.pA <<-?- Alice
	206	update.4.9.processing = verifier
	207
	208	update.4.10.type = node
	209	update.4.10.name = MedSup: MedixFund.pA <<-?- Alice
	210	update.4.10.processing = opponent
	211
	212	update.5.location = local
	213
	214	update.5.1.type = edge
	215	update.5.1.edgeType = Implication
	216	update.5.1.parentName = MedSup: MedSup.partner <<-?- MedixFund
	217	update.5.1.childName = MedSup: ReliefNet.coaMember <<-?- MedixFund
	218	update.5.1.childType = RoleTarget
	219	update.5.1.childProcessing = verifier
	220	update.5.1.evidence.1 = MedSup.partner<-ReliefNet.coaMember
	221	update.5.2.type = node
	222	update.5.2.nodeType = RoleTarget
	223	update.5.2.name = MedSup: ReliefNet.coaMember <<-?- MedixFund
	224	update.5.2.processing = verifier
	225	update.5.2.satisfied = Unknown
	226
	227	update.5.3.type = node
	228	update.5.3.nodeType = RoleTarget
	229	update.5.3.name = MedSup: MedSup.partner <<-?- MedixFund
	230	update.5.3.processing = opponent
	231	update.5.3.satisfied = Unknown
	232
	233	update.5.4.type = node
	234	update.5.4.name = MedSup: MedSup.partner <<-?- MedixFund
	235	update.5.4.processing = verifier
	236
	237	update.6.location = remote
	238
	239	update.6.1.type = edge
	240	update.6.1.edgeType = Implication
	241	update.6.1.parentName = MedSup: ReliefNet.coaMember <<-?- MedixFund
	242	update.6.1.childName = MedSup: MedixFund <<-?- MedixFund
	243	update.6.1.childType = TrivialTarget
	244	update.6.1.childProcessing = fully
	245	update.6.1.evidence.1 = ReliefNet.coaMember<-MedixFund
	246	update.6.2.type = node
	247	update.6.2.nodeType = TrivialTarget
	248	update.6.2.name = MedSup: MedixFund <<-?- MedixFund
	249	update.6.2.processing = fully
	250	update.6.2.satisfied = Satisfied
	251
	252	update.6.3.type = node
	253	update.6.3.nodeType = RoleTarget
	254	update.6.3.name = MedSup: ReliefNet.coaMember <<-?- MedixFund
	255	update.6.3.processing = verifier
	256	update.6.3.satisfied = Unknown
	257
	258	update.6.4.type = node
	259	update.6.4.nodeType = RoleTarget
	260	update.6.4.name = MedSup: ReliefNet.coaMember <<-?- MedixFund
	261	update.6.4.processing = verifier
	262	update.6.4.satisfied = Satisfied
	263
	264	update.6.5.type = node
	265	update.6.5.nodeType = RoleTarget
	266	update.6.5.name = MedSup: MedSup.partner <<-?- MedixFund
	267	update.6.5.processing = fully
	268	update.6.5.satisfied = Satisfied
	269
	270	update.6.6.type = node
	271	update.6.6.nodeType = LinkedRoleTarget
	272	update.6.6.name = MedSup: MedSup.partner.pA <<-?- Alice
	273	update.6.6.processing = fully
	274	update.6.6.satisfied = Satisfied
	275
	276	update.6.7.type = node
	277	update.6.7.nodeType = RoleTarget
	278	update.6.7.name = MedSup: MedSup.discount <<-?- Alice
	279	update.6.7.processing = fully
	280	update.6.7.satisfied = Satisfied
	281
	282	update.6.8.type = node
	283	update.6.8.name = MedSup: ReliefNet.coaMember <<-?- MedixFund
	284	update.6.8.processing = opponent
	285

Note: See TracBrowser for help on using the repository browser.

Download in other formats:

Original Format