QualitativeValue
type: DatatypeProperty
domain: Class
  union of: SemanticCorrespondence
range: DataRange
  one of: hasAWeakerThanRelation
  one of: hasAGeneralRelation
  one of: hasManyPositiveRelations
  one of: isMoreSpecificThan
  one of: isMoreGeneralThan
  one of: isStrongerThan
  one of: hasTechDiffWith
  one of: isWeakerThan
  one of: isIdenticalOrEquivalentTo
  one of: isDiffFrom
  one of: NoMatch
  one of: CloseMatch
  one of: PossibleMatch
  one of: PerfectMatch
  one of: isLargerThan
  one of: isSmallerThan

hasOwner
type: DatatypeProperty
domain: Class
  union of: SecurityPolicy
  union of: SecurityAssertion
  union of: SecurityAlternative
type: FunctionalProperty
range: DataRange
  one of: Provider
  one of: Requestor

Rule-40
type: Imp
body: ClassAtom
  argument1: PAlgS
  class predicate: AlgorithmSuite
body: IndividualPropertyAtom
  argument1: PAlgS
  argument2: PEnc
  property predicate: hasEncryption
body: IndividualPropertyAtom
  property predicate: hasSymKW
  argument1: PAlgS
  argument2: PSimKW
body: ClassAtom
  argument1: RAlgS
  class predicate: AlgorithmSuite
body: IndividualPropertyAtom
  argument2: RAlgS
  argument1: PAlgS
  property predicate: hasAnalogComponent
body: IndividualPropertyAtom
  argument1: RAlgS
  argument2: RSimKW
  property predicate: hasSymKW
body: IndividualPropertyAtom
  property predicate: hasEncryption
  argument2: REnc
  argument1: RAlgS
body: IndividualPropertyAtom
  argument1: PEnc
  argument2: REnc
  property predicate: isWeakerThan
