source: fedd/abac-src/atnvis/TestDataFromMike/MedSup3.prop @ fd556d1

subject = MedSup

update.1.location = local

update.1.1.type = node
update.1.1.nodeType = RoleTarget
update.1.1.name = MedSup: MedSup.discount <-- Alice
update.1.1.processing = opponent

update.1.2.type = edge
update.1.2.edgeType = Implication
update.1.2.parentName = MedSup: MedSup.discount <-- Alice
update.1.2.childName = MedSup: A.r ^ ReliefNet.provisioner <-- Alice
update.1.2.childType = IntersectionTarget
update.1.2.childProcessing = verifier

update.1.3.type = node
update.1.3.name = MedSup: MedSup.discount <-- Alice
update.1.3.processing = verifier

update.1.4.type = edge
update.1.4.edgeType = Intersection
update.1.4.parentName = MedSup: A.r ^ ReliefNet.provisioner <-- Alice
update.1.4.childName = MedSup: A.r <-- Alice
update.1.4.childType = RoleTarget
update.1.4.childProcessing = verifier

update.1.5.type = edge
update.1.5.edgeType = Intersection
update.1.5.parentName = MedSup: A.r ^ ReliefNet.provisioner <-- Alice
update.1.5.childName = MedSup: ReliefNet.provisioner <-- Alice
update.1.5.childType = RoleTarget
update.1.5.childProcessing = verifier


update.2.location = remote

update.2.1.type = edge
update.2.1.edgeType = Implication
update.2.1.parentName = MedSup: ReliefNet.provisioner <-- Alice
update.2.1.childName = MedSup: MedixFund.purchasingA <-- Alice
update.2.1.childType = RoleTarget
update.2.1.childProcessing = verifier

update.2.2.type = node
update.2.2.name = MedSup: ReliefNet.provisioner <-- Alice
update.2.2.processing = opponent


update.2.3.type = edge
update.2.3.edgeType = Implication
update.2.3.parentName = MedSup: A.r <-- Alice
update.2.3.childName = MedSup: Alice <-- Alice
update.2.3.childType = TrivialTarget
update.2.3.childProcessing = verifier

update.2.4.type = node
update.2.4.name = MedSup: Alice <-- Alice
update.2.4.processing = full
update.2.4.satisfied = Satisfied

update.2.5.type = node
update.2.5.name = MedSup: A.r <-- Alice
update.2.5.processing = opponent
update.2.5.satisfied = Satisfied

update.2.6.type = edge
update.2.6.edgeType = Control
update.2.6.parentName = MedSup: MedixFund.purchasingA <-- Alice
update.2.6.childName = Alice: MedixFund.cPartner <-- MedSup
update.2.6.childType = RoleTarget
update.2.6.childProcessing = opponent

update.2.7.type = edge
update.2.7.edgeType = Implication
update.2.7.parentName = Alice: MedixFund.cPartner <-- MedSup
update.2.7.childName = Alice: ReliefNet.member <-- MedSup
update.2.7.childType = RoleTarget
update.2.7.childProcessing = verifier

update.2.8.type = node
update.2.8.name = Alice: MedixFund.cPartner <-- MedSup
update.2.8.processing = verifier


update.3.location = local

update.3.1.type = edge
update.3.1.edgeType = Implication
update.3.1.parentName = Alice: ReliefNet.member <-- MedSup
update.3.1.childName = Alice: MedSup <-- MedSup
update.3.1.childType = TrivialTarget
update.3.1.childProcessing = full

update.3.2.type = node
update.3.2.name = Alice: MedSup <-- MedSup
update.3.2.satisfied = Satisfied

update.3.3.type = node
update.3.3.name = Alice: ReliefNet.member <-- MedSup
update.3.3.processing = verifier
update.3.3.satisfied = Satisfied

update.3.4.type = node
update.3.4.name = Alice: MedixFund.cPartner <-- MedSup
update.3.4.processing = full
update.3.4.satisfied = Satisfied

update.3.5.type = node
update.3.5.name = Alice: ReliefNet.member <-- MedSup
update.3.5.processing = opponent


update.4.location = remote

update.4.1.type = edge
update.4.1.edgeType = Implication
update.4.1.parentName = MedSup: MedixFund.purchasingA <-- Alice
update.4.1.childName = MedSup: Alice <-- Alice
update.4.1.childType = RoleTarget
update.4.1.childProcessing = full

update.4.2.type = node
update.4.2.name = MedSup: Alice <-- Alice
update.4.2.processing = full
update.4.2.satisfied = Satisfied

update.4.3.type = node
update.4.3.name = MedSup: MedixFund.purchasingA <-- Alice
update.4.3.processing = verifier
update.4.3.satisfied = Satisfied

update.4.4.type = node
update.4.4.name = MedSup: ReliefNet.provisioner <-- Alice
update.4.4.processing = full
update.4.4.satisfied = Satisfied


update.4.5.type = node
update.4.5.name = MedSup: A.r ^ ReliefNet.provisioner <-- Alice
update.4.5.processing = full
update.4.5.satisfied = Satisfied

update.4.6.type = node
update.4.6.name = MedSup: MedSup.discount <-- Alice
update.4.6.processing = full
update.4.6.satisfied = Satisfied

update.4.7.type = node
update.4.7.name = MedSup: MedixFund.purchasingA <-- Alice
update.4.7.processing = opponent