comment: SymKWWeaker
has rule category: (12#(2)22#(122))-(2)
head: IndividualPropertyAtom
  property predicate: isWeakerThan
  argument2: RSimKW
  argument1: PSimKW
is rule enabled: false

Rule-41
type: Imp
body: ClassAtom
  class predicate: MessageSecurityBinding
  argument1: PSecB
body: IndividualPropertyAtom
  property predicate: hasAlgS
  argument2: PAlgS
  argument1: PSecB
body: DatavaluedPropertyAtom
  property predicate: hasValue
  argument1: PAlgS
  argument2: Basic256
body: ClassAtom
  argument1: PProtecScope
  class predicate: ProtectionScope
body: BuiltinAtom
  builtin: hasNotProperty
  arguments: PProtecScope
  arguments: hasSignScope
body: ClassAtom
  argument1: RSecB
  class predicate: MessageSecurityBinding
body: IndividualPropertyAtom
  argument1: PSecB
  argument2: RSecB
  property predicate: hasAnalogComponent
body: IndividualPropertyAtom
  argument1: RSecB
  argument2: RAlgS
  property predicate: hasAlgS
body: DatavaluedPropertyAtom
  argument1: RAlgS
  argument2: Basic256Sha256
  property predicate: hasValue
body: ClassAtom
  class predicate: ProtectionScope
  argument1: RProtecScope
body: BuiltinAtom
  builtin: hasNotProperty
  arguments: RProtecScope
  arguments: hasSignScope
body: BuiltinAtom
  builtin: makeOWLIndividual
  arguments: c
  arguments: SemanticCorrespondence
is rule enabled: false
comment: AlgSisEqTo1
head: ClassAtom
  class predicate: SemanticCorrespondence
  argument1: c
head: IndividualPropertyAtom
  argument1: c
  argument2: PAlgS
  property predicate: hasSourceComponent
head: IndividualPropertyAtom
  property predicate: hasDestinationComponent
  argument2: RAlgS
  argument1: c
head: DatavaluedPropertyAtom
  argument1: c
  argument2: isIdenticalOrEquivalentTo
  property predicate: QualitativeValue
head: DatavaluedPropertyAtom
  argument2: 1
  argument1: c
  property predicate: NumericalValue
has rule category: (12#(4)2#(12#(4)))^(15)^(15)-(2)

Rule-81
type: Imp
body: ClassAtom
  class predicate: SecurityToken
  argument1: PSecTok
body: ClassAtom
  class predicate: SecurityToken
  argument1: RSecTok
body: IndividualPropertyAtom
  property predicate: hasAnalogComponent
  argument2: RSecTok
  argument1: PSecTok
is rule enabled: false
head: BuiltinAtom
  builtin: generateSecTokLevelRelations
  arguments: PSecTok
  arguments: RSecTok
comment: generateSecTokLevelRelations for analog sec tokens

Rule-44
type: Imp
comment: AlgS-PAlgSPropisIdenticalToRAlgSProp
has rule category: (12#(2#(4)4#(5))55)^(12)-(2)
body: ClassAtom
  class predicate: AlgorithmSuite
  argument1: PAlgS
body: IndividualPropertyAtom
  property predicate: hasAlgSProperty
  argument1: PAlgS
  argument2: PAlgSProp
body: DatavaluedPropertyAtom
  argument1: PAlgSProp
  argument2: PAlgSPropName
  property predicate: hasQName
body: DatavaluedPropertyAtom
  property predicate: hasValue
  argument2: PAlgSPropValue
  argument1: PAlgSProp
body: ClassAtom
  argument1: RAlgS
  class predicate: AlgorithmSuite
body: IndividualPropertyAtom
  argument2: RAlgS
  argument1: PAlgS
  property predicate: hasAnalogComponent
body: IndividualPropertyAtom
  argument1: RAlgS
  argument2: RAlgSProp
  property predicate: hasAlgSProperty
body: DatavaluedPropertyAtom
  property predicate: hasQName
  argument1: RAlgSProp
  argument2: RAlgSPropName
body: DatavaluedPropertyAtom
  property predicate: hasValue
  argument2: RAlgSPropValue
  argument1: RAlgSProp
body: BuiltinAtom
  arguments: PAlgSPropName
  arguments: RAlgSPropName
  builtin: equal
body: BuiltinAtom
  builtin: equal
  arguments: PAlgSPropValue
  arguments: RAlgSPropValue
head: IndividualPropertyAtom
  argument1: PAlgSProp
  property predicate: isIdenticalOrEquivalentTo
  argument2: RAlgSProp
is rule enabled: false

Rule-82
type: Imp
comment: generateAlgSLevelRelations for analog AlgS
body: ClassAtom
  class predicate: AlgorithmSuite
  argument1: PAlgS
body: ClassAtom
  argument1: RAlgS
  class predicate: AlgorithmSuite
body: IndividualPropertyAtom
  property predicate: hasAnalogComponent
  argument2: RAlgS
  argument1: PAlgS
head: BuiltinAtom
  builtin: generateAlgSLevelRelations
  arguments: PAlgS
  arguments: RAlgS
is rule enabled: false

Rule-45
type: Imp
body: ClassAtom
  argument1: provSecTok
  class predicate: SecurityToken
body: IndividualPropertyAtom
  argument2: provProp
  argument1: provSecTok
  property predicate: hasPasswordType
body: DatavaluedPropertyAtom
  property predicate: hasValue
  argument1: provProp
  argument2: HashPassword
body: ClassAtom
  argument1: reqSecTok
  class predicate: SecurityToken
body: IndividualPropertyAtom
  argument1: provSecTok
  argument2: reqSecTok
  property predicate: hasAnalogComponent
body: IndividualPropertyAtom
  argument1: reqSecTok
  argument2: reqProp
  property predicate: hasPasswordType
body: DatavaluedPropertyAtom
  argument2: clearTextPassword
  argument1: reqProp
  property predicate: hasValue
is rule enabled: false
head: IndividualPropertyAtom
  property predicate: isStrongerThan
  argument2: reqProp
  argument1: provProp
comment: SecTokPasswdType-isStronger2

Rule-83
type: Imp
body: ClassAtom
  class predicate: SecurityScope
  argument1: PScope
body: ClassAtom
  argument1: RScope
  class predicate: SecurityScope
body: IndividualPropertyAtom
  property predicate: hasAnalogComponent
  argument2: RScope
  argument1: PScope
comment: generateSecScopeLevelRelations for analog SecScopes
is rule enabled: false
head: BuiltinAtom
  arguments: PScope
  arguments: RScope
  builtin: generateSecScopeLevelRelations

Rule-42
type: Imp
has rule category: (12#(4)2#(12#(4)))^(15)^(15)-(2)
head: ClassAtom
  argument1: c
  class predicate: SemanticCorrespondence
head: IndividualPropertyAtom
  property predicate: hasSourceComponent
  argument2: PAlgS
  argument1: c
head: IndividualPropertyAtom
  argument1: c
  argument2: RAlgS
  property predicate: hasDestinationComponent
head: DatavaluedPropertyAtom
  argument1: c
  argument2: isIdenticalOrEquivalentTo
  property predicate: QualitativeValue
head: DatavaluedPropertyAtom
  property predicate: NumericalValue
  argument1: c
  argument2: 1
body: ClassAtom
  argument1: PSecB
  class predicate: MessageSecurityBinding
body: IndividualPropertyAtom
  property predicate: hasAlgS
  argument2: PAlgS
  argument1: PSecB
body: DatavaluedPropertyAtom
  argument1: PAlgS
  argument2: Basic256Sha256
  property predicate: hasValue
body: ClassAtom
  class predicate: ProtectionScope
  argument1: PProtecScope
body: BuiltinAtom
  builtin: hasNotProperty
  arguments: PProtecScope
  arguments: hasSignScope
body: ClassAtom
  class predicate: MessageSecurityBinding
  argument1: RSecB
body: IndividualPropertyAtom
  property predicate: hasAnalogComponent
  argument1: PSecB
  argument2: RSecB
body: IndividualPropertyAtom
  argument1: RSecB
  argument2: RAlgS
  property predicate: hasAlgS
body: DatavaluedPropertyAtom
  argument2: Basic256
  argument1: RAlgS
  property predicate: hasValue
body: ClassAtom
  class predicate: ProtectionScope
  argument1: RProtecScope
body: BuiltinAtom
  arguments: RProtecScope
  arguments: hasSignScope
  builtin: hasNotProperty
body: BuiltinAtom
  builtin: makeOWLIndividual
  arguments: c
  arguments: SemanticCorrespondence
is rule enabled: false
comment: AlgSisEqTo2

Rule-84
type: Imp
body: ClassAtom
  argument1: PSecB
  class predicate: SecurityBinding
body: ClassAtom
  argument1: RSecB
  class predicate: SecurityBinding
body: IndividualPropertyAtom
  argument1: PSecB
  argument2: RSecB
  property predicate: hasAnalogComponent
head: BuiltinAtom
  builtin: generateSecBLevelRelations
  arguments: PSecB
  arguments: RSecB
is rule enabled: false
comment: generateSecBLevelRelations for analog SecB

Rule-43
type: Imp
head: ClassAtom
  argument1: c
  class predicate: SemanticCorrespondence
head: IndividualPropertyAtom
  argument2: PAlgS
  argument1: c
  property predicate: hasSourceComponent
head: IndividualPropertyAtom
  property predicate: hasDestinationComponent
  argument2: RAlgS
  argument1: c
head: DatavaluedPropertyAtom
  argument1: c
  argument2: isIdenticalOrEquivalentTo
  property predicate: QualitativeValue
head: DatavaluedPropertyAtom
  argument2: 1
  argument1: c
  property predicate: NumericalValue
has rule category: (12#(2#(4)4#(5))2#(2#(4)4#(5)))^(122)-(2)
comment: AlgSisIdenticalTo
body: ClassAtom
  argument1: PAlgS
  class predicate: AlgorithmSuite
body: ClassAtom
  argument1: RAlgS
  class predicate: AlgorithmSuite
body: IndividualPropertyAtom
  argument2: RAlgS
  argument1: PAlgS
  property predicate: hasAnalogComponent
body: IndividualPropertyAtom
  property predicate: hasAlgSValue
  argument2: PAlgSValue
  argument1: PAlgS
body: DatavaluedPropertyAtom
  property predicate: hasValue
  argument2: PVal
  argument1: PAlgSValue
body: IndividualPropertyAtom
  argument2: RAlgSValue
  argument1: RAlgS
  property predicate: hasAlgSValue
body: DatavaluedPropertyAtom
  argument1: RAlgSValue
  argument2: RVal
  property predicate: hasValue
body: BuiltinAtom
  arguments: PVal
  arguments: RVal
  builtin: equal
body: BuiltinAtom
  builtin: makeOWLIndividual
  arguments: c
  arguments: SemanticCorrespondence
is rule enabled: false

Rule-85
type: Imp
is rule enabled: false
head: BuiltinAtom
  arguments: PProtecScope
  arguments: RProtecScope
  builtin: generateProtecScopeLevelRelations
body: ClassAtom
  argument1: PProtecScope
  class predicate: ProtectionScope
body: DatavaluedPropertyAtom
  property predicate: hasOwner
  argument1: PProtecScope
  argument2: Provider
body: ClassAtom
  argument1: RProtecScope
  class predicate: ProtectionScope
body: DatavaluedPropertyAtom
  argument2: Requestor
  argument1: RProtecScope
  property predicate: hasOwner
comment: generateProtecScopeLevelRelations

Rule-49
type: Imp
head: IndividualPropertyAtom
  argument2: RProtecOrder
  argument1: PProtecOrder
  property predicate: isWeakerThan
has rule category: (12#(4)2#(12#(4)))^(5)-(2)
is rule enabled: false
comment: ProtecOrderWeaker
body: ClassAtom
  argument1: PSecB
  class predicate: SecurityBinding
body: IndividualPropertyAtom
  property predicate: hasTokenProtection
  argument1: PSecB
  argument2: PProtecOrder
body: DatavaluedPropertyAtom
  argument2: EncryptBeforeSigning
  argument1: PProtecOrder
  property predicate: hasValue
body: ClassAtom
  argument1: RSecB
  class predicate: SecurityBinding
body: IndividualPropertyAtom
  argument1: PSecB
  argument2: RSecB
  property predicate: hasAnalogComponent
body: IndividualPropertyAtom
  argument1: RSecB
  argument2: RProtecOrder
  property predicate: hasProtectionOrder
body: DatavaluedPropertyAtom
  argument1: RProtecOrder
  argument2: SignBeforeEncrypting
  property predicate: hasValue
body: BuiltinAtom
  builtin: equal
  arguments: PSecBName
  arguments: RSecBName

Rule-47
type: Imp
body: ClassAtom
  argument1: PSecB
  class predicate: SecurityBinding
body: IndividualPropertyAtom
  argument2: PSecBProp
  argument1: PSecB
  property predicate: hasSecBProperty
body: DatavaluedPropertyAtom
  argument2: PSecBPropN
  argument1: PSecBProp
  property predicate: hasQName
body: DatavaluedPropertyAtom
  property predicate: hasValue
  argument2: false
  argument1: PSecBProp
body: ClassAtom
  argument1: RSecB
  class predicate: SecurityBinding
body: IndividualPropertyAtom
  argument2: RSecB
  argument1: PSecB
  property predicate: hasAnalogComponent
body: IndividualPropertyAtom
  property predicate: hasSecBProperty
  argument2: RSecBProp
  argument1: RSecB
body: DatavaluedPropertyAtom
  property predicate: hasQName
  argument2: RSecBPropN
  argument1: RSecBProp
body: DatavaluedPropertyAtom
  property predicate: hasValue
  argument1: RSecBProp
  argument2: true
body: BuiltinAtom
  builtin: equal
  arguments: PSecBPropN
  arguments: RSecBPropN
comment: PSecBBooleanPropWeaker
head: IndividualPropertyAtom
  property predicate: isWeakerThan
  argument1: PSecBProp
  argument2: RSecBProp
is rule enabled: false
has rule category: (12#(4#(5)4)2#(12#(44)))-(2)

Rule-46
type: Imp
has rule category: (12#(4#(5)4)2#(12#(44)))-(2)
body: ClassAtom
  class predicate: SecurityBinding
  argument1: PSecB
body: IndividualPropertyAtom
  property predicate: hasSecBProperty
  argument1: PSecB
  argument2: PSecBProp
body: DatavaluedPropertyAtom
  property predicate: hasQName
  argument2: PSecBPropName
  argument1: PSecBProp
body: DatavaluedPropertyAtom
  property predicate: hasValue
  argument2: true
  argument1: PSecBProp
body: ClassAtom
  class predicate: SecurityBinding
  argument1: RSecB
body: IndividualPropertyAtom
  argument1: PSecB
  argument2: RSecB
  property predicate: hasAnalogComponent
body: IndividualPropertyAtom
  argument1: RSecB
  property predicate: hasSecBProperty
  argument2: RSecBProp
body: DatavaluedPropertyAtom
  property predicate: hasQName
  argument1: RSecBProp
  argument2: RSecBPropName
body: DatavaluedPropertyAtom
  argument1: RSecBProp
  argument2: false
  property predicate: hasValue
body: BuiltinAtom
  arguments: PSecBPropName
  arguments: RSecBPropName
  builtin: equal
is rule enabled: false
head: IndividualPropertyAtom
  argument2: RSecBProp
  argument1: PSecBProp
  property predicate: isStrongerThan
comment: PSecBBooleanPropStronger

Rule-48
type: Imp
comment: ProtecOrderStronger
is rule enabled: false
has rule category: (12#(4)2#(12#(4)))^(5)-(2)
body: ClassAtom
  argument1: PSecB
  class predicate: SecurityBinding
body: IndividualPropertyAtom
  property predicate: hasTokenProtection
  argument1: PSecB
  argument2: PProtecOrder
body: DatavaluedPropertyAtom
  argument1: PProtecOrder
  argument2: SignBeforeEncrypting
  property predicate: hasValue
body: ClassAtom
  class predicate: SecurityBinding
  argument1: RSecB
body: IndividualPropertyAtom
  argument2: RSecB
  argument1: PSecB
  property predicate: hasAnalogComponent
body: IndividualPropertyAtom
  property predicate: hasProtectionOrder
  argument2: RProtecOrder
  argument1: RSecB
body: DatavaluedPropertyAtom
  argument1: RProtecOrder
  argument2: EncryptBeforeSigning
  property predicate: hasValue
body: BuiltinAtom
  arguments: PSecBName
  arguments: RSecBName
  builtin: equal
head: IndividualPropertyAtom
  argument2: RProtecOrder
  argument1: PProtecOrder
  property predicate: isStrongerThan

Rule-87
type: Imp
comment: decideSemanticCorrespondence
body: ClassAtom
  argument1: provSP
  class predicate: SecurityPolicy
body: DatavaluedPropertyAtom
  argument1: provSP
  argument2: Provider
  property predicate: hasOwner
body: ClassAtom
  class predicate: SecurityPolicy
  argument1: reqSP
body: DatavaluedPropertyAtom
  property predicate: hasOwner
  argument2: Requestor
  argument1: reqSP
is rule enabled: false
head: BuiltinAtom
  builtin: decideSPMatchingDegree
  arguments: provSP
  arguments: reqSP

Rule-86
type: Imp
comment: matchAlternatives
head: BuiltinAtom
  arguments: PSecAlt
  arguments: RSecAlt
  builtin: matchAlternatives
body: ClassAtom
  class predicate: SecurityAlternative
  argument1: PSecAlt
body: DatavaluedPropertyAtom
  argument2: Provider
  argument1: PSecAlt
  property predicate: hasOwner
body: ClassAtom
  class predicate: SecurityAlternative
  argument1: RSecAlt
body: DatavaluedPropertyAtom
  argument2: Requestor
  argument1: RSecAlt
  property predicate: hasOwner
is rule enabled: false

Rule-89
type: Imp
is rule enabled: false
body: ClassAtom
  class predicate: SecurityAssertion
  argument1: PSecAss
body: IndividualPropertyAtom
  property predicate: hasProperty
  argument1: PSecAss
  argument2: PSecAssProp
body: ClassAtom
  argument1: RSecAss
  class predicate: SecurityAssertion
body: IndividualPropertyAtom
  property predicate: hasProperty
  argument1: RSecAss
  argument2: RSecAssProp
body: IndividualPropertyAtom
  property predicate: isDiffFrom
  argument2: RSecAssProp
  argument1: PSecAssProp
head: IndividualPropertyAtom
  argument1: PSecAss
  argument2: RSecAss
  property predicate: isDiffFrom
comment: SecAssisDiffFrom

Rule-88
type: Imp
is rule enabled: false
body: ClassAtom
  argument1: PSecAss
  class predicate: SecurityAssertion
body: DatavaluedPropertyAtom
  property predicate: hasOwner
  argument2: Provider
  argument1: PSecAss
body: DatavaluedPropertyAtom
  property predicate: hasQName
  argument2: PSecAssName
  argument1: PSecAss
body: ClassAtom
  argument1: RSecAss
  class predicate: SecurityAssertion
body: DatavaluedPropertyAtom
  argument1: RSecAss
  argument2: Requestor
  property predicate: hasOwner
body: DatavaluedPropertyAtom
  argument2: RSecAssName
  argument1: RSecAss
  property predicate: hasQName
body: BuiltinAtom
  builtin: equal
  arguments: PSecAssName
  arguments: RSecAssName
comment: SecurityAssertionhasAnalogSecurityAssertion
head: IndividualPropertyAtom
  argument2: RSecAss
  argument1: PSecAss

Rule-50
type: Imp
head: IndividualPropertyAtom
  argument1: PHLay
  argument2: RHLay
  property predicate: hasTechDiffWith
is rule enabled: false
body: ClassAtom
  class predicate: SecurityBinding
  argument1: PSecB
body: IndividualPropertyAtom
  argument1: PSecB
  property predicate: hasLayout
  argument2: PHLay
body: DatavaluedPropertyAtom
  argument2: PHLayValue
  argument1: PHLay
  property predicate: hasValue
body: ClassAtom
  class predicate: SecurityBinding
  argument1: RSecB
body: IndividualPropertyAtom
  argument1: PSecB
  argument2: RSecB
  property predicate: hasAnalogComponent
body: IndividualPropertyAtom
  argument1: RSecB
  argument2: RHLay
  property predicate: hasLayout
body: DatavaluedPropertyAtom
  property predicate: hasValue
  argument2: RHLayValue
  argument1: RHLay
body: BuiltinAtom
  arguments: PHLayValue
  arguments: RHLayValue
  builtin: notEqual
comment: HeaderLayHasTechDiff
has rule category: (12#(4#(5))2#(12#(4)))-(2)

Rule-11
type: Imp
comment: SecTokNonceProperty-isStronger
head: IndividualPropertyAtom
  property predicate: isStrongerThan
  argument1: provProp
  argument2: reqProp
is rule enabled: false
body: ClassAtom
  class predicate: SecurityToken
  argument1: provSecTok
body: IndividualPropertyAtom
  property predicate: hasNonce
  argument1: provSecTok
  argument2: provProp
body: DatavaluedPropertyAtom
  argument1: provProp
  argument2: true
  property predicate: hasValue
body: ClassAtom
  class predicate: SecurityToken
  argument1: reqSecTok
body: IndividualPropertyAtom
  argument2: reqSecTok
  argument1: provSecTok
  property predicate: hasAnalogComponent
body: IndividualPropertyAtom
  argument2: reqProp
  argument1: reqSecTok
  property predicate: hasNonce
body: DatavaluedPropertyAtom
  argument2: false
  argument1: reqProp
  property predicate: hasValue

Rule-2
type: Imp
head: IndividualPropertyAtom
  property predicate: hasTechDiffWith
  argument2: reqTechProp
  argument1: provTechProp
body: ClassAtom
  argument1: provSecTok
  class predicate: SecurityToken
body: IndividualPropertyAtom
  argument2: provTechProp
  argument1: provSecTok
  property predicate: hasSecTokTechnicalProperty
body: DatavaluedPropertyAtom
  property predicate: hasValue
  argument1: provTechProp
  argument2: provTechPropValue
body: ClassAtom
  argument1: reqSecTok
  class predicate: SecurityToken
body: IndividualPropertyAtom
  property predicate: hasAnalogComponent
  argument2: reqSecTok
  argument1: provSecTok
body: IndividualPropertyAtom
  argument2: reqTechProp
  argument1: reqSecTok
  property predicate: hasSecTokTechnicalProperty
body: DatavaluedPropertyAtom
  argument2: reqTechPropValue
  argument1: reqTechProp
  property predicate: hasValue
body: BuiltinAtom
  arguments: provTechPropValue
  arguments: reqTechPropValue
  builtin: notEqual
has rule category: (12#(4#(5))2#(12#(4)))-(2)^(2)
comment: SecTok-provTechPropertyhasTechDiffWithreqTechProperty
is rule enabled: false

Rule-51
type: Imp
comment: SecTokPasswdType-isWeaker1
head: IndividualPropertyAtom
  property predicate: isWeakerThan
  argument2: reqProp
  argument1: provProp
body: ClassAtom
  class predicate: SecurityToken
  argument1: provSecTok
body: IndividualPropertyAtom
  property predicate: hasPasswordType
  argument2: provProp
  argument1: provSecTok
body: DatavaluedPropertyAtom
  argument1: provProp
  argument2: NoPassword
  property predicate: hasValue
body: ClassAtom
  class predicate: SecurityToken
  argument1: reqSecTok
body: IndividualPropertyAtom
  argument2: reqSecTok
  argument1: provSecTok
  property predicate: hasAnalogComponent
body: IndividualPropertyAtom
  argument1: reqSecTok
  property predicate: hasPasswordType
  argument2: reqProp
body: DatavaluedPropertyAtom
  argument1: reqProp
  argument2: HashPassword
  property predicate: hasValue
is rule enabled: false

Rule-10
type: Imp
is rule enabled: false
head: IndividualPropertyAtom
  argument1: provProp
  argument2: reqProp
  property predicate: isWeakerThan
comment: SecTokDKExistence-isWeaker
body: ClassAtom
  class predicate: SecurityToken
  argument1: provSecTok
body: IndividualPropertyAtom
  property predicate: hasDKExistence
  argument1: provSecTok
  argument2: provProp
body: DatavaluedPropertyAtom
  argument1: provProp
  argument2: false
  property predicate: hasValue
body: ClassAtom
  argument1: reqSecTok
  class predicate: SecurityToken
body: IndividualPropertyAtom
  property predicate: hasAnalogComponent
  argument2: reqSecTok
  argument1: provSecTok
body: IndividualPropertyAtom
  property predicate: hasDKExistence
  argument2: reqProp
  argument1: reqSecTok
body: DatavaluedPropertyAtom
  argument1: reqProp
  argument2: true
  property predicate: hasValue

Rule-93
type: Imp
body: ClassAtom
  argument1: PSecAss
  class predicate: SecurityAssertion
body: ClassAtom
  class predicate: SecurityAssertion
  argument1: RSecAss
body: IndividualPropertyAtom
  property predicate: hasAnalogComponent
  argument1: PSecAss
  argument2: RSecAss
is rule enabled: false
head: BuiltinAtom
  builtin: generateSemanticCorrespondences
  arguments: PSecAss
  arguments: RSecAss
  arguments: true
comment: enerate semantic correspondences at the level of the assertions

Rule-3
type: Imp
is rule enabled: false
body: ClassAtom
  class predicate: SecurityToken
  argument1: provSecTok
body: IndividualPropertyAtom
  argument1: provSecTok
  argument2: provProp
  property predicate: hasSecTokSecurityNonComparableProperty
body: DatavaluedPropertyAtom
  argument1: provProp
  argument2: provPropName
  property predicate: hasQName
body: DatavaluedPropertyAtom
  argument1: provProp
  argument2: provPropValue
  property predicate: hasValue
body: ClassAtom
  argument1: reqSecTok
  class predicate: SecurityToken
body: IndividualPropertyAtom
  argument1: provSecTok
  argument2: reqSecTok
  property predicate: hasAnalogComponent
body: IndividualPropertyAtom
  property predicate: hasSecTokSecurityNonComparableProperty
  argument1: reqSecTok
  argument2: reqProp
body: DatavaluedPropertyAtom
  argument1: reqProp
  argument2: reqPropName
  property predicate: hasQName
body: DatavaluedPropertyAtom
  property predicate: hasValue
  argument1: reqProp
  argument2: reqPropValue
body: BuiltinAtom
  arguments: provPropName
  arguments: reqPropName
  builtin: equal
body: BuiltinAtom
  builtin: notEqual
  arguments: provPropValue
  arguments: reqPropValue
comment: SecTok-PsecTokPropIsDiffFromRSecTokProp: two security token properties which are not technical properties and which have different values are considered different
head: IndividualPropertyAtom
  argument2: reqProp
  argument1: provProp
  property predicate: isDiffFrom
head: IndividualPropertyAtom
  property predicate: hasADiffProperty
  argument1: provSecTok
  argument2: reqSecTok
has rule category: (12#(4#(5)4#(5)5)2#(12#(44)))-(2)^(2)

Rule-52
type: Imp
body: ClassAtom
  class predicate: SecurityToken
  argument1: provSecTok
body: IndividualPropertyAtom
  property predicate: hasPasswordType
  argument2: provProp
  argument1: provSecTok
body: DatavaluedPropertyAtom
  argument2: clearTextPassword
  argument1: provProp
  property predicate: hasValue
body: ClassAtom
  argument1: reqSecTok
  class predicate: SecurityToken
body: IndividualPropertyAtom
  property predicate: hasAnalogComponent
  argument2: reqSecTok
  argument1: provSecTok
body: IndividualPropertyAtom
  argument2: reqProp
  argument1: reqSecTok
  property predicate: hasPasswordType
body: DatavaluedPropertyAtom
  argument1: reqProp
  argument2: HashPassword
  property predicate: hasValue
is rule enabled: false
head: IndividualPropertyAtom
  argument2: reqProp
  argument1: provProp
  property predicate: isWeakerThan
comment: SecTokPasswdType-isWeaker2

Rule-14
type: Imp
head: IndividualPropertyAtom
  property predicate: hasAnalogComponent
  argument1: PAlgS
  argument2: RAlgS
comment: PAlgShasAnalogAlgS
has rule category: (122#(12))-(2)
body: ClassAtom
  argument1: PSecB
  class predicate: SecurityBinding
body: IndividualPropertyAtom
  property predicate: hasAlgS
  argument1: PSecB
  argument2: PAlgS
body: ClassAtom
  argument1: RSecB
  class predicate: SecurityBinding
body: IndividualPropertyAtom
  property predicate: hasAlgS
  argument1: RSecB
  argument2: RAlgS
body: IndividualPropertyAtom
  argument1: PSecB
  argument2: RSecB
  property predicate: hasAnalogComponent
is rule enabled: false

Rule-13
type: Imp
comment: SecTokPasswdType-isStronger1
head: IndividualPropertyAtom
  argument2: reqProp
  argument1: provProp
  property predicate: isStrongerThan
body: ClassAtom
  class predicate: SecurityToken
  argument1: provSecTok
body: IndividualPropertyAtom
  argument1: provSecTok
  property predicate: hasPasswordType
  argument2: provProp
body: DatavaluedPropertyAtom
  property predicate: hasValue
  argument1: provProp
  argument2: HashPassword
body: ClassAtom
  class predicate: SecurityToken
  argument1: reqSecTok
body: IndividualPropertyAtom
  property predicate: hasAnalogComponent
  argument1: provSecTok
  argument2: reqSecTok
body: IndividualPropertyAtom
  property predicate: hasPasswordType
  argument2: reqProp
  argument1: reqSecTok
body: DatavaluedPropertyAtom
  property predicate: hasValue
  argument1: reqProp
  argument2: NoPassword
is rule enabled: false

Rule-4
type: Imp
comment: SecTokCreatedProperty-isStronger
is rule enabled: false
body: ClassAtom
  argument1: provSecTok
  class predicate: SecurityToken
body: IndividualPropertyAtom
  argument1: provSecTok
  argument2: provProp
  property predicate: hasCreated
body: DatavaluedPropertyAtom
  property predicate: hasValue
  argument1: provProp
  argument2: true
body: ClassAtom
  argument1: reqSecTok
  class predicate: SecurityToken
body: IndividualPropertyAtom
  argument1: provSecTok
  argument2: reqSecTok
  property predicate: hasAnalogComponent
body: IndividualPropertyAtom
  argument2: reqProp
  argument1: reqSecTok
  property predicate: hasCreated
body: DatavaluedPropertyAtom
  argument2: false
  argument1: reqProp
  property predicate: hasValue
head: IndividualPropertyAtom
  property predicate: isStrongerThan
  argument1: provProp
  argument2: reqProp

Rule-53
type: Imp
body: ClassAtom
  argument1: provSecTok
  class predicate: SecurityToken
body: IndividualPropertyAtom
  property predicate: hasSecTokProperty
  argument2: provProp
  argument1: provSecTok
body: DatavaluedPropertyAtom
  property predicate: hasQName
  argument1: provProp
  argument2: provPropName
body: DatavaluedPropertyAtom
  property predicate: hasValue
  argument2: provPropValue
  argument1: provProp
body: ClassAtom
  class predicate: SecurityToken
  argument1: reqSecTok
body: IndividualPropertyAtom
  argument2: reqSecTok
  argument1: provSecTok
  property predicate: hasAnalogComponent
body: IndividualPropertyAtom
  argument2: reqProp
  argument1: reqSecTok
  property predicate: hasSecTokProperty
body: DatavaluedPropertyAtom
  argument2: reqPropName
  argument1: reqProp
  property predicate: hasQName
body: DatavaluedPropertyAtom
  property predicate: hasValue
  argument2: reqPropValue
  argument1: reqProp
body: BuiltinAtom
  arguments: provPropValue
  arguments: reqPropValue
  builtin: equal
body: BuiltinAtom
  builtin: equal
  arguments: provPropName
  arguments: reqPropName
is rule enabled: false
comment: SecTokProperty-isIdenticalOrEquivalentTo
head: IndividualPropertyAtom
  property predicate: isIdenticalOrEquivalentTo
  argument2: reqProp
  argument1: provProp

Rule-12
type: Imp
body: ClassAtom
  class predicate: SecurityToken
  argument1: provSecTok
body: IndividualPropertyAtom
  property predicate: hasNonce
  argument1: provSecTok
  argument2: provProp
body: DatavaluedPropertyAtom
  property predicate: hasValue
  argument2: false
  argument1: provProp
body: ClassAtom
  class predicate: SecurityToken
  argument1: reqSecTok
body: IndividualPropertyAtom
  argument2: reqSecTok
  argument1: provSecTok
  property predicate: hasAnalogComponent
body: IndividualPropertyAtom
  argument2: reqProp
  argument1: reqSecTok
  property predicate: hasNonce
body: DatavaluedPropertyAtom
  property predicate: hasValue
  argument1: reqProp
  argument2: true
is rule enabled: false
head: IndividualPropertyAtom
  argument2: reqProp
  argument1: provProp
  property predicate: isWeakerThan
comment: SecTokNonceProperty-isWeaker

Rule-5
type: Imp
head: IndividualPropertyAtom
  property predicate: isWeakerThan
  argument2: reqProp
  argument1: provProp
comment: SecTokCreatedProperty-isWeaker
is rule enabled: false
body: ClassAtom
  argument1: provSecTok
  class predicate: SecurityToken
body: IndividualPropertyAtom
  property predicate: hasCreated
  argument2: provProp
  argument1: provSecTok
body: DatavaluedPropertyAtom
  property predicate: hasValue
  argument2: false
  argument1: provProp
body: ClassAtom
  argument1: reqSecTok
  class predicate: SecurityToken
body: IndividualPropertyAtom
  property predicate: hasAnalogComponent
  argument2: reqSecTok
  argument1: provSecTok
body: IndividualPropertyAtom
  argument1: reqSecTok
  argument2: reqProp
  property predicate: hasCreated
body: DatavaluedPropertyAtom
  property predicate: hasValue
  argument1: reqProp
  argument2: true

Rule-91
type: Imp
comment: PSecBBooleanPropStrongerNewVersion
head: ClassAtom
  class predicate: SemanticCorrespondence
  argument1: c
head: IndividualPropertyAtom
  argument1: c
  argument2: PSecBProp
  property predicate: hasSourceComponent
head: IndividualPropertyAtom
  argument2: RSecBProp
  argument1: c
  property predicate: hasDestinationComponent
head: DatavaluedPropertyAtom
  argument1: c
  argument2: isStrongerThan
  property predicate: QualitativeValue
head: DatavaluedPropertyAtom
  argument2: 0.75
  argument1: c
  property predicate: NumericalValue
is rule enabled: false
body: ClassAtom
  argument1: PSecB
  class predicate: SecurityBinding
body: IndividualPropertyAtom
  argument2: PSecBProp
  property predicate: hasProperty
  argument1: PSecB
body: DatavaluedPropertyAtom
  property predicate: hasValue
  argument1: PSecBProp
  argument2: true
body: ClassAtom
  class predicate: SecurityBinding
  argument1: RSecB
body: IndividualPropertyAtom
  property predicate: hasProperty
  argument2: RSecBProp
  argument1: RSecB
body: DatavaluedPropertyAtom
  property predicate: hasValue
  argument2: false
  argument1: RSecBProp
body: IndividualPropertyAtom
  argument1: PSecBProp
  property predicate: hasAnalogComponent
  argument2: RSecBProp
body: BuiltinAtom
  builtin: makeOWLIndividual
  arguments: c
  arguments: SemanticCorrespondence

Rule-16
type: Imp
has rule category: (12#(12#(4))2#(4))-(2)
body: ClassAtom
  argument1: PAlgS
  class predicate: AlgorithmSuite
body: ClassAtom
  argument1: RAlgS
  class predicate: AlgorithmSuite
body: IndividualPropertyAtom
  argument2: RAlgS
  argument1: PAlgS
  property predicate: hasAnalogComponent
body: IndividualPropertyAtom
  property predicate: hasEncryption
  argument1: PAlgS
  argument2: PEnc
body: DatavaluedPropertyAtom
  property predicate: hasValue
  argument1: PEnc
  argument2: Aes192
body: IndividualPropertyAtom
  argument2: REnc
  argument1: RAlgS
  property predicate: hasEncryption
body: DatavaluedPropertyAtom
  property predicate: hasValue
  argument2: Aes128
  argument1: REnc
is rule enabled: false
head: IndividualPropertyAtom
  argument2: REnc
  argument1: PEnc
  property predicate: isStrongerThan
comment: EncStronger2

Rule-54
type: Imp
body: ClassAtom
  class predicate: ProtectionScope
  argument1: PProtecScope
body: DatavaluedPropertyAtom
  property predicate: hasOwner
  argument1: PProtecScope
  argument2: Provider
body: IndividualPropertyAtom
  property predicate: hasSecurityScope
  argument1: PProtecScope
  argument2: PSecScope
body: DatavaluedPropertyAtom
  argument2: PSecScopeName
  argument1: PSecScope
  property predicate: hasQName
body: ClassAtom
  class predicate: ProtectionScope
  argument1: RProtecScope
body: DatavaluedPropertyAtom
  argument1: RProtecScope
  argument2: Requestor
  property predicate: hasOwner
body: IndividualPropertyAtom
  argument1: RProtecScope
  argument2: RSecScope
  property predicate: hasSecurityScope
body: DatavaluedPropertyAtom
  argument2: RSecScopeName
  argument1: RSecScope
  property predicate: hasQName
body: BuiltinAtom
  arguments: PSecScopeName
  arguments: RSecScopeName
  builtin: equal
head: IndividualPropertyAtom
  argument1: PSecScope
  property predicate: hasAnalogComponent
  argument2: RSecScope
is rule enabled: false
comment: SecScopeHasAnalogScope
has rule category: (12#(4)4)^(12#(4#(5))4)-(2)

Rule-15
type: Imp
is rule enabled: false
has rule category: (12#(12#(4))2#(4))-(2)
comment: EncStronger1
body: ClassAtom
  class predicate: AlgorithmSuite
  argument1: PAlgS
body: ClassAtom
  class predicate: AlgorithmSuite
  argument1: RAlgS
body: IndividualPropertyAtom
  property predicate: hasAnalogComponent
  argument2: RAlgS
  argument1: PAlgS
body: IndividualPropertyAtom
  property predicate: hasEncryption
  argument2: PEnc
  argument1: PAlgS
body: DatavaluedPropertyAtom
  argument2: Aes256
  argument1: PEnc
  property predicate: hasValue
body: IndividualPropertyAtom
  property predicate: hasEncryption
  argument2: REnc
  argument1: RAlgS
body: DatavaluedPropertyAtom
  argument1: REnc
  argument2: Aes192
  property predicate: hasValue
head: IndividualPropertyAtom
  argument2: REnc
  argument1: PEnc
  property predicate: isStrongerThan

Rule-55
type: Imp
is rule enabled: false
head: ClassAtom
  argument1: c
  class predicate: SemanticCorrespondence
head: IndividualPropertyAtom
  property predicate: hasSourceComponent
  argument1: c
  argument2: PSecB
head: IndividualPropertyAtom
  property predicate: hasDestinationComponent
  argument1: c
  argument2: RSecB
head: DatavaluedPropertyAtom
  property predicate: QualitativeValue
  argument1: c
  argument2: isDiffFrom
has rule category: (12#(2))^(12)-(2)
comment: SecBisDiffFrom1
body: ClassAtom
  class predicate: SecurityBinding
  argument1: PSecB
body: IndividualPropertyAtom
  property predicate: hasSecBProperty
  argument2: PSecBProp
  argument1: PSecB
body: ClassAtom
  class predicate: SecurityBinding
  argument1: RSecB
body: IndividualPropertyAtom
  property predicate: hasSecBProperty
  argument2: RSecBProp
  argument1: RSecB
body: IndividualPropertyAtom
  property predicate: isDiffFrom
  argument2: RSecBProp
  argument1: PSecBProp
body: BuiltinAtom
  builtin: makeOWLIndividual
  arguments: c
  arguments: SemanticCorrespondence

Rule-18
type: Imp
comment: EncStronger4
has rule category: (12#(12#(4))2#(4))-(2)
is rule enabled: false
head: IndividualPropertyAtom
  property predicate: isStrongerThan
  argument2: REnc
  argument1: PEnc
body: ClassAtom
  argument1: PAlgS
  class predicate: AlgorithmSuite
body: ClassAtom
  argument1: RAlgS
  class predicate: AlgorithmSuite
body: IndividualPropertyAtom
  argument1: PAlgS
  argument2: RAlgS
  property predicate: hasAnalogComponent
body: IndividualPropertyAtom
  property predicate: hasEncryption
  argument1: PAlgS
  argument2: PEnc
body: DatavaluedPropertyAtom
  argument2: Aes256
  argument1: PEnc
  property predicate: hasValue
body: IndividualPropertyAtom
  property predicate: hasEncryption
  argument1: RAlgS
  argument2: REnc
body: DatavaluedPropertyAtom
  property predicate: hasValue
  argument1: REnc
  argument2: Aes128

Rule-56
type: Imp
is rule enabled: false
comment: SecBisDiffFrom2
head: ClassAtom
  argument1: c
  class predicate: SemanticCorrespondence
head: IndividualPropertyAtom
  property predicate: hasSourceComponent
  argument1: c
  argument2: PSecB
head: IndividualPropertyAtom
  property predicate: hasDestinationComponent
  argument2: RSecB
  argument1: c
head: DatavaluedPropertyAtom
  argument2: isDiffFrom
  argument1: c
  property predicate: QualitativeValue
has rule category: (12#(1)5)-(2)
body: ClassAtom
  argument1: PSecB
  class predicate: SecurityBinding
body: IndividualPropertyAtom
  argument1: PSecB
  argument2: PSecBProp
  property predicate: hasSecBProperty
body: ClassAtom
  class predicate: SecurityBinding
  argument1: RSecB
body: IndividualPropertyAtom
  argument1: RSecB
  argument2: RSecBProp
  property predicate: hasSecBProperty
body: ClassAtom
  class predicate: SemanticCorrespondence
  argument1: cor
body: IndividualPropertyAtom
  property predicate: hasSourceComponent
  argument2: PSecBProp
  argument1: cor
body: IndividualPropertyAtom
  argument1: cor
  argument2: RSecBProp
  property predicate: hasDestinationComponent
body: DatavaluedPropertyAtom
  argument2: isDiffFrom
  argument1: cor
  property predicate: QualitativeValue
body: BuiltinAtom
  arguments: c
  arguments: SemanticCorrespondence
  builtin: makeOWLIndividual

Rule-0
type: Imp
is rule enabled: false
comment: PSecBhasAnalogComponent
head: IndividualPropertyAtom
  property predicate: hasAnalogComponent
  argument2: RSecB
  argument1: PSecB
body: ClassAtom
  class predicate: SecurityBinding
  argument1: PSecB
body: DatavaluedPropertyAtom
  argument1: PSecB
  argument2: Provider
  property predicate: hasOwner
body: DatavaluedPropertyAtom
  argument2: PSecBName
  argument1: PSecB
  property predicate: hasQName
body: ClassAtom
  class predicate: SecurityBinding
  argument1: RSecB
body: DatavaluedPropertyAtom
  argument1: RSecB
  argument2: Requestor
  property predicate: hasOwner
body: DatavaluedPropertyAtom
  property predicate: hasQName
  argument2: RSecBName
  argument1: RSecB
body: BuiltinAtom
  arguments: PSecBName
  arguments: RSecBName
  builtin: equal
has rule category: (144#(5))^(144)-(2)

Rule-94
type: Imp
comment: generate semantic correspondences at the level of alternatives
body: ClassAtom
  class predicate: SecurityAlternative
  argument1: PSecAlt
body: ClassAtom
  class predicate: SecurityAlternative
  argument1: RSecAlt
body: IndividualPropertyAtom
  argument2: RSecAlt
  argument1: PSecAlt
  property predicate: hasAnalogComponent
head: BuiltinAtom
  builtin: generateSemanticCorrespondences
  arguments: PSecAlt
  arguments: RSecAlt
  arguments: false
is rule enabled: false

Rule-17
type: Imp
body: ClassAtom
  argument1: PAlgS
  class predicate: AlgorithmSuite
body: ClassAtom
  class predicate: AlgorithmSuite
  argument1: RAlgS
body: IndividualPropertyAtom
  argument2: RAlgS
  argument1: PAlgS
  property predicate: hasAnalogComponent
body: IndividualPropertyAtom
  argument1: PAlgS
  argument2: PEnc
  property predicate: hasEncryption
body: DatavaluedPropertyAtom
  argument1: PEnc
  argument2: Aes128
  property predicate: hasValue
body: IndividualPropertyAtom
  property predicate: hasEncryption
  argument2: REnc
  argument1: RAlgS
body: DatavaluedPropertyAtom
  property predicate: hasValue
  argument1: REnc
  argument2: TripleDes
head: IndividualPropertyAtom
  argument2: REnc
  argument1: PEnc
  property predicate: isStrongerThan
comment: EncStronger3
has rule category: (12#(12#(4))2#(4))-(2)
is rule enabled: false

Rule-57
type: Imp
body: ClassAtom
  argument1: PSecB
  class predicate: MessageSecurityBinding
body: DatavaluedPropertyAtom
  property predicate: hasOwner
  argument2: Provider
  argument1: PSecB
body: DatavaluedPropertyAtom
  argument2: PSecBName
  argument1: PSecB
  property predicate: hasQName
body: ClassAtom
  class predicate: MessageSecurityBinding
  argument1: RSecB
body: DatavaluedPropertyAtom
  property predicate: hasOwner
  argument2: Requestor
  argument1: RSecB
body: DatavaluedPropertyAtom
  argument2: RSecBName
  argument1: RSecB
  property predicate: hasQName
body: BuiltinAtom
  builtin: notEqual
  arguments: PSecBName
  arguments: RSecBName
body: BuiltinAtom
  builtin: makeOWLIndividual
  arguments: c
  arguments: SemanticCorrespondence
comment: SecBisDiffFrom3
is rule enabled: false
head: ClassAtom
  argument1: c
  class predicate: SemanticCorrespondence
head: IndividualPropertyAtom
  argument1: c
  argument2: PSecB
  property predicate: hasSourceComponent
head: IndividualPropertyAtom
  argument1: c
  argument2: RSecB
  property predicate: hasDestinationComponent
head: DatavaluedPropertyAtom
  property predicate: QualitativeValue
  argument1: c
  argument2: isDiffFrom
head: DatavaluedPropertyAtom
  argument1: c
  argument2: 0
  property predicate: NumericalValue

Rule-1
type: Imp
comment: PsecTokinPSecBhasAnalogSecTok
head: IndividualPropertyAtom
  argument2: reqSecTok
  argument1: provSecTok
  property predicate: hasAnalogComponent
has rule category: (12#(4#(5)4#(5))2#(12#(44)))-(2)
body: ClassAtom
  argument1: PSecB
  class predicate: SecurityBinding
body: IndividualPropertyAtom
  argument1: PSecB
  argument2: provSecTok
  property predicate: hasSecToken
body: DatavaluedPropertyAtom
  property predicate: hasQName
  argument1: provSecTok
  argument2: provSecTokName
body: DatavaluedPropertyAtom
  property predicate: hasTokenRole
  argument1: provSecTok
  argument2: provSecTokRole
body: ClassAtom
  class predicate: SecurityBinding
  argument1: RSecB
body: IndividualPropertyAtom
  property predicate: hasSecToken
  argument1: RSecB
  argument2: reqSecTok
body: DatavaluedPropertyAtom
  argument2: reqSecTokName
  argument1: reqSecTok
  property predicate: hasQName
body: DatavaluedPropertyAtom
  argument2: reqSecTokRole
  argument1: reqSecTok
  property predicate: hasTokenRole
body: IndividualPropertyAtom
  argument1: PSecB
  argument2: RSecB
  property predicate: hasAnalogComponent
body: BuiltinAtom
  arguments: provSecTokName
  arguments: reqSecTokName
  builtin: equal
body: BuiltinAtom
  builtin: equal
  arguments: provSecTokRole
  arguments: reqSecTokRole
is rule enabled: false

Rule-58
type: Imp
body: ClassAtom
  class predicate: SecurityScope
  argument1: PSecScope
body: IndividualPropertyAtom
  argument1: PSecScope
  argument2: PProtectedPart
  property predicate: hasProtectedPart
body: IndividualPropertyAtom
  argument2: PProtectedPartType
  property predicate: hasPartType
  argument1: PProtectedPart
body: DatavaluedPropertyAtom
  argument2: Body
  argument1: PProtectedPartType
  property predicate: hasValue
body: ClassAtom
  argument1: RSecScope
  class predicate: SecurityScope
body: IndividualPropertyAtom
  argument1: PSecScope
  argument2: RSecScope
  property predicate: hasAnalogComponent
body: IndividualPropertyAtom
  property predicate: hasProtectedElt
  argument1: RSecScope
  argument2: RProtectedElt
body: IndividualPropertyAtom
  property predicate: hasXPathValue
  argument1: RProtectedElt
  argument2: RXPathV
body: DatavaluedPropertyAtom
  property predicate: hasValue
  argument2: /Envelope/Body
  argument1: RXPathV
head: IndividualPropertyAtom
  property predicate: isIdenticalOrEquivalentTo
  argument2: RProtectedElt
  argument1: PProtectedPart
comment: PPartisEqToRElt1
is rule enabled: false
has rule category: (12#(2#(4))2#(12#(2#(4))))-(2#(2#(2))2)

Rule-95
type: Imp
head: BuiltinAtom
  arguments: PSP
  arguments: RSP
  builtin: decideSPSemanticCorrespondence
comment: SPSemanticCorrespondence
body: ClassAtom
  argument1: PSP
  class predicate: SecurityPolicy
body: ClassAtom
  argument1: RSP
  class predicate: SecurityPolicy
body: IndividualPropertyAtom
  property predicate: hasAnalogComponent
  argument1: PSP
  argument2: RSP
is rule enabled: false

Rule-59
type: Imp
comment: PPartisEqToRElt2
has rule category: (12#(2#(4)2#(4)2#(4))2#(12#(2#(4#(5)))))-(2#(2#(2))2)
is rule enabled: false
body: ClassAtom
  argument1: PSecScope
  class predicate: SecurityScope
body: IndividualPropertyAtom
  property predicate: hasProtectedPart
  argument1: PSecScope
  argument2: PProtectedPart
body: IndividualPropertyAtom
  property predicate: hasPartType
  argument1: PProtectedPart
  argument2: PProtectedPartType
body: DatavaluedPropertyAtom
  argument2: Header
  argument1: PProtectedPartType
  property predicate: hasValue
body: IndividualPropertyAtom
  property predicate: hasHeaderNameSpace
  argument2: PProtectedHeaderNs
  argument1: PProtectedPart
body: DatavaluedPropertyAtom
  property predicate: hasValue
  argument1: PProtectedHeaderNs
  argument2: PProtectedHeaderNsV
body: IndividualPropertyAtom
  property predicate: hasHeaderName
  argument2: PProtectedHeaderName
  argument1: PProtectedPart
body: DatavaluedPropertyAtom
  property predicate: hasValue
  argument2: PProtectedHeaderNameV
  argument1: PProtectedHeaderName
body: ClassAtom
  argument1: RSecScope
  class predicate: SecurityScope
body: IndividualPropertyAtom
  property predicate: hasAnalogComponent
  argument2: RSecScope
  argument1: PSecScope
body: IndividualPropertyAtom
  property predicate: hasProtectedElt
  argument2: RProtectedElt
  argument1: RSecScope
body: IndividualPropertyAtom
  argument2: RXPathV
  argument1: RProtectedElt
  property predicate: hasXPathValue
body: DatavaluedPropertyAtom
  property predicate: hasValue
  argument2: REltPathV
  argument1: RXPathV
body: BuiltinAtom
  arguments: REltPathV
  arguments: PProtectedHeaderNsV
  arguments: PProtectedHeaderNameV
  builtin: equalHeader
head: IndividualPropertyAtom
  argument2: RProtectedElt
  argument1: PProtectedPart
  property predicate: isIdenticalOrEquivalentTo

Rule-6
type: Imp
is rule enabled: false
head: ClassAtom
  argument1: c
  class predicate: SemanticCorrespondence
head: IndividualPropertyAtom
  property predicate: hasSourceComponent
  argument1: c
  argument2: provSecTok
head: IndividualPropertyAtom
  property predicate: hasDestinationComponent
  argument1: c
  argument2: reqSecTok
head: DatavaluedPropertyAtom
  property predicate: QualitativeValue
  argument2: isDiffFrom
  argument1: c
comment: SecTokIsDiffFrom1
has rule category: (12#(1))-(2)
body: ClassAtom
  class predicate: SecurityToken
  argument1: provSecTok
body: ClassAtom
  class predicate: SecurityToken
  argument1: reqSecTok
body: IndividualPropertyAtom
  argument2: reqSecTok
  property predicate: hasADiffProperty
  argument1: provSecTok
body: BuiltinAtom
  arguments: c
  arguments: SemanticCorrespondence
  builtin: makeOWLIndividual

Rule-7
type: Imp
body: ClassAtom
  class predicate: SecurityBinding
  argument1: PSecB
body: IndividualPropertyAtom
  property predicate: hasSecToken
  argument2: provSecTok
  argument1: PSecB
body: DatavaluedPropertyAtom
  argument1: provSecTok
  argument2: provSecTokRole
  property predicate: hasTokenRole
body: DatavaluedPropertyAtom
  property predicate: hasQName
  argument1: provSecTok
  argument2: provSecTokName
body: ClassAtom
  argument1: RSecB
  class predicate: SecurityBinding
body: IndividualPropertyAtom
  property predicate: hasAnalogComponent
  argument1: PSecB
  argument2: RSecB
body: IndividualPropertyAtom
  property predicate: hasSecToken
  argument2: reqSecTok
  argument1: RSecB
body: DatavaluedPropertyAtom
  property predicate: hasTokenRole
  argument2: reqSecTokRole
  argument1: reqSecTok
body: DatavaluedPropertyAtom
  argument1: reqSecTok
  argument2: reqSecTokName
  property predicate: hasQName
body: BuiltinAtom
  arguments: provSecTokRole
  arguments: reqSecTokRole
  builtin: equal
body: BuiltinAtom
  arguments: provSecTokName
  arguments: reqSecTokName
  builtin: notEqual
body: BuiltinAtom
  builtin: makeOWLIndividual
  arguments: c
  arguments: SemanticCorrespondence
head: ClassAtom
  argument1: c
  class predicate: SemanticCorrespondence
head: IndividualPropertyAtom
  argument2: provSecTok
  argument1: c
  property predicate: hasSourceComponent
head: IndividualPropertyAtom
  argument1: c
  argument2: reqSecTok
  property predicate: hasDestinationComponent
head: DatavaluedPropertyAtom
  property predicate: QualitativeValue
  argument2: isDiffFrom
  argument1: c
head: DatavaluedPropertyAtom
  property predicate: NumericalValue
  argument1: c
  argument2: 0
is rule enabled: false
comment: SecTokIsDiffFrom2: two security token assertions that haven't the same qname are considered different.
has rule category: (12#(4#(5)4#(5))2#(12#(44)))-(2)

Rule-8
type: Imp
body: ClassAtom
  class predicate: SecurityBinding
  argument1: PSecB
body: IndividualPropertyAtom
  property predicate: hasSecToken
  argument2: provSecTok
  argument1: PSecB
body: DatavaluedPropertyAtom
  property predicate: hasTokenRole
  argument2: provSecTokRole
  argument1: provSecTok
body: ClassAtom
  argument1: RSecB
  class predicate: SecurityBinding
body: IndividualPropertyAtom
  property predicate: hasAnalogComponent
  argument2: RSecB
  argument1: PSecB
body: IndividualPropertyAtom
  argument1: RSecB
  argument2: reqSecTok
  property predicate: hasSecToken
body: DatavaluedPropertyAtom
  property predicate: hasTokenRole
  argument1: reqSecTok
  argument2: reqSecTokRole
body: BuiltinAtom
  arguments: provSecTokRole
  arguments: reqSecTokRole
  builtin: notEqual
body: BuiltinAtom
  arguments: c
  arguments: SemanticCorrespondence
  builtin: makeOWLIndividual
has rule category: (12#(1)5)-(2)
comment: SecTokIsDiffFrom3
head: ClassAtom
  argument1: c
  class predicate: SemanticCorrespondence
head: IndividualPropertyAtom
  argument2: provSecTok
  argument1: c
  property predicate: hasSourceComponent
head: IndividualPropertyAtom
  argument1: c
  argument2: reqSecTok
  property predicate: hasDestinationComponent
head: DatavaluedPropertyAtom
  argument1: c
  argument2: isDiffFrom
  property predicate: QualitativeValue
head: DatavaluedPropertyAtom
  argument2: 0
  argument1: c
  property predicate: NumericalValue
is rule enabled: false

Rule-9
type: Imp
head: IndividualPropertyAtom
  property predicate: isStrongerThan
  argument1: provProp
  argument2: reqProp
comment: SecTokDKExistence-isStronger
is rule enabled: false
body: ClassAtom
  class predicate: SecurityToken
  argument1: provSecTok
body: IndividualPropertyAtom
  property predicate: hasDKExistence
  argument1: provSecTok
  argument2: provProp
body: DatavaluedPropertyAtom
  argument2: true
  argument1: provProp
  property predicate: hasValue
body: ClassAtom
  argument1: reqSecTok
  class predicate: SecurityToken
body: IndividualPropertyAtom
  property predicate: hasAnalogComponent
  argument2: reqSecTok
  argument1: provSecTok
body: IndividualPropertyAtom
  argument1: reqSecTok
  argument2: reqProp
  property predicate: hasDKExistence
body: DatavaluedPropertyAtom
  property predicate: hasValue
  argument2: false
  argument1: reqProp

Rule-69
type: Imp
body: ClassAtom
  argument1: PSecScope
  class predicate: SecurityScope
body: IndividualPropertyAtom
  argument1: PSecScope
  argument2: PProtectedElt
  property predicate: hasProtectedElt
body: IndividualPropertyAtom
  property predicate: hasXPathValue
  argument2: PXPathV
  argument1: PProtectedElt
body: DatavaluedPropertyAtom
  property predicate: hasValue
  argument1: PXPathV
  argument2: PEltPathV
body: ClassAtom
  class predicate: SecurityScope
  argument1: RSecScope
body: IndividualPropertyAtom
  property predicate: hasAnalogComponent
  argument2: RSecScope
  argument1: PSecScope
body: IndividualPropertyAtom
  property predicate: hasProtectedElt
  argument2: RProtectedElt
  argument1: RSecScope
body: IndividualPropertyAtom
  argument2: RXPathV
  property predicate: hasXPathValue
  argument1: RProtectedElt
body: DatavaluedPropertyAtom
  argument1: RXPathV
  argument2: REltPathV
  property predicate: hasValue
body: BuiltinAtom
  builtin: startsWith
  arguments: REltPathV
  arguments: PEltPathV
body: BuiltinAtom
  builtin: notEqual
  arguments: PEltPathV
  arguments: REltPathV
comment: PEltIsLargerThanRElt
has rule category: (12#(2#(4)5)2#(12#(2#(4#(5)))))-(2#(2#(2))2)
is rule enabled: false
head: IndividualPropertyAtom
  property predicate: isLargerThan
  argument1: PProtectedElt
  argument2: RProtectedElt

Rule-68
type: Imp
is rule enabled: false
comment: PEltIsIdenticalToRElt
head: IndividualPropertyAtom
  argument2: RProtectedElt
  argument1: PProtectedElt
  property predicate: isIdenticalOrEquivalentTo
body: ClassAtom
  class predicate: SecurityScope
  argument1: PSecScope
body: IndividualPropertyAtom
  argument1: PSecScope
  argument2: PProtectedElt
  property predicate: hasProtectedElt
body: IndividualPropertyAtom
  argument2: PXPathV
  argument1: PProtectedElt
  property predicate: hasXPathValue
body: DatavaluedPropertyAtom
  argument2: PEltPathV
  argument1: PXPathV
  property predicate: hasValue
body: ClassAtom
  argument1: RSecScope
  class predicate: SecurityScope
body: IndividualPropertyAtom
  property predicate: hasAnalogComponent
  argument2: RSecScope
  argument1: PSecScope
body: IndividualPropertyAtom
  argument2: RProtectedElt
  argument1: RSecScope
  property predicate: hasProtectedElt
body: IndividualPropertyAtom
  property predicate: hasXPathValue
  argument2: RXPathV
  argument1: RProtectedElt
body: DatavaluedPropertyAtom
  argument1: RXPathV
  argument2: REltPathV
  property predicate: hasValue
body: BuiltinAtom
  arguments: PEltPathV
  arguments: REltPathV
  builtin: equal
has rule category: (12#(2#(4#(5)))2#(12#(2#(4))))-(2#(2)2)

Rule-29
type: Imp
comment: AsymKWStronger
is rule enabled: false
body: ClassAtom
  class predicate: AlgorithmSuite
  argument1: PAlgS
body: IndividualPropertyAtom
  argument2: PAsimKW
  argument1: PAlgS
  property predicate: hasAsymKW
body: DatavaluedPropertyAtom
  property predicate: hasValue
  argument1: PAsimKW
  argument2: KwRsaOaep
body: ClassAtom
  class predicate: AlgorithmSuite
  argument1: RAlgS
body: IndividualPropertyAtom
  property predicate: hasAnalogComponent
  argument1: PAlgS
  argument2: RAlgS
body: IndividualPropertyAtom
  argument1: RAlgS
  argument2: RAsimKW
  property predicate: hasAsymKW
body: DatavaluedPropertyAtom
  property predicate: hasValue
  argument2: KwRsa15
  argument1: RAsimKW
has rule category: (12#(4)2#(12#(4)))-(2)
head: IndividualPropertyAtom
  argument2: RAsimKW
  argument1: PAsimKW
  property predicate: isStrongerThan

Rule-66
type: Imp
comment: PPartisIdenticalToRPart1
is rule enabled: false
body: ClassAtom
  class predicate: SecurityScope
  argument1: PSecScope
body: IndividualPropertyAtom
  argument2: PProtectedPart
  argument1: PSecScope
  property predicate: hasProtectedPart
body: IndividualPropertyAtom
  property predicate: hasPartType
  argument2: PProtectedPartType
  argument1: PProtectedPart
body: DatavaluedPropertyAtom
  property predicate: hasValue
  argument2: Body
  argument1: PProtectedPartType
body: ClassAtom
  class predicate: SecurityScope
  argument1: RSecScope
body: IndividualPropertyAtom
  property predicate: hasAnalogComponent
  argument1: PSecScope
  argument2: RSecScope
body: IndividualPropertyAtom
  property predicate: hasProtectedPart
  argument2: RProtectedPart
  argument1: RSecScope
body: IndividualPropertyAtom
  property predicate: hasPartType
  argument1: RProtectedPart
  argument2: RProtectedPartType
body: DatavaluedPropertyAtom
  argument1: RProtectedPartType
  argument2: Body
  property predicate: hasValue
has rule category: (12#(2#(4))2#(12#(2#(4))))-(2#(2)2)
head: IndividualPropertyAtom
  argument2: RProtectedPart
  argument1: PProtectedPart
  property predicate: isIdenticalOrEquivalentTo

Rule-28
type: Imp
head: IndividualPropertyAtom
  property predicate: isStrongerThan
  argument2: RDig
  argument1: PDig
body: ClassAtom
  argument1: PAlgS
  class predicate: AlgorithmSuite
body: ClassAtom
  argument1: RAlgS
  class predicate: AlgorithmSuite
body: IndividualPropertyAtom
  property predicate: hasAnalogComponent
  argument1: PAlgS
  argument2: RAlgS
body: IndividualPropertyAtom
  argument2: PDig
  argument1: PAlgS
  property predicate: hasDigest
body: DatavaluedPropertyAtom
  argument2: Sha256
  argument1: PDig
  property predicate: hasValue
body: IndividualPropertyAtom
  property predicate: hasDigest
  argument1: RAlgS
  argument2: RDig
body: DatavaluedPropertyAtom
  property predicate: hasValue
  argument1: RDig
  argument2: Sha1
is rule enabled: false
comment: DigestStronger
has rule category: (12#(12#(4))2#(4))-(2)

Rule-67
type: Imp
is rule enabled: false
has rule category: (12#(2#(4)2#(4#(5))2#(4#(5)))2#(12#(2#(4)2#(4)2#(4))))-(2#(2)2)
head: IndividualPropertyAtom
  property predicate: isIdenticalOrEquivalentTo
  argument2: RProtectedPart
  argument1: PProtectedPart
body: ClassAtom
  argument1: PSecScope
  class predicate: SecurityScope
body: IndividualPropertyAtom
  property predicate: hasProtectedPart
  argument2: PProtectedPart
  argument1: PSecScope
body: IndividualPropertyAtom
  property predicate: hasPartType
  argument2: PProtectedPartType
  argument1: PProtectedPart
body: DatavaluedPropertyAtom
  argument1: PProtectedPartType
  argument2: Header
  property predicate: hasValue
body: IndividualPropertyAtom
  argument2: PProtectedHeaderNs
  argument1: PProtectedPart
  property predicate: hasHeaderNameSpace
body: DatavaluedPropertyAtom
  property predicate: hasValue
  argument1: PProtectedHeaderNs
  argument2: PProtectedHeaderNsV
body: IndividualPropertyAtom
  argument2: PProtectedHeaderName
  argument1: PProtectedPart
  property predicate: hasHeaderName
body: DatavaluedPropertyAtom
  argument2: PProtectedHeaderNameV
  property predicate: hasValue
  argument1: PProtectedHeaderName
body: ClassAtom
  class predicate: SecurityScope
  argument1: RSecScope
body: IndividualPropertyAtom
  argument2: RSecScope
  argument1: PSecScope
  property predicate: hasAnalogComponent
body: IndividualPropertyAtom
  property predicate: hasProtectedPart
  argument1: RSecScope
  argument2: RProtectedPart
body: IndividualPropertyAtom
  property predicate: hasPartType
  argument1: RProtectedPart
  argument2: RProtectedPartType
body: DatavaluedPropertyAtom
  property predicate: hasValue
  argument2: Header
  argument1: RProtectedPartType
body: IndividualPropertyAtom
  argument1: RProtectedPart
  argument2: RProtectedHeaderNs
  property predicate: hasHeaderNameSpace
body: DatavaluedPropertyAtom
  property predicate: hasValue
  argument1: RProtectedHeaderNs
  argument2: RProtectedHeaderNsV
body: IndividualPropertyAtom
  property predicate: hasHeaderName
  argument1: RProtectedPart
  argument2: RProtectedHeaderName
body: DatavaluedPropertyAtom
  argument1: RProtectedHeaderName
  argument2: RProtectedHeaderNameV
  property predicate: hasValue
body: BuiltinAtom
  arguments: PProtectedHeaderNsV
  arguments: RProtectedHeaderNsV
  builtin: equal
body: BuiltinAtom
  arguments: PProtectedHeaderNameV
  arguments: RProtectedHeaderNameV
  builtin: equal
comment: PPartisIdenticalToRPart2

Rule-27
type: Imp
has rule category: (12#(12#(4))2#(4))-(2)
is rule enabled: false
body: ClassAtom
  argument1: PAlgS
  class predicate: AlgorithmSuite
body: ClassAtom
  class predicate: AlgorithmSuite
  argument1: RAlgS
body: IndividualPropertyAtom
  argument2: RAlgS
  argument1: PAlgS
  property predicate: hasAnalogComponent
body: IndividualPropertyAtom
  property predicate: hasDigest
  argument2: PDig
  argument1: PAlgS
body: DatavaluedPropertyAtom
  argument1: PDig
  property predicate: hasValue
  argument2: Sha1
body: IndividualPropertyAtom
  argument1: RAlgS
  argument2: RDig
  property predicate: hasDigest
body: DatavaluedPropertyAtom
  property predicate: hasValue
  argument1: RDig
  argument2: Sha256
comment: DigestWeaker
head: IndividualPropertyAtom
  argument1: PDig
  property predicate: isWeakerThan
  argument2: RDig

Rule-26
type: Imp
is rule enabled: false
has rule category: (12#(12#(4))2#(4))-(2)
comment: EncWeaker6
head: IndividualPropertyAtom
  property predicate: isWeakerThan
  argument1: PEnc
  argument2: REnc
body: ClassAtom
  argument1: PAlgS
  class predicate: AlgorithmSuite
body: ClassAtom
  class predicate: AlgorithmSuite
  argument1: RAlgS
body: IndividualPropertyAtom
  property predicate: hasAnalogComponent
  argument1: PAlgS
  argument2: RAlgS
body: IndividualPropertyAtom
  property predicate: hasEncryption
  argument1: PAlgS
  argument2: PEnc
body: DatavaluedPropertyAtom
  property predicate: hasValue
  argument2: TripleDes
  argument1: PEnc
body: IndividualPropertyAtom
  argument1: RAlgS
  argument2: REnc
  property predicate: hasEncryption
body: DatavaluedPropertyAtom
  property predicate: hasValue
  argument1: REnc
  argument2: Aes256

Rule-64
type: Imp
comment: PEltisSmallerThanRPart1
has rule category: (12#(12#(2#(4)))2#(2#(4#(5))))-(2#(2#(2))2)
head: IndividualPropertyAtom
  argument2: RProtectedPart
  argument1: PProtectedElt
  property predicate: isSmallerThan
body: ClassAtom
  argument1: RSecScope
  class predicate: SecurityScope
body: IndividualPropertyAtom
  argument2: RProtectedPart
  argument1: RSecScope
  property predicate: hasProtectedPart
body: IndividualPropertyAtom
  property predicate: hasPartType
  argument2: RProtectedPartType
  argument1: RProtectedPart
body: DatavaluedPropertyAtom
  argument2: Body
  property predicate: hasValue
  argument1: RProtectedPartType
body: ClassAtom
  class predicate: SecurityScope
  argument1: PSecScope
body: IndividualPropertyAtom
  property predicate: hasAnalogComponent
  argument2: RSecScope
  argument1: PSecScope
body: IndividualPropertyAtom
  argument1: PSecScope
  argument2: PProtectedElt
  property predicate: hasProtectedElt
body: IndividualPropertyAtom
  argument2: PXPathV
  argument1: PProtectedElt
  property predicate: hasXPathValue
body: DatavaluedPropertyAtom
  property predicate: hasValue
  argument1: PXPathV
  argument2: PEltPathV
body: BuiltinAtom
  arguments: PEltPathV
  arguments: /Envelope/Body/
  builtin: startsWith
is rule enabled: false

Rule-24
type: Imp
body: ClassAtom
  class predicate: AlgorithmSuite
  argument1: PAlgS
body: ClassAtom
  argument1: RAlgS
  class predicate: AlgorithmSuite
body: IndividualPropertyAtom
  property predicate: hasAnalogComponent
  argument1: PAlgS
  argument2: RAlgS
body: IndividualPropertyAtom
  property predicate: hasEncryption
  argument2: PEnc
  argument1: PAlgS
body: DatavaluedPropertyAtom
  property predicate: hasValue
  argument1: PEnc
  argument2: Aes192
body: IndividualPropertyAtom
  property predicate: hasEncryption
  argument1: RAlgS
  argument2: REnc
body: DatavaluedPropertyAtom
  argument2: Aes256
  argument1: REnc
  property predicate: hasValue
comment: EncWeaker4
is rule enabled: false
head: IndividualPropertyAtom
  property predicate: isWeakerThan
  argument2: REnc
  argument1: PEnc
has rule category: (12#(12#(4))2#(4))-(2)

Rule-25
type: Imp
has rule category: (12#(12#(4))2#(4))-(2)
head: IndividualPropertyAtom
  argument2: REnc
  argument1: PEnc
  property predicate: isWeakerThan
is rule enabled: false
body: ClassAtom
  class predicate: AlgorithmSuite
  argument1: PAlgS
body: ClassAtom
  class predicate: AlgorithmSuite
  argument1: RAlgS
body: IndividualPropertyAtom
  property predicate: hasAnalogComponent
  argument2: RAlgS
  argument1: PAlgS
body: IndividualPropertyAtom
  argument2: PEnc
  argument1: PAlgS
  property predicate: hasEncryption
body: DatavaluedPropertyAtom
  property predicate: hasValue
  argument1: PEnc
  argument2: TripleDes
body: IndividualPropertyAtom
  property predicate: hasEncryption
  argument2: REnc
  argument1: RAlgS
body: DatavaluedPropertyAtom
  property predicate: hasValue
  argument1: REnc
  argument2: Aes192
comment: EncWeaker5

Rule-65
type: Imp
head: IndividualPropertyAtom
  property predicate: isSmallerThan
  argument1: PProtectedElt
  argument2: RProtectedPart
comment: PEltisSmallerThanRPart2
body: ClassAtom
  class predicate: SecurityScope
  argument1: RSecScope
body: IndividualPropertyAtom
  property predicate: hasProtectedPart
  argument2: RProtectedPart
  argument1: RSecScope
body: IndividualPropertyAtom
  argument2: RProtectedPartType
  argument1: RProtectedPart
  property predicate: hasPartType
body: DatavaluedPropertyAtom
  argument1: RProtectedPartType
  property predicate: hasValue
  argument2: Header
body: IndividualPropertyAtom
  argument1: RProtectedPart
  property predicate: hasHeaderNameSpace
  argument2: RProtectedHeaderNs
body: DatavaluedPropertyAtom
  property predicate: hasValue
  argument2: RProtectedHeaderNsV
  argument1: RProtectedHeaderNs
body: IndividualPropertyAtom
  property predicate: hasHeaderName
  argument1: RProtectedPart
  argument2: RProtectedHeaderName
body: DatavaluedPropertyAtom
  property predicate: hasValue
  argument1: RProtectedHeaderName
  argument2: RProtectedHeaderNameV
body: ClassAtom
  argument1: PSecScope
  class predicate: SecurityScope
body: IndividualPropertyAtom
  property predicate: hasAnalogComponent
  argument2: RSecScope
  argument1: PSecScope
body: IndividualPropertyAtom
  argument2: PProtectedElt
  argument1: PSecScope
  property predicate: hasProtectedElt
body: IndividualPropertyAtom
  property predicate: hasXPathValue
  argument1: PProtectedElt
  argument2: PXPathV
body: DatavaluedPropertyAtom
  property predicate: hasValue
  argument2: PEltPathV
  argument1: PXPathV
body: BuiltinAtom
  builtin: isHeaderSubElement
  arguments: PEltPathV
  arguments: RProtectedHeaderNsV
  arguments: RProtectedHeaderNameV
has rule category: (12#(12#(2#(4)2#(4)2#(4)))2#(2#(4#(5))))-(2#(2#(2))2)
is rule enabled: false

Rule-23
type: Imp
has rule category: (12#(12#(4))2#(4))-(2)
head: IndividualPropertyAtom
  argument1: PEnc
  property predicate: isWeakerThan
  argument2: REnc
body: ClassAtom
  class predicate: AlgorithmSuite
  argument1: PAlgS
body: ClassAtom
  argument1: RAlgS
  class predicate: AlgorithmSuite
body: IndividualPropertyAtom
  property predicate: hasAnalogComponent
  argument1: PAlgS
  argument2: RAlgS
body: IndividualPropertyAtom
  property predicate: hasEncryption
  argument1: PAlgS
  argument2: PEnc
body: DatavaluedPropertyAtom
  argument2: TripleDes
  argument1: PEnc
  property predicate: hasValue
body: IndividualPropertyAtom
  property predicate: hasEncryption
  argument1: RAlgS
  argument2: REnc
body: DatavaluedPropertyAtom
  argument2: Aes128
  argument1: REnc
  property predicate: hasValue
comment: EncWeaker3
is rule enabled: false

Rule-62
type: Imp
is rule enabled: false
body: ClassAtom
  argument1: RSecScope
  class predicate: SecurityScope
body: IndividualPropertyAtom
  property predicate: hasProtectedPart
  argument2: RProtectedPart
  argument1: RSecScope
body: IndividualPropertyAtom
  argument2: RProtectedPartType
  argument1: RProtectedPart
  property predicate: hasPartType
body: DatavaluedPropertyAtom
  argument2: Body
  argument1: RProtectedPartType
  property predicate: hasValue
body: ClassAtom
  argument1: PSecScope
  class predicate: SecurityScope
body: IndividualPropertyAtom
  argument2: RSecScope
  argument1: PSecScope
  property predicate: hasAnalogComponent
body: IndividualPropertyAtom
  property predicate: hasProtectedElt
  argument1: PSecScope
  argument2: PProtectedElt
body: IndividualPropertyAtom
  property predicate: hasXPathValue
  argument1: PProtectedElt
  argument2: PXPathV
body: DatavaluedPropertyAtom
  argument2: /Envelope/Body
  argument1: PXPathV
  property predicate: hasValue
has rule category: (12#(12#(2#(4)))2#(2#(4)))-(2#(2#(2))2)
comment: PEltisEqToRPart1
head: IndividualPropertyAtom
  argument2: RProtectedPart
  argument1: PProtectedElt
  property predicate: isIdenticalOrEquivalentTo

Rule-22
type: Imp
comment: EncWeaker2
is rule enabled: false
has rule category: (12#(12#(4))2#(4))-(2)
body: ClassAtom
  class predicate: AlgorithmSuite
  argument1: PAlgS
body: ClassAtom
  argument1: RAlgS
  class predicate: AlgorithmSuite
body: IndividualPropertyAtom
  property predicate: hasAnalogComponent
  argument1: PAlgS
  argument2: RAlgS
body: IndividualPropertyAtom
  property predicate: hasEncryption
  argument1: PAlgS
  argument2: PEnc
body: DatavaluedPropertyAtom
  property predicate: hasValue
  argument2: Aes128
  argument1: PEnc
body: IndividualPropertyAtom
  argument2: REnc
  argument1: RAlgS
  property predicate: hasEncryption
body: DatavaluedPropertyAtom
  property predicate: hasValue
  argument1: REnc
  argument2: Aes192
head: IndividualPropertyAtom
  property predicate: isWeakerThan
  argument2: REnc
  argument1: PEnc

Rule-63
type: Imp
is rule enabled: false
head: IndividualPropertyAtom
  argument1: PProtectedElt
  argument2: RProtectedPart
  property predicate: isIdenticalOrEquivalentTo
has rule category: (12#(12#(2#(4)2#(4)2#(4)))2#(2#(4#(5))))-(2#(2#(2))2)
body: ClassAtom
  class predicate: SecurityScope
  argument1: RSecScope
body: IndividualPropertyAtom
  argument1: RSecScope
  argument2: RProtectedPart
  property predicate: hasProtectedPart
body: IndividualPropertyAtom
  argument1: RProtectedPart
  argument2: RProtectedPartType
  property predicate: hasPartType
body: DatavaluedPropertyAtom
  argument1: RProtectedPartType
  argument2: Header
  property predicate: hasValue
body: IndividualPropertyAtom
  argument2: RProtectedHeaderNs
  property predicate: hasHeaderNameSpace
  argument1: RProtectedPart
body: DatavaluedPropertyAtom
  property predicate: hasValue
  argument2: RProtectedHeaderNsV
  argument1: RProtectedHeaderNs
body: IndividualPropertyAtom
  argument2: RProtectedHeaderName
  argument1: RProtectedPart
  property predicate: hasHeaderName
body: DatavaluedPropertyAtom
  property predicate: hasValue
  argument1: RProtectedHeaderName
  argument2: RProtectedHeaderNameV
body: ClassAtom
  argument1: PSecScope
  class predicate: SecurityScope
body: IndividualPropertyAtom
  property predicate: hasAnalogComponent
  argument2: RSecScope
  argument1: PSecScope
body: IndividualPropertyAtom
  property predicate: hasProtectedElt
  argument1: PSecScope
  argument2: PProtectedElt
body: IndividualPropertyAtom
  property predicate: hasXPathValue
  argument1: PProtectedElt
  argument2: PXPathV
body: DatavaluedPropertyAtom
  argument1: PXPathV
  argument2: PEltPathV
  property predicate: hasValue
body: BuiltinAtom
  builtin: equalHeader
  arguments: PEltPathV
  arguments: RProtectedHeaderNsV
  arguments: RProtectedHeaderNameV
comment: PEltisEqToRPart2

Rule-21
type: Imp
head: IndividualPropertyAtom
  argument2: REnc
  argument1: PEnc
  property predicate: isWeakerThan
comment: EncWeaker1
has rule category: (12#(12#(4))2#(4))-(2)
body: ClassAtom
  argument1: PAlgS
  class predicate: AlgorithmSuite
body: ClassAtom
  class predicate: AlgorithmSuite
  argument1: RAlgS
body: IndividualPropertyAtom
  property predicate: hasAnalogComponent
  argument2: RAlgS
  argument1: PAlgS
body: IndividualPropertyAtom
  property predicate: hasEncryption
  argument1: PAlgS
  argument2: PEnc
body: DatavaluedPropertyAtom
  property predicate: hasValue
  argument1: PEnc
  argument2: Aes128
body: IndividualPropertyAtom
  property predicate: hasEncryption
  argument2: REnc
  argument1: RAlgS
body: DatavaluedPropertyAtom
  argument2: Aes256
  argument1: REnc
  property predicate: hasValue
is rule enabled: false

Rule-20
type: Imp
comment: EncStronger6
head: IndividualPropertyAtom
  property predicate: isStrongerThan
  argument2: REnc
  argument1: PEnc
body: ClassAtom
  class predicate: AlgorithmSuite
  argument1: PAlgS
body: ClassAtom
  argument1: RAlgS
  class predicate: AlgorithmSuite
body: IndividualPropertyAtom
  argument2: RAlgS
  argument1: PAlgS
  property predicate: hasAnalogComponent
body: IndividualPropertyAtom
  property predicate: hasEncryption
  argument1: PAlgS
  argument2: PEnc
body: DatavaluedPropertyAtom
  property predicate: hasValue
  argument1: PEnc
  argument2: Aes192
body: IndividualPropertyAtom
  argument1: RAlgS
  argument2: REnc
  property predicate: hasEncryption
body: DatavaluedPropertyAtom
  property predicate: hasValue
  argument2: TripleDes
  argument1: REnc
is rule enabled: false
has rule category: (12#(12#(4))2#(4))-(2)

Rule-61
type: Imp
is rule enabled: false
comment: PPartisLargerThanRElt2
body: ClassAtom
  class predicate: SecurityScope
  argument1: PSecScope
body: IndividualPropertyAtom
  argument1: PSecScope
  property predicate: hasProtectedPart
  argument2: PProtectedPart
body: IndividualPropertyAtom
  property predicate: hasPartType
  argument2: PProtectedPartType
  argument1: PProtectedPart
body: DatavaluedPropertyAtom
  argument1: PProtectedPartType
  argument2: Header
  property predicate: hasValue
body: IndividualPropertyAtom
  property predicate: hasHeaderNameSpace
  argument1: PProtectedPart
  argument2: PProtectedHeaderNs
body: DatavaluedPropertyAtom
  property predicate: hasValue
  argument1: PProtectedHeaderNs
  argument2: PProtectedHeaderNsV
body: IndividualPropertyAtom
  argument2: PProtectedHeaderName
  argument1: PProtectedPart
  property predicate: hasHeaderName
body: DatavaluedPropertyAtom
  argument1: PProtectedHeaderName
  argument2: PProtectedHeaderNameV
  property predicate: hasValue
body: ClassAtom
  class predicate: SecurityScope
  argument1: RSecScope
body: IndividualPropertyAtom
  argument2: RSecScope
  argument1: PSecScope
  property predicate: hasAnalogComponent
body: IndividualPropertyAtom
  property predicate: hasProtectedElt
  argument2: RProtectedElt
  argument1: RSecScope
body: IndividualPropertyAtom
  property predicate: hasXPathValue
  argument2: RXPathV
  argument1: RProtectedElt
body: DatavaluedPropertyAtom
  argument2: REltPathV
  argument1: RXPathV
  property predicate: hasValue
body: BuiltinAtom
  arguments: REltPathV
  arguments: PProtectedHeaderNsV
  arguments: PProtectedHeaderNameV
  builtin: isHeaderSubElement
head: IndividualPropertyAtom
  argument2: RProtectedElt
  argument1: PProtectedPart
  property predicate: isLargerThan
has rule category: (12#(2#(4)2#(4)2#(4))2#(12#(2#(4#(5)))))-(2#(2#(2))2)

Rule-60
type: Imp
has rule category: (12#(2#(4))2#(12#(2#(4#(5)))))-(2#(2#(2))2)
head: IndividualPropertyAtom
  argument1: PProtectedPart
  argument2: RProtectedElt
  property predicate: isLargerThan
body: ClassAtom
  argument1: PSecScope
  class predicate: SecurityScope
body: IndividualPropertyAtom
  argument1: PSecScope
  property predicate: hasProtectedPart
  argument2: PProtectedPart
body: IndividualPropertyAtom
  argument1: PProtectedPart
  argument2: PProtectedPartType
  property predicate: hasPartType
body: DatavaluedPropertyAtom
  argument1: PProtectedPartType
  argument2: Body
  property predicate: hasValue
body: ClassAtom
  argument1: RSecScope
  class predicate: SecurityScope
body: IndividualPropertyAtom
  property predicate: hasAnalogComponent
  argument2: RSecScope
  argument1: PSecScope
body: IndividualPropertyAtom
  property predicate: hasProtectedElt
  argument1: RSecScope
  argument2: RProtectedElt
body: IndividualPropertyAtom
  property predicate: hasXPathValue
  argument1: RProtectedElt
  argument2: RXPathV
body: DatavaluedPropertyAtom
  argument1: RXPathV
  argument2: REltPathV
  property predicate: hasValue
body: BuiltinAtom
  arguments: REltPathV
  arguments: /Envelope/Body/
  builtin: startsWith
is rule enabled: false
comment: PPartisLargerThanRElt1

Rule-19
type: Imp
head: IndividualPropertyAtom
  argument1: PEnc
  property predicate: isStrongerThan
  argument2: REnc
comment: EncStronger5
has rule category: (12#(12#(4))2#(4))-(2)
is rule enabled: false
body: ClassAtom
  class predicate: AlgorithmSuite
  argument1: PAlgS
body: ClassAtom
  argument1: RAlgS
  class predicate: AlgorithmSuite
body: IndividualPropertyAtom
  argument2: RAlgS
  argument1: PAlgS
  property predicate: hasAnalogComponent
body: IndividualPropertyAtom
  argument1: PAlgS
  argument2: PEnc
  property predicate: hasEncryption
body: DatavaluedPropertyAtom
  property predicate: hasValue
  argument2: Aes256
  argument1: PEnc
body: IndividualPropertyAtom
  property predicate: hasEncryption
  argument2: REnc
  argument1: RAlgS
body: DatavaluedPropertyAtom
  property predicate: hasValue
  argument2: TripleDes
  argument1: REnc

Rule-39
type: Imp
comment: SymKWStronger
head: IndividualPropertyAtom
  argument2: RSimKW
  argument1: PSimKW
  property predicate: isStrongerThan
body: ClassAtom
  class predicate: AlgorithmSuite
  argument1: PAlgS
body: IndividualPropertyAtom
  argument2: PEnc
  argument1: PAlgS
  property predicate: hasEncryption
body: IndividualPropertyAtom
  argument1: PAlgS
  property predicate: hasSymKW
  argument2: PSimKW
body: ClassAtom
  class predicate: AlgorithmSuite
  argument1: RAlgS
body: IndividualPropertyAtom
  argument1: PAlgS
  argument2: RAlgS
  property predicate: hasAnalogComponent
body: IndividualPropertyAtom
  argument1: RAlgS
  argument2: RSimKW
  property predicate: hasSymKW
body: IndividualPropertyAtom
  property predicate: hasEncryption
  argument2: REnc
  argument1: RAlgS
body: IndividualPropertyAtom
  property predicate: isStrongerThan
  argument1: PEnc
  argument2: REnc
is rule enabled: false
has rule category: (12#(2)22#(122))-(2)

Rule-35
type: Imp
comment: EncKDWeaker2
head: IndividualPropertyAtom
  property predicate: isWeakerThan
  argument2: REncKeyd
  argument1: PEncKeyd
body: ClassAtom
  argument1: PAlgS
  class predicate: AlgorithmSuite
body: IndividualPropertyAtom
  property predicate: hasEncKD
  argument2: PEncKeyd
  argument1: PAlgS
body: DatavaluedPropertyAtom
  argument2: PSha1L128
  argument1: PEncKeyd
  property predicate: hasValue
body: ClassAtom
  argument1: RAlgS
  class predicate: AlgorithmSuite
body: IndividualPropertyAtom
  property predicate: hasAnalogComponent
  argument2: RAlgS
  argument1: PAlgS
body: IndividualPropertyAtom
  property predicate: hasEncKD
  argument1: RAlgS
  argument2: REncKeyd
body: DatavaluedPropertyAtom
  argument2: PSha1L192
  argument1: REncKeyd
  property predicate: hasValue
is rule enabled: false
has rule category: (12#(4)2#(12#(4)))-(2)

Rule-36
type: Imp
comment: EncKDWeaker3
body: ClassAtom
  class predicate: AlgorithmSuite
  argument1: PAlgS
body: IndividualPropertyAtom
  property predicate: hasEncKD
  argument2: PEncKeyd
  argument1: PAlgS
body: DatavaluedPropertyAtom
  property predicate: hasValue
  argument2: PSha1L192
  argument1: PEncKeyd
body: ClassAtom
  class predicate: AlgorithmSuite
  argument1: RAlgS
body: IndividualPropertyAtom
  argument2: RAlgS
  argument1: PAlgS
  property predicate: hasAnalogComponent
body: IndividualPropertyAtom
  argument1: RAlgS
  argument2: REncKeyd
  property predicate: hasEncKD
body: DatavaluedPropertyAtom
  property predicate: hasValue
  argument1: REncKeyd
  argument2: PSha1L256
has rule category: (12#(4)2#(12#(4)))-(2)
is rule enabled: false
head: IndividualPropertyAtom
  argument1: PEncKeyd
  argument2: REncKeyd
  property predicate: isWeakerThan

Rule-34
type: Imp
has rule category: (12#(4)2#(12#(4)))-(2)
is rule enabled: false
head: IndividualPropertyAtom
  property predicate: isWeakerThan
  argument2: REncKeyd
  argument1: PEncKeyd
body: ClassAtom
  argument1: PAlgS
  class predicate: AlgorithmSuite
body: IndividualPropertyAtom
  property predicate: hasEncKD
  argument1: PAlgS
  argument2: PEncKeyd
body: DatavaluedPropertyAtom
  argument2: PSha1L128
  argument1: PEncKeyd
  property predicate: hasValue
body: ClassAtom
  argument1: RAlgS
  class predicate: AlgorithmSuite
body: IndividualPropertyAtom
  property predicate: hasAnalogComponent
  argument2: RAlgS
  argument1: PAlgS
body: IndividualPropertyAtom
  property predicate: hasEncKD
  argument1: RAlgS
  argument2: REncKeyd
body: DatavaluedPropertyAtom
  property predicate: hasValue
  argument1: REncKeyd
  argument2: PSha1L256
comment: EncKDWeaker1

X509Token req
type: X509Token
has owner: Requestor
has q name: X509Token
has token role: ProtectionToken

Rule-38
type: Imp
is rule enabled: false
has rule category: (122#(12#(4)))^(4)-(2)
head: IndividualPropertyAtom
  argument1: PSignKeyd
  property predicate: isWeakerThan
  argument2: RSignKeyd
comment: SignKDWeaker
body: ClassAtom
  class predicate: AlgorithmSuite
  argument1: PAlgS
body: IndividualPropertyAtom
  property predicate: hasSigKD
  argument1: PAlgS
  argument2: PSignKeyd
body: DatavaluedPropertyAtom
  argument1: PEncKeyd
  argument2: PSha1L128
  property predicate: hasValue
body: ClassAtom
  class predicate: AlgorithmSuite
  argument1: RAlgS
body: IndividualPropertyAtom
  property predicate: hasAnalogComponent
  argument2: RAlgS
  argument1: PAlgS
body: IndividualPropertyAtom
  argument1: RAlgS
  argument2: RSignKeyd
  property predicate: hasSigKD
body: DatavaluedPropertyAtom
  argument1: RSignKeyd
  argument2: PSha1L192
  property predicate: hasValue

Rule-37
type: Imp
head: IndividualPropertyAtom
  argument1: PSignKeyd
  argument2: RSignKeyd
  property predicate: isStrongerThan
has rule category: (122#(12#(4)))^(4)-(2)
is rule enabled: false
body: ClassAtom
  class predicate: AlgorithmSuite
  argument1: PAlgS
body: IndividualPropertyAtom
  property predicate: hasSigKD
  argument1: PAlgS
  argument2: PSignKeyd
body: DatavaluedPropertyAtom
  argument1: PEncKeyd
  argument2: PSha1L192
  property predicate: hasValue
body: ClassAtom
  argument1: RAlgS
  class predicate: AlgorithmSuite
body: IndividualPropertyAtom
  argument1: PAlgS
  property predicate: hasAnalogComponent
  argument2: RAlgS
body: IndividualPropertyAtom
  argument1: RAlgS
  property predicate: hasSigKD
  argument2: RSignKeyd
body: DatavaluedPropertyAtom
  property predicate: hasValue
  argument2: PSha1L128
  argument1: RSignKeyd
comment: SignKDStronger

Rule-31
type: Imp
has rule category: (12#(4)2#(12#(4)))-(2)
comment: EncKDStronger1
is rule enabled: false
body: ClassAtom
  argument1: PAlgS
  class predicate: AlgorithmSuite
body: IndividualPropertyAtom
  property predicate: hasEncKD
  argument1: PAlgS
  argument2: PEncKeyd
body: DatavaluedPropertyAtom
  argument1: PEncKeyd
  argument2: PSha1L256
  property predicate: hasValue
body: ClassAtom
  argument1: RAlgS
  class predicate: AlgorithmSuite
body: IndividualPropertyAtom
  argument2: RAlgS
  argument1: PAlgS
  property predicate: hasAnalogComponent
body: IndividualPropertyAtom
  property predicate: hasEncKD
  argument1: RAlgS
  argument2: REncKeyd
body: DatavaluedPropertyAtom
  argument1: REncKeyd
  argument2: PSha1L192
  property predicate: hasValue
head: IndividualPropertyAtom
  property predicate: isStrongerThan
  argument1: PEncKeyd
  argument2: REncKeyd

X509Token prov
type: X509Token
has q name: X509Token
has token role: ProtectionToken
has owner: Provider

Rule-30
type: Imp
is rule enabled: false
comment: AsymKWWeaker
body: ClassAtom
  argument1: PAlgS
  class predicate: AlgorithmSuite
body: IndividualPropertyAtom
  argument2: PAsimKW
  argument1: PAlgS
  property predicate: hasAsymKW
body: DatavaluedPropertyAtom
  property predicate: hasValue
  argument1: PAsimKW
  argument2: KwRsa15
body: ClassAtom
  class predicate: AlgorithmSuite
  argument1: RAlgS
body: IndividualPropertyAtom
  property predicate: hasAnalogComponent
  argument1: PAlgS
  argument2: RAlgS
body: IndividualPropertyAtom
  argument1: RAlgS
  argument2: RAsimKW
  property predicate: hasAsymKW
body: DatavaluedPropertyAtom
  property predicate: hasValue
  argument2: KwRsaOaep
  argument1: RAsimKW
has rule category: (12#(4)2#(12#(4)))-(2)
head: IndividualPropertyAtom
  argument2: RAsimKW
  property predicate: isWeakerThan
  argument1: PAsimKW

Rule-33
type: Imp
is rule enabled: false
head: IndividualPropertyAtom
  property predicate: isStrongerThan
  argument2: REncKeyd
  argument1: PEncKeyd
has rule category: (12#(4)2#(12#(4)))-(2)
comment: EncKDStronger3
body: ClassAtom
  class predicate: AlgorithmSuite
  argument1: PAlgS
body: IndividualPropertyAtom
  argument1: PAlgS
  argument2: PEncKeyd
  property predicate: hasEncKD
body: DatavaluedPropertyAtom
  argument2: PSha1L256
  argument1: PEncKeyd
  property predicate: hasValue
body: ClassAtom
  class predicate: AlgorithmSuite
  argument1: RAlgS
body: IndividualPropertyAtom
  property predicate: hasAnalogComponent
  argument1: PAlgS
  argument2: RAlgS
body: IndividualPropertyAtom
  property predicate: hasEncKD
  argument2: REncKeyd
  argument1: RAlgS
body: DatavaluedPropertyAtom
  argument1: REncKeyd
  property predicate: hasValue
  argument2: PSha1L128

Rule-32
type: Imp
body: ClassAtom
  argument1: PAlgS
  class predicate: AlgorithmSuite
body: IndividualPropertyAtom
  property predicate: hasEncKD
  argument1: PAlgS
  argument2: PEncKeyd
body: DatavaluedPropertyAtom
  property predicate: hasValue
  argument2: PSha1L192
  argument1: PEncKeyd
body: ClassAtom
  argument1: RAlgS
  class predicate: AlgorithmSuite
body: IndividualPropertyAtom
  argument2: RAlgS
  argument1: PAlgS
  property predicate: hasAnalogComponent
body: IndividualPropertyAtom
  argument1: RAlgS
  argument2: REncKeyd
  property predicate: hasEncKD
body: DatavaluedPropertyAtom
  argument1: REncKeyd
  argument2: PSha1L128
  property predicate: hasValue
comment: EncKDStronger2
head: IndividualPropertyAtom
  argument2: REncKeyd
  argument1: PEncKeyd
  property predicate: isStrongerThan
has rule category: (12#(4)2#(12#(4)))-(2)
is rule enabled: false

Rule-71
type: Imp
body: ClassAtom
  argument1: PSecB
  class predicate: SecurityBinding
body: IndividualPropertyAtom
  argument1: PSecB
  argument2: PSecBProp
  property predicate: hasSecBProperty
body: DatavaluedPropertyAtom
  argument2: PSecBPropN
  argument1: PSecBProp
  property predicate: hasQName
body: DatavaluedPropertyAtom
  property predicate: hasValue
  argument2: PSecBPropValue
  argument1: PSecBProp
body: ClassAtom
  argument1: RSecB
  class predicate: SecurityBinding
body: IndividualPropertyAtom
  argument1: PSecB
  argument2: RSecB
  property predicate: hasAnalogComponent
body: IndividualPropertyAtom
  argument1: RSecB
  argument2: RSecBProp
  property predicate: hasSecBProperty
body: DatavaluedPropertyAtom
  argument1: RSecBProp
  argument2: RSecBPropN
  property predicate: hasQName
body: DatavaluedPropertyAtom
  argument2: RSecBPropValue
  argument1: RSecBProp
  property predicate: hasValue
body: BuiltinAtom
  arguments: PSecBPropN
  arguments: RSecBPropN
  builtin: equal
body: BuiltinAtom
  builtin: equal
  arguments: PSecBPropValue
  arguments: RSecBPropValue
is rule enabled: false
comment: SecBPropertyIsIdenticalOrEquivalentTo
head: IndividualPropertyAtom
  argument2: RSecBProp
  argument1: PSecBProp
  property predicate: isIdenticalOrEquivalentTo

Rule-70
type: Imp
comment: PEltIsSmallerThanRElt
body: ClassAtom
  class predicate: SecurityScope
  argument1: PSecScope
body: IndividualPropertyAtom
  property predicate: hasProtectedElt
  argument1: PSecScope
  argument2: PProtectedElt
body: IndividualPropertyAtom
  property predicate: hasXPathValue
  argument2: PXPathV
  argument1: PProtectedElt
body: DatavaluedPropertyAtom
  property predicate: hasValue
  argument1: PXPathV
  argument2: PEltPathV
body: ClassAtom
  argument1: RSecScope
  class predicate: SecurityScope
body: IndividualPropertyAtom
  argument2: RSecScope
  property predicate: hasAnalogComponent
  argument1: PSecScope
body: IndividualPropertyAtom
  property predicate: hasProtectedElt
  argument2: RProtectedElt
  argument1: RSecScope
body: IndividualPropertyAtom
  argument2: RXPathV
  argument1: RProtectedElt
  property predicate: hasXPathValue
body: DatavaluedPropertyAtom
  argument1: RXPathV
  argument2: REltPathV
  property predicate: hasValue
body: BuiltinAtom
  builtin: startsWith
  arguments: PEltPathV
  arguments: REltPathV
body: BuiltinAtom
  arguments: PEltPathV
  arguments: REltPathV
  builtin: notEqual
is rule enabled: false
head: IndividualPropertyAtom
  property predicate: isSmallerThan
  argument2: RProtectedElt
  argument1: PProtectedElt
has rule category: (12#(2#(4#(5))5)2#(12#(2#(4))))-(2#(2#(2))2)

X509Token req2
type: X509Token
has owner: Requestor