Phase 3: Rule Generation

// Declarations
Atom s10_10.isFamilyMember "Is a family member"

// Declarations
Atom s10a.isSpouseOfPEP "Is the spouse of a politically exposed person"
Atom s10a.isEquivalentToSpouseOfPEP "Is a person considered to be equivalent to a spouse of a politically exposed person"
Atom s10a.isPoliticallyExposedPerson "Is considered a politically exposed person pursuant to section 10(a)"

// Rules
@srcRef "section 10(a)"
rule_s10a_1: s10a.isSpouseOfPEP | s10a.isEquivalentToSpouseOfPEP => [O] s10a.isPoliticallyExposedPerson

// Declarations
Atom s10.isChildOfPoliticallyExposedPerson "Is a child of a politically exposed person"
Atom s10.isSpouseOfChildOfPoliticallyExposedPerson "Is a spouse of a child of a politically exposed person"
Atom s10.isEquivalentToSpouseOfChildOfPoliticallyExposedPerson "Is a person considered to be equivalent to a spouse of a child of a politically exposed person"
Atom s10.isPoliticallyExposedPerson "Is a politically exposed person"

// Rules
@srcRef "10(b)"
rule_s10_b: s10.isChildOfPoliticallyExposedPerson | s10.isSpouseOfChildOfPoliticallyExposedPerson | s10.isEquivalentToSpouseOfChildOfPoliticallyExposedPerson => [O] s10.isPoliticallyExposedPerson

// Declarations
Atom s10c.isParentOfPoliticallyExposedPerson "Is a parent of a politically exposed person"
Atom s10c.isPoliticallyExposedPerson "Is a politically exposed person"

// Rules
@srcRef "section 10(c)"
rule_s10c: s10c.isParentOfPoliticallyExposedPerson -strict-> s10c.isPoliticallyExposedPerson

// Declarations
Atom s1_3.organisesContributionsForCompanies "Organises contributions necessary for the creation, operation or management of companies"
Atom s1_3.createsOperatesManagesStructures "Creation, operation or management of trusts, companies, foundations, or similar structures"
Atom s1_3.isTrustOrCompanyServiceProvider "Is a trust or company service provider"
Atom s1_3.isCoveredUnderPointA "Is covered under point (a)"
Atom s1_3.isCoveredUnderPointB "Is covered under point (b)"
Atom s1_3.isEstateAgent "Is an estate agent"
Atom s1_3.tradesInGoods "Trades in goods"
Atom s1_3.makesCashPayment "Makes cash payment"
Atom s1_3.receivesCashPayment "Receives cash payment"
Numeric s1_3.cashAmount "Cash amount in EUR"
Atom s1_3.isSingleOperation "Transaction carried out in a single operation"
Atom s1_3.operationsLinked "Several operations which appear to be linked"
Atom s1_3.isGamblingServiceProvider "Is a provider of gambling services"
Atom s1_3.cashPaymentOccurred "Cash payment was made or received"
Atom s1_3.transactionMeetsStructureRequirement "Transaction is single or consists of linked operations"
Atom s1_3.isObligedEntity "Is an obliged entity under section 1(3)"

// Rules
@srcRef "section 1(3)(iv)"
rule_s1_3_iv: s1_3.organisesContributionsForCompanies => [O] s1_3.isObligedEntity

@srcRef "section 1(3)(v)"
rule_s1_3_v: s1_3.createsOperatesManagesStructures => [O] s1_3.isObligedEntity

@srcRef "section 1(3)(c)"
rule_s1_3_c: s1_3.isTrustOrCompanyServiceProvider & ~s1_3.isCoveredUnderPointA & ~s1_3.isCoveredUnderPointB => [O] s1_3.isObligedEntity

@srcRef "section 1(3)(d)"
rule_s1_3_d: s1_3.isEstateAgent => [O] s1_3.isObligedEntity

@srcRef "section 1(3)(e) - cash payment condition"
rule_s1_3_e_payment: s1_3.makesCashPayment | s1_3.receivesCashPayment => [O] s1_3.cashPaymentOccurred

@srcRef "section 1(3)(e) - transaction structure"
rule_s1_3_e_structure: s1_3.isSingleOperation | s1_3.operationsLinked => [O] s1_3.transactionMeetsStructureRequirement

@srcRef "section 1(3)(e)"
rule_s1_3_e: s1_3.tradesInGoods & s1_3.cashPaymentOccurred & s1_3.cashAmount >= 10000 & s1_3.transactionMeetsStructureRequirement => [O] s1_3.isObligedEntity

@srcRef "section 1(3)(f)"
rule_s1_3_f: s1_3.isGamblingServiceProvider => [O] s1_3.isObligedEntity

// Declarations
Atom s1_1.isIllicitMoneyFlow "Flows of illicit money"
Atom s1_1.damagesFinancialSector "Damages the integrity stability and reputation of the financial sector"
Atom s1_1.threatensInternalMarket "Threatens the internal market of the Union"
Atom s1_1.isMoneyLaundering "Money laundering"
Atom s1_1.isTerrorismFinancing "Terrorism financing"
Atom s1_1.isOrganisedCrime "Organised crime"
Atom s1_1.isSignificantProblem "Is a significant problem"
Atom s1_1.mustPreventFinancialSystemUse "Must implement targeted and proportionate prevention of the use of the financial system for money laundering and terrorist financing"

// Rules
@srcRef "SECTION: 1 — 1"
rule_s1_1_damage: s1_1.isIllicitMoneyFlow => s1_1.damagesFinancialSector

@srcRef "SECTION: 1 — 1"
rule_s1_1_threat: s1_1.isIllicitMoneyFlow => s1_1.threatensInternalMarket

@srcRef "SECTION: 1 — 1"
rule_s1_1_problem: s1_1.isMoneyLaundering | s1_1.isTerrorismFinancing | s1_1.isOrganisedCrime => s1_1.isSignificantProblem

@srcRef "SECTION: 1 — 1"
rule_s1_1_prevention: s1_1.isSignificantProblem => [O] s1_1.mustPreventFinancialSystemUse

// Declarations
Atom s24.crossBorderThreatExists "Cross-border threat affecting internal market exists"
Atom s24.cannotBeCombattedByMemberStates "Threat cannot be identified and effectively combatted by individual Member States"
Atom s24.commissionCoordinatesRiskAssessment "Commission coordinates assessment of risks relating to cross-border activities"
Atom s24.expertGroupMLTFInvolved "Expert Group on Money Laundering and Terrorist Financing is involved"
Atom s24.fiuRepresentativesInvolved "Representatives from FIUs are involved"
Atom s24.otherUnionBodiesInvolved "Other Union-level bodies are involved"
Atom s24.nationalRiskAssessmentUsed "National risk assessments are used as source"
Atom s24.nationalExperienceUsed "National experience is used as source"
Atom s24.personalDataProcessed "Assessment involves processing of personal data"
Atom s24.dataAnonymised "Data is fully anonymised"
Atom s24.assessmentImpactsPrivacy "Assessment has impact on privacy and data protection of individuals"
Atom s24.dataProtectionAuthoritiesInvolved "National and Union data protection supervisory authorities are involved"

// Rules
@srcRef "Section 24"
rule_s24_coordination: s24.crossBorderThreatExists & s24.cannotBeCombattedByMemberStates => [O] s24.commissionCoordinatesRiskAssessment

@srcRef "Section 24"
rule_s24_expert_group_ml_tf: s24.commissionCoordinatesRiskAssessment => [O] s24.expertGroupMLTFInvolved

@srcRef "Section 24"
rule_s24_fiu_representatives: s24.commissionCoordinatesRiskAssessment => [O] s24.fiuRepresentativesInvolved

@srcRef "Section 24"
rule_s24_other_union_bodies: s24.commissionCoordinatesRiskAssessment => [P] s24.otherUnionBodiesInvolved

@srcRef "Section 24"
rule_s24_national_assessments: s24.commissionCoordinatesRiskAssessment => [O] s24.nationalRiskAssessmentUsed

@srcRef "Section 24"
rule_s24_national_experience: s24.commissionCoordinatesRiskAssessment => [O] s24.nationalExperienceUsed

@srcRef "Section 24"
rule_s24_no_personal_data: s24.commissionCoordinatesRiskAssessment => [F] s24.personalDataProcessed

@srcRef "Section 24"
rule_s24_anonymisation: s24.commissionCoordinatesRiskAssessment => [O] s24.dataAnonymised

@srcRef "Section 24"
rule_s24_dp_authorities_obligation: s24.commissionCoordinatesRiskAssessment & s24.assessmentImpactsPrivacy => [O] s24.dataProtectionAuthoritiesInvolved

@srcRef "Section 24"
rule_s24_dp_authorities_prohibition: s24.commissionCoordinatesRiskAssessment & ~s24.assessmentImpactsPrivacy => [F] s24.dataProtectionAuthoritiesInvolved

// Declarations
Atom s25.riskAssessmentResults "Results of risk assessments"
Atom s25.isAppropriate "It is appropriate to make results available"
Atom s25.madeAvailableToObligedEntities "Results made available to obliged entities in a timely manner"

// Rules
@srcRef "Section 25"
rule_s25_1: s25.riskAssessmentResults & s25.isAppropriate => [O] s25.madeAvailableToObligedEntities

// Declarations
Atom s26.isMemberState "Is a Member State"
Atom s26.hasRiskAssessmentResults "Has results of risk assessments"
Atom s26.makeAvailableToOtherMemberStates "Make available risk assessment results to other Member States"
Atom s26.makeAvailableToCommission "Make available risk assessment results to the Commission"
Atom s26.makeAvailableToEBA "Make available risk assessment results to EBA"
Atom s26.makeAvailableToEIOPA "Make available risk assessment results to EIOPA"
Atom s26.makeAvailableToESMA "Make available risk assessment results to ESMA"

// Rules
@srcRef "Section 26"
rule_s26_other_ms: s26.isMemberState & s26.hasRiskAssessmentResults => [O] s26.makeAvailableToOtherMemberStates

@srcRef "Section 26"
rule_s26_commission: s26.isMemberState & s26.hasRiskAssessmentResults => [O] s26.makeAvailableToCommission

@srcRef "Section 26"
rule_s26_eba: s26.isMemberState & s26.hasRiskAssessmentResults => [O] s26.makeAvailableToEBA

@srcRef "Section 26"
rule_s26_eiopa: s26.isMemberState & s26.hasRiskAssessmentResults => [O] s26.makeAvailableToEIOPA

@srcRef "Section 26"
rule_s26_esma: s26.isMemberState & s26.hasRiskAssessmentResults => [O] s26.makeAvailableToESMA

// Declarations
Atom s27.isSmallerObligedEntity "Is a smaller obliged entity falling under the scope of the Directive"
Atom s27.mustTakeAccountOfCharacteristics "Must take account of characteristics and needs"
Atom s27.mustEnsureAppropriateTreatment "Must ensure treatment appropriate to specific needs and nature of business"

// Rules
@srcRef "Section 27"
rule_s27_1: s27.isSmallerObligedEntity => [O] s27.mustTakeAccountOfCharacteristics

@srcRef "Section 27"
rule_s27_2: s27.isSmallerObligedEntity => [O] s27.mustEnsureAppropriateTreatment

// Declarations
Atom s28.isCommission "Is the European Commission"
Atom s28.isThirdCountryJurisdiction "Is a third-country jurisdiction"
Atom s28.hasStrategicDeficiencies "Has strategic deficiencies in national AML/CFT regime"
Atom s28.isHighRiskThirdCountry "Is identified as a high-risk third country"
Atom s28.fatfPublicStatementsAvailable "FATF public statements available"
Atom s28.mutualEvaluationReportsAvailable "Mutual evaluation reports available"
Atom s28.detailedAssessmentReportsAvailable "Detailed assessment reports available"
Atom s28.followUpReportsAvailable "Published follow-up reports available"
Atom s28.internationalInfoTakenIntoAccount "Information from international organisations taken into account"
Atom s28.changesInInternationalInfo "Changes in international organisation information"
Atom s28.adaptationAppropriate "Adaptation of assessments is appropriate"
Atom s28.assessmentsAdapted "Assessments adapted to changes"

// Rules
@srcRef "Section 28 — 28"
rule_s28_identify: s28.isCommission & s28.isThirdCountryJurisdiction & s28.hasStrategicDeficiencies => [O] s28.isHighRiskThirdCountry

@srcRef "Section 28 — 28"
rule_s28_take_into_account_1: s28.isCommission & s28.fatfPublicStatementsAvailable => [O] s28.internationalInfoTakenIntoAccount

@srcRef "Section 28 — 28"
rule_s28_take_into_account_2: s28.isCommission & s28.mutualEvaluationReportsAvailable => [O] s28.internationalInfoTakenIntoAccount

@srcRef "Section 28 — 28"
rule_s28_take_into_account_3: s28.isCommission & s28.detailedAssessmentReportsAvailable => [O] s28.internationalInfoTakenIntoAccount

@srcRef "Section 28 — 28"
rule_s28_take_into_account_4: s28.isCommission & s28.followUpReportsAvailable => [O] s28.internationalInfoTakenIntoAccount

@srcRef "Section 28 — 28"
rule_s28_adapt: s28.isCommission & s28.changesInInternationalInfo & s28.adaptationAppropriate => [O] s28.assessmentsAdapted

// Declarations
Atom s29.isObligedEntity "Is an obliged entity"
Atom s29.dealingWithPersonOrEntity "Dealing with a natural person or legal entity"
Atom s29.establishedInHighRiskCountry "Established in a high-risk third country identified by the Commission"
Atom s29.thirdPartyEstablishedInHighRiskCountry "Third party established in a high-risk third country identified by the Commission"
Atom s29.mustApplyEnhancedDueDiligence "Must apply enhanced customer due diligence measures"
Atom s29.relianceOnThirdParty "Reliance on a third party"
Atom s29.mustAssessRiskSensitiveBasis "Must assess on a risk-sensitive basis"

// Rules
@srcRef "Section 29"
rule_s29_1: s29.isObligedEntity & s29.dealingWithPersonOrEntity & s29.establishedInHighRiskCountry => [O] s29.mustApplyEnhancedDueDiligence

@srcRef "Section 29"
rule_s29_2: s29.thirdPartyEstablishedInHighRiskCountry => [F] s29.relianceOnThirdParty

@srcRef "Section 29"
rule_s29_3: s29.isObligedEntity & s29.dealingWithPersonOrEntity & ~s29.establishedInHighRiskCountry => [O] s29.mustAssessRiskSensitiveBasis

// Declarations
Atom s2.isCasino "Entity is a casino"
Atom s2.isGamblingServiceProvider "Entity is a provider of gambling services"
Atom s2.riskAssessmentConducted "Appropriate risk assessment has been conducted by Member State"
Atom s2.lowRiskProven "Low risk proven based on nature and scale of operations"
Atom s2.mayExemptFromTransposition "Member State may exempt provider from national provisions transposing Directive"
Atom s2.vulnerabilityAssessed "Degree of vulnerability of applicable transactions assessed including payment methods used"
Atom s2.article6ConsiderationIndicated "Risk assessment indicates how Article 6 findings were considered"
Atom s2.exemptionDecisionTaken "Member State has taken decision to exempt pursuant to first subparagraph"
Atom s2.decisionNotifiedToCommission "Decision notified to Commission with justification based on specific risk assessment"
Atom s2.decisionCommunicatedToOtherStates "Commission communicated decision to other Member States"

// Rules
@srcRef "Section 2(2) first subparagraph"
rule_s2_exemption_permission: s2.isGamblingServiceProvider & ~s2.isCasino & s2.riskAssessmentConducted & s2.lowRiskProven => [P] s2.mayExemptFromTransposition

@srcRef "Section 2(2) second subparagraph"
rule_s2_assess_vulnerability: s2.riskAssessmentConducted => [O] s2.vulnerabilityAssessed

@srcRef "Section 2(2) third subparagraph"
rule_s2_consider_article6: s2.riskAssessmentConducted => [O] s2.article6ConsiderationIndicated

@srcRef "Section 2(2) fourth subparagraph"
rule_s2_notify_commission: s2.exemptionDecisionTaken => [O] s2.decisionNotifiedToCommission

@srcRef "Section 2(2) fourth subparagraph"
rule_s2_communicate_decision: s2.decisionNotifiedToCommission => [O] s2.decisionCommunicatedToOtherStates

// Declarations
Atom s30.riskIncreased "Risk variables indicate increased potential risk"
Atom s30.riskDecreased "Risk variables indicate decreased potential risk"
Atom s30.enhancedDueDiligence "Enhanced due diligence should be applied"
Atom s30.simplifiedDueDiligence "Simplified due diligence may be appropriate"

// Rules
@srcRef "Section 30"
rule_s30_1: s30.riskIncreased => [O] s30.enhancedDueDiligence

@srcRef "Section 30"
rule_s30_2: s30.riskDecreased => [P] s30.simplifiedDueDiligence

// Declarations
Atom s31.isCustomer "Is a customer"
Atom s31.isHighRiskSituation "Situation presents a greater risk of money laundering or terrorist financing"
Atom s31.mustEstablishIdentity "Must establish identity of customer"
Atom s31.mustEstablishBusinessProfile "Must establish business profile of customer"
Atom s31.mustPerformRigorousVerification "Must perform particularly rigorous customer identification and verification procedures"

// Rules
@srcRef "Section 31"
rule_s31_1: s31.isCustomer => [O] s31.mustEstablishIdentity

@srcRef "Section 31"
rule_s31_2: s31.isCustomer => [O] s31.mustEstablishBusinessProfile

@srcRef "Section 31"
rule_s31_3: s31.isHighRiskSituation => [O] s31.mustPerformRigorousVerification

// Declarations
Atom s3.occasionalFinancialActivity "Person engages in a financial activity on an occasional or very limited basis"
Atom s3.littleRisk "There is little risk of money laundering or terrorist financing"
Atom s3.limitedAbsolute "Financial activity is limited in absolute terms"
Atom s3.limitedTransaction "Financial activity is limited on a transaction basis"
Atom s3.notMainActivity "Financial activity is not the main activity of the person"
Atom s3.ancillaryActivity "Financial activity is ancillary and directly related to the main activity"
Atom s3.mainActivityNotListed "Main activity is not an activity referred to in points (a) to (d) or point (f) of paragraph 1(3)"
Atom s3.customersOnly "Financial activity is provided only to the customers of the main activity and not generally offered to the public"
Atom s3.moneyRemittance "Person is engaged in the activity of money remittance"
Atom s3.exemptFromScope "Does not fall within the scope of this Directive"

// Rules
@srcRef "Section 3(3)"
rule_s3_exemption: s3.occasionalFinancialActivity & s3.littleRisk & s3.limitedAbsolute & s3.limitedTransaction & s3.notMainActivity & s3.ancillaryActivity & s3.mainActivityNotListed & s3.customersOnly => [P] s3.exemptFromScope

@srcRef "Section 3(3)"
rule_s3_exclusion: s3.moneyRemittance => [F] s3.exemptFromScope

rule_s3_exclusion >> rule_s3_exemption

// Declarations
Atom s4_4.contextPara3a "For the purposes of point (a) of paragraph 3"
Atom s4_4.isMemberState "Is a Member State"
Numeric s4_4.totalTurnover "Total turnover of the financial activity"
Numeric s4_4.nationalThreshold "National threshold for financial activity"
Atom s4_4.thresholdMustBeLow "Threshold must be sufficiently low"
Atom s4_4.thresholdMustBeNational "Threshold must be established at national level"
Atom s4_4.turnoverMustNotExceedThreshold "Total turnover must not exceed threshold"
Atom s4_4.mayEmpowerAdditionalSanctions "May empower competent authorities to impose additional administrative sanctions"
Atom s4_4.mayEmpowerHigherPecuniarySanctions "May empower competent authorities to impose administrative pecuniary sanctions exceeding amounts in paragraph 2 and 3"

// Rules
@srcRef "Section 4 - 4 (Paragraph 4.1)"
rule_s4_4_threshold_1: s4_4.contextPara3a => [O] s4_4.thresholdMustBeLow

@srcRef "Section 4 - 4 (Paragraph 4.1)"
rule_s4_4_threshold_2: s4_4.contextPara3a => [O] s4_4.thresholdMustBeNational

@srcRef "Section 4 - 4 (Paragraph 4.1)"
rule_s4_4_turnover_limit: s4_4.contextPara3a => [O] s4_4.turnoverMustNotExceedThreshold

@srcRef "Section 4 - 4 (Paragraph 4.2)"
rule_s4_4_empower_1: s4_4.isMemberState => [P] s4_4.mayEmpowerAdditionalSanctions

@srcRef "Section 4 - 4 (Paragraph 4.2)"
rule_s4_4_empower_2: s4_4.isMemberState => [P] s4_4.mayEmpowerHigherPecuniarySanctions

// Declarations
Atom s5a.isCompetentAuthority "Is a competent authority"
Atom s5a.isFIU "Is a Financial Intelligence Unit"
Atom s5a.hasUnrestrictedAccess "Has unrestricted access"
Atom s5a.hasPowerToRepresent "Has power to represent the legal person"
Atom s5a.mayRepresentLegalPerson "May represent the legal person"

// Rules
@srcRef "Section 5(a) - Access"
rule_s5a_access: s5a.isCompetentAuthority | s5a.isFIU => [P] s5a.hasUnrestrictedAccess

@srcRef "Section 5(a) - Representation"
rule_s5a_representation: s5a.hasPowerToRepresent => [P] s5a.mayRepresentLegalPerson

// Declarations
Atom s5b.isObligedEntity "Is an obliged entity"
Atom s5b.mustApplyCDDChapterII "Must apply customer due diligence in accordance with Chapter II"
Atom s5b.hasDecisionAuthority "Has authority to take decisions on behalf of the legal person"
Atom s5b.isController "Is a controller of the legal person"

// Rules
@srcRef "Section 5(b) - obliged entities"
rule_s5b_obliged: s5b.isObligedEntity => [O] s5b.mustApplyCDDChapterII

@srcRef "Section 5(b) - decision authority"
rule_s5b_authority: s5b.hasDecisionAuthority -strict-> s5b.isController

// Declarations
Atom s5.isPersonOrOrganisation "Is a person or organisation"
Atom s5.canDemonstrateLegitimateInterest "Can demonstrate a legitimate interest"
Atom s5.hasAuthorityToExerciseControl "Has authority to exercise control within the legal person"
Atom s5.isPersonWithLegitimateInterest "Is a person or organisation with a legitimate interest"

// Rules
@srcRef "section 5(c)"
rule_s5_c_interest: s5.isPersonOrOrganisation & s5.canDemonstrateLegitimateInterest => [P] s5.isPersonWithLegitimateInterest

// Declarations
Atom s5.isTransactionForPointBPar3 "Transaction falls under point (b) of paragraph 3"
Atom s5.memberStateAppliesMaxThreshold "Member State applies maximum threshold per customer and per single transaction"
Numeric s5.thresholdAmount "Maximum threshold amount in EUR"
Atom s5.thresholdEstablishedAtNationalLevel "Threshold established at national level depending on type of financial activity"
Atom s5.thresholdSufficientlyLow "Threshold sufficiently low to make ML/TF impractical"
Atom s5.transactionIsSingleOperation "Transaction carried out in single operation"
Atom s5.transactionsAppearLinked "Several operations appear to be linked"
Atom s5.isSingleTransactionConcept "Is a single transaction for threshold purposes"
Atom s5.memberStateEnsuresBOAccessible "Member State ensures beneficial ownership information is accessible"
Atom s5.isPersonOrOrgPointC "Is person or organisation referred to in point (c)"
Atom s5.canAccessName "Can access name of beneficial owner"
Atom s5.canAccessMonthYearBirth "Can access month and year of birth of beneficial owner"
Atom s5.canAccessNationality "Can access nationality of beneficial owner"
Atom s5.canAccessCountryResidence "Can access country of residence of beneficial owner"
Atom s5.canAccessNatureExtentInterest "Can access nature and extent of beneficial interest held"
Atom s5.accessToBOInfo "Access to beneficial ownership information occurs"
Atom s5.inAccordanceWithDataProtection "Access is in accordance with data protection rules"
Atom s5.subjectToOnlineRegistration "Access subject to online registration"
Atom s5.subjectToFee "Access subject to payment of a fee"
Numeric s5.feeAmount "Fee amount charged for obtaining information"
Numeric s5.administrativeCosts "Administrative costs of providing information"
Atom s5.isBreachArticle59Par1 "Breach referred to in Article 59(1)"
Atom s5.committedForBenefitOfLegalPerson "Breach committed for benefit of legal person"
Atom s5.personActingIndividually "Person acting individually"
Atom s5.personActingAsPartOfOrgan "Person acting as part of an organ of the legal person"
Atom s5.personHasLeadingPosition "Person has leading position within the legal person"
Atom s5.legalPersonCanBeHeldLiable "Legal person can be held liable"

// Rules
@srcRef "Section 5, first paragraph (single transaction definition)"
rule_s5_single_tx_def_1: s5.transactionIsSingleOperation => [O] s5.isSingleTransactionConcept
rule_s5_single_tx_def_2: s5.transactionsAppearLinked => [O] s5.isSingleTransactionConcept

@srcRef "Section 5, first paragraph (threshold application)"
rule_s5_threshold_apply: s5.isTransactionForPointBPar3 => [O] s5.memberStateAppliesMaxThreshold

@srcRef "Section 5, first paragraph (threshold national level)"
rule_s5_threshold_national: s5.memberStateAppliesMaxThreshold => [O] s5.thresholdEstablishedAtNationalLevel

@srcRef "Section 5, first paragraph (threshold sufficiently low)"
rule_s5_threshold_low: s5.memberStateAppliesMaxThreshold => [O] s5.thresholdSufficientlyLow

@srcRef "Section 5, first paragraph (threshold cap)"
rule_s5_threshold_max: s5.memberStateAppliesMaxThreshold & s5.thresholdAmount > 1000 => [F] s5.validThresholdAmount

@srcRef "Section 5, second paragraph (BO accessibility)"
rule_s5_bo_accessible: true => [O] s5.memberStateEnsuresBOAccessible

@srcRef "Section 5, third paragraph (data elements - name)"
rule_s5_bo_data_name: s5.isPersonOrOrgPointC => [O] s5.canAccessName

@srcRef "Section 5, third paragraph (data elements - birth)"
rule_s5_bo_data_birth: s5.isPersonOrOrgPointC => [O] s5.canAccessMonthYearBirth

@srcRef "Section 5, third paragraph (data elements - nationality)"
rule_s5_bo_data_nationality: s5.isPersonOrOrgPointC => [O] s5.canAccessNationality

@srcRef "Section 5, third paragraph (data elements - residence)"
rule_s5_bo_data_residence: s5.isPersonOrOrgPointC => [O] s5.canAccessCountryResidence

@srcRef "Section 5, third paragraph (data elements - interest)"
rule_s5_bo_data_interest: s5.isPersonOrOrgPointC => [O] s5.canAccessNatureExtentInterest

@srcRef "Section 5, fourth paragraph (data protection)"
rule_s5_data_protection: s5.accessToBOInfo => [O] s5.inAccordanceWithDataProtection

@srcRef "Section 5, fourth paragraph (online registration permitted)"
rule_s5_online_reg: s5.accessToBOInfo => [P] s5.subjectToOnlineRegistration

@srcRef "Section 5, fourth paragraph (fee permitted)"
rule_s5_fee_permitted: s5.accessToBOInfo => [P] s5.subjectToFee

@srcRef "Section 5, fourth paragraph (fee limit)"
rule_s5_fee_cap: s5.subjectToFee & s5.feeAmount > s5.administrativeCosts => [F] s5.feeCompliantWithCosts

@srcRef "Section 5, fifth paragraph (liability - individual action)"
rule_s5_liability_individual: s5.isBreachArticle59Par1 & s5.committedForBenefitOfLegalPerson & s5.personActingIndividually & s5.personHasLeadingPosition => [O] s5.legalPersonCanBeHeldLiable

@srcRef "Section 5, fifth paragraph (liability - organ action)"
rule_s5_liability_organ: s5.isBreachArticle59Par1 & s5.committedForBenefitOfLegalPerson & s5.personActingAsPartOfOrgan & s5.personHasLeadingPosition => [O] s5.legalPersonCanBeHeldLiable

// Declarations
Atom s6.isNaturalOrLegalPerson "Is a natural or legal person concerned"
Atom s6.turnoverLimitCompliance "Turnover of financial activity does not exceed 5 percent of total turnover"
Atom s6.isObligedEntity "Is an obliged entity"
Atom s6.isTrustBeneficiary "Is a beneficiary of a trust or similar legal arrangement"
Atom s6.isDesignatedByClass "Beneficiary is designated by particular characteristics or class"
Atom s6.mustObtainBeneficiaryInfo "Must obtain sufficient information to establish identity at payout"
Atom s6.isLegalPerson "Is a legal person"
Atom s6.lackOfSupervisionByPara5 "Lack of supervision or control by person referred to in paragraph 5"
Atom s6.breachUnderArt59 "Breach referred to in Article 59(1) committed"
Atom s6.breachForBenefitOfPerson "Breach committed for benefit of legal person"
Atom s6.breachBySubordinate "Breach committed by person under authority"
Atom s6.liable "Legal person can be held liable"

// Rules
@srcRef "Section 6(1)"
rule_s6_1: s6.isNaturalOrLegalPerson => [O] s6.turnoverLimitCompliance

@srcRef "Section 6(2)"
rule_s6_2: s6.isObligedEntity & s6.isTrustBeneficiary & s6.isDesignatedByClass => [O] s6.mustObtainBeneficiaryInfo

@srcRef "Section 6(3)"
rule_s6_3: s6.isLegalPerson & s6.lackOfSupervisionByPara5 & s6.breachUnderArt59 & s6.breachForBenefitOfPerson & s6.breachBySubordinate => [O] s6.liable

// Declarations
Atom s7.isTrustOrCompanyServiceProvider "Is a trust or company service provider"
Atom s7.isPerson "Is a person"
Atom s7.actsByWayOfBusiness "Acts by way of business"
Atom s7.providesServicesToThirdParties "Provides services to third parties"

// Declarations
Atom s7a.formationOfCompanies "The formation of companies or other legal persons"
Atom s7a.company "A company"
Atom s7a.legalPerson "A legal person"

// Declarations
Atom s7b.actingAs "Person is acting as a director, secretary, partner, or similar"
Atom s7b.arrangingForAnother "Person is arranging for another person to act as a director, secretary, partner, or similar"
Atom s7b.isDirectorOrSecretary "Position is director or secretary of a company"
Atom s7b.isPartner "Position is partner of a partnership"
Atom s7b.isSimilarPosition "Position is similar to director, secretary, or partner in relation to other legal persons"
Atom s7b.isRelevantPosition "Position is a relevant position as defined in Section 7(b)"
Atom s7b.isRegulatedActivity "Activity is regulated under Section 7(b)"

// Rules
@srcRef "Section 7(b)"
rule_s7b_role_definition: s7b.isDirectorOrSecretary | s7b.isPartner | s7b.isSimilarPosition => [O] s7b.isRelevantPosition

@srcRef "Section 7(b)"
rule_s7b_acting: s7b.actingAs & s7b.isRelevantPosition => [O] s7b.isRegulatedActivity

@srcRef "Section 7(b)"
rule_s7b_arranging: s7b.arrangingForAnother & s7b.isRelevantPosition => [O] s7b.isRegulatedActivity

Atom s7c.providesRegisteredOffice "Provides a registered office"
Atom s7c.providesBusinessAddress "Provides a business address"
Atom s7c.providesCorrespondenceAddress "Provides a correspondence address"
Atom s7c.providesAdministrativeAddress "Provides an administrative address"
Atom s7c.providesRelatedServices "Provides other related services"
Atom s7c.forCompany "Services provided for a company"
Atom s7c.forPartnership "Services provided for a partnership"
Atom s7c.forLegalPerson "Services provided for any other legal person"
Atom s7c.forArrangement "Services provided for any other legal arrangement"
Atom s7c.performsActivity "Performs the activity described in section 7(c)"
Atom s7c.providesAddressService "Provides any address or related service"
Atom s7c.forLegalEntity "Services provided for any legal entity or arrangement"

@srcRef "section 7(c)"
rule_s7c_addr: s7c.providesRegisteredOffice | s7c.providesBusinessAddress | s7c.providesCorrespondenceAddress | s7c.providesAdministrativeAddress | s7c.providesRelatedServices => [P] s7c.providesAddressService
rule_s7c_entity: s7c.forCompany | s7c.forPartnership | s7c.forLegalPerson | s7c.forArrangement => [P] s7c.forLegalEntity
rule_s7c_1: s7c.providesAddressService & s7c.forLegalEntity => [P] s7c.performsActivity

// Declarations
Atom s7.actsAsTrusteeExpressTrust "Acting as a trustee of an express trust"
Atom s7.actsAsTrusteeSimilar "Acting as a trustee of a similar legal arrangement"
Atom s7.arrangesTrusteeExpressTrust "Arranging for another person to act as a trustee of an express trust"
Atom s7.arrangesTrusteeSimilar "Arranging for another person to act as a trustee of a similar legal arrangement"
Atom s7.isRegulatedActivity "Activity is regulated under section 7(d)"

// Rules
@srcRef "section 7(d)"
rule_s7_d: s7.actsAsTrusteeExpressTrust | s7.actsAsTrusteeSimilar | s7.arrangesTrusteeExpressTrust | s7.arrangesTrusteeSimilar => [O] s7.isRegulatedActivity

// Declarations
Atom s7e.actsAsNomineeShareholder "Acts as a nominee shareholder for another person"
Atom s7e.arrangesNomineeShareholder "Arranges for another person to act as a nominee shareholder"
Atom s7e.beneficiaryIsListedCompany "Beneficiary is a company listed on a regulated market subject to disclosure requirements in accordance with Union law or equivalent international standards"
Atom s7e.isProhibited "The activity described in section 7(e) is prohibited"

// Rules
@srcRef "section 7(e)"
rule_s7e_1: s7e.actsAsNomineeShareholder & ~s7e.beneficiaryIsListedCompany => [F] s7e.isProhibited

@srcRef "section 7(e)"
rule_s7e_2: s7e.arrangesNomineeShareholder & ~s7e.beneficiaryIsListedCompany => [F] s7e.isProhibited

Atom s8.isObligedEntity "Is an obliged entity"
Atom s8.mustTakeStepsToIdentifyAssessRisks "Must take appropriate steps to identify and assess risks of money laundering and terrorist financing"
Atom s8.mustConsiderRiskFactors "Must consider risk factors relating to customers, countries, geographic areas, products, services, transactions, and delivery channels"
Atom s8.mustBeProportionate "Must ensure steps are proportionate to nature and size"

@srcRef "Section 8(1)"
rule_s8_1: s8.isObligedEntity => [O] s8.mustTakeStepsToIdentifyAssessRisks

@srcRef "Section 8(1)"
rule_s8_2: s8.isObligedEntity => [O] s8.mustConsiderRiskFactors

@srcRef "Section 8(1)"
rule_s8_3: s8.isObligedEntity => [O] s8.mustBeProportionate

// Declarations
Atom s8_2.isRiskAssessmentReferredToInPara1 "Is a risk assessment referred to in paragraph 1"
Atom s8_2.isCompetentAuthority "Is a relevant competent authority"
Atom s8_2.mustBeDocumented "Risk assessment must be documented"
Atom s8_2.mustBeKeptUpToDate "Risk assessment must be kept up-to-date"
Atom s8_2.mustBeMadeAvailable "Risk assessment must be made available to relevant competent authorities and self-regulatory bodies"
Atom s8_2.sectorRisksClearAndUnderstood "Specific risks inherent in the sector are clear and understood"
Atom s8_2.authorityDecidesNoDocRequired "Competent authority decides individual documented risk assessment is not required"

// Rules
@srcRef "8(2)"
rule_s8_2_obl_doc: s8_2.isRiskAssessmentReferredToInPara1 => [O] s8_2.mustBeDocumented

@srcRef "8(2)"
rule_s8_2_obl_update: s8_2.isRiskAssessmentReferredToInPara1 => [O] s8_2.mustBeKeptUpToDate

@srcRef "8(2)"
rule_s8_2_obl_avail: s8_2.isRiskAssessmentReferredToInPara1 => [O] s8_2.mustBeMadeAvailable

@srcRef "8(2)"
rule_s8_2_perm: s8_2.isCompetentAuthority & s8_2.sectorRisksClearAndUnderstood => [P] s8_2.authorityDecidesNoDocRequired

@srcRef "8(2)"
rule_s8_2_exc: s8_2.authorityDecidesNoDocRequired => [E] s8_2.mustBeDocumented

rule_s8_2_exc >> rule_s8_2_obl_doc

// Declarations
Atom s8.isCorrespondentRelationship "Is a correspondent relationship"

// Declarations
Atom s8_3.isObligedEntity "Is an obliged entity"
Atom s8_3.hasPoliciesControlsProcedures "Has in place policies, controls and procedures to mitigate and manage effectively the risks of money laundering and terrorist financing"
Atom s8_3.policiesAreProportionate "Policies, controls and procedures are proportionate to the nature and size of the obliged entity"

// Rules
@srcRef "Section 8(3)"
rule_s8_3_1: s8_3.isObligedEntity => [O] s8_3.hasPoliciesControlsProcedures

@srcRef "Section 8(3)"
rule_s8_3_2: s8_3.isObligedEntity => [O] s8_3.policiesAreProportionate

// Declarations
Atom s8_4.policiesControlsProcedures "Policies, controls and procedures referred to in paragraph 3"
Atom s8_4.includeRequiredMeasures "Must include the measures specified in this subsection"

// Rules
@srcRef "section 8(4)"
rule_s8_4_1: s8_4.policiesControlsProcedures => [O] s8_4.includeRequiredMeasures

Atom s8_4_a.entity "Entity subject to Section 8(4)(a)"
Atom s8_4_a.hasModelRiskManagementPractices "Has developed model risk management practices"
Atom s8_4_a.hasCustomerDueDiligence "Has developed customer due diligence"
Atom s8_4_a.hasReporting "Has developed reporting"
Atom s8_4_a.hasRecordKeeping "Has developed record-keeping"
Atom s8_4_a.hasInternalControl "Has developed internal control"
Atom s8_4_a.hasComplianceManagement "Has developed compliance management"
Atom s8_4_a.isAppropriateSizeNature "Is of appropriate size and nature of business for compliance officer appointment"
Atom s8_4_a.hasComplianceOfficer "Has appointed compliance officer at management level"
Atom s8_4_a.hasEmployeeScreening "Has developed employee screening"

@srcRef "Section 8(4)(a)"
rule_s8_4_a_model_risk: s8_4_a.entity => [O] s8_4_a.hasModelRiskManagementPractices

@srcRef "Section 8(4)(a)"
rule_s8_4_a_cdd: s8_4_a.entity => [O] s8_4_a.hasCustomerDueDiligence

@srcRef "Section 8(4)(a)"
rule_s8_4_a_reporting: s8_4_a.entity => [O] s8_4_a.hasReporting

@srcRef "Section 8(4)(a)"
rule_s8_4_a_record_keeping: s8_4_a.entity => [O] s8_4_a.hasRecordKeeping

@srcRef "Section 8(4)(a)"
rule_s8_4_a_internal_control: s8_4_a.entity => [O] s8_4_a.hasInternalControl

@srcRef "Section 8(4)(a)"
rule_s8_4_a_compliance_management: s8_4_a.entity => [O] s8_4_a.hasComplianceManagement

@srcRef "Section 8(4)(a)"
rule_s8_4_a_compliance_officer: s8_4_a.entity & s8_4_a.isAppropriateSizeNature => [O] s8_4_a.hasComplianceOfficer

@srcRef "Section 8(4)(a)"
rule_s8_4_a_employee_screening: s8_4_a.entity => [O] s8_4_a.hasEmployeeScreening

// Declarations
Atom s8_4_b.appropriateSizeNature "Appropriate with regard to the size and nature of the business"
Atom s8_4_b.hasIndependentAuditFunction "Have an independent audit function to test internal policies controls and procedures"

// Rules
@srcRef "Section 8(4)(b)"
rule_s8_4_b_1: s8_4_b.appropriateSizeNature => [O] s8_4_b.hasIndependentAuditFunction

// Declarations
Atom s8_5.isObligedEntity "Is an obliged entity"
Atom s8_5.hasEstablishedPolicies "Has put in place policies, controls and procedures"
Atom s8_5.hasSeniorManagementApproval "Has obtained senior management approval for policies, controls and procedures"
Atom s8_5.monitoringIsAppropriate "Monitoring and enhancing measures is appropriate"
Atom s8_5.monitorsAndEnhancesMeasures "Monitors and enhances the measures taken"

// Rules
@srcRef "section 8(5)"
rule_s8_5_1: s8_5.isObligedEntity & s8_5.hasEstablishedPolicies => [O] s8_5.hasSeniorManagementApproval

@srcRef "section 8(5)"
rule_s8_5_2: s8_5.isObligedEntity & s8_5.monitoringIsAppropriate => [O] s8_5.monitorsAndEnhancesMeasures

// Declarations
Atom s8a.isCorrespondentBank "Entity acts as correspondent bank"
Atom s8a.isRespondentBank "Entity acts as respondent bank"
Atom s8a.providesCurrentAccount "Provides current or other liability account"
Atom s8a.providesCashManagement "Provides cash management services"
Atom s8a.providesIntlFundsTransfers "Provides international funds transfers"
Atom s8a.providesChequeClearing "Provides cheque clearing"
Atom s8a.providesPayableThroughAccount "Provides payable-through accounts"
Atom s8a.providesForeignExchange "Provides foreign exchange services"
Atom s8a.isCorrespondentBankingService "Is the provision of correspondent banking services under section 8(a)"

Atom s8a.isOperationalAnalysis "Is an operational analysis"
Atom s8a.focusesOnIndividualCases "Focuses on individual cases and specific targets"
Atom s8a.focusesOnSelectedInformation "Focuses on appropriate selected information"
Atom s8a.considersDisclosureTypeVolume "Considers type and volume of disclosures received"
Atom s8a.considersExpectedUse "Considers expected use of information after dissemination"
Atom s8a.isSection8aOperationalAnalysis "Is an operational analysis under section 8(a)"

// Rules
@srcRef "8(a) correspondent banking"
rule_s8a_correspondent_1: s8a.isCorrespondentBank & s8a.isRespondentBank & s8a.providesCurrentAccount => [P] s8a.isCorrespondentBankingService
rule_s8a_correspondent_2: s8a.isCorrespondentBank & s8a.isRespondentBank & s8a.providesCashManagement => [P] s8a.isCorrespondentBankingService
rule_s8a_correspondent_3: s8a.isCorrespondentBank & s8a.isRespondentBank & s8a.providesIntlFundsTransfers => [P] s8a.isCorrespondentBankingService
rule_s8a_correspondent_4: s8a.isCorrespondentBank & s8a.isRespondentBank & s8a.providesChequeClearing => [P] s8a.isCorrespondentBankingService
rule_s8a_correspondent_5: s8a.isCorrespondentBank & s8a.isRespondentBank & s8a.providesPayableThroughAccount => [P] s8a.isCorrespondentBankingService
rule_s8a_correspondent_6: s8a.isCorrespondentBank & s8a.isRespondentBank & s8a.providesForeignExchange => [P] s8a.isCorrespondentBankingService

@srcRef "8(a) operational analysis"
rule_s8a_analysis_1: s8a.isOperationalAnalysis & s8a.focusesOnIndividualCases & s8a.considersDisclosureTypeVolume & s8a.considersExpectedUse => [P] s8a.isSection8aOperationalAnalysis
rule_s8a_analysis_2: s8a.isOperationalAnalysis & s8a.focusesOnSelectedInformation & s8a.considersDisclosureTypeVolume & s8a.considersExpectedUse => [P] s8a.isSection8aOperationalAnalysis

// Declarations
Atom s8b.involvesCreditOrFinancialInst "Relationship involves credit or financial institutions"
Atom s8b.involvesCorrespondentServices "Relationship involves correspondent services to respondent institution"
Atom s8b.involvesSecuritiesOrFunds "Relationship involves securities transactions or funds transfers"
Atom s8b.mustAssessRelationships "Must assess relationships between institutions"
Atom s8b.mustConductStrategicAnalysis "Must conduct strategic analysis of money laundering and terrorist financing trends"

// Rules
@srcRef "Section 8(b)"
rule_s8b_relationships: s8b.involvesCreditOrFinancialInst | s8b.involvesCorrespondentServices | s8b.involvesSecuritiesOrFunds => [O] s8b.mustAssessRelationships

@srcRef "Section 8(b)"
rule_s8b_strategic_analysis: => [O] s8b.mustConductStrategicAnalysis

// Declarations
Atom s9.isPoliticallyExposedPerson "Is a politically exposed person"
Atom s9.isNaturalPerson "Is a natural person"
Atom s9.isEntrustedWithProminentPublicFunctions "Is entrusted with prominent public functions"
Atom s9.wasEntrustedWithProminentPublicFunctions "Has been entrusted with prominent public functions"
Atom s9.isMiddleRankingOfficial "Is a middle-ranking official"
Atom s9.isJuniorOfficial "Is a junior official"

// Rules
@srcRef "Section 9"
rule_s9_current: s9.isNaturalPerson & s9.isEntrustedWithProminentPublicFunctions => [O] s9.isPoliticallyExposedPerson

@srcRef "Section 9"
rule_s9_former: s9.isNaturalPerson & s9.wasEntrustedWithProminentPublicFunctions => [O] s9.isPoliticallyExposedPerson

@srcRef "Section 9 (exclusion of middle-ranking and junior officials)"
rule_s9_exclusion: s9.isMiddleRankingOfficial | s9.isJuniorOfficial => [E] s9.isPoliticallyExposedPerson

rule_s9_exclusion >> rule_s9_current
rule_s9_exclusion >> rule_s9_former

// Declarations
Atom s9_1.isThirdCountry "Is a third-country jurisdiction"
Atom s9_1.hasStrategicDeficiencies "Has strategic deficiencies in national AML/CFT regimes"
Atom s9_1.posesSignificantThreat "Poses significant threats to the financial system of the Union"
Atom s9_1.isIdentifiedAsHighRisk "Is identified as a high-risk third country"

// Rules
@srcRef "section 9(1)"
rule_s9_1_identification: s9_1.isThirdCountry & s9_1.hasStrategicDeficiencies & s9_1.posesSignificantThreat => [O] s9_1.isIdentifiedAsHighRisk

// Declarations
Atom s9_2.isCommission "The entity is the Commission"
Atom s9_2.identifiesHighRiskThirdCountries "Identifies high-risk third countries"
Atom s9_2.takesIntoAccountStrategicDeficiencies "Takes into account strategic deficiencies"
Atom s9_2.adoptsDelegatedActsArt64 "Adopts delegated acts in accordance with Article 64"

// Rules
@srcRef "Section 9(2)"
rule_s9_2_empowerment: s9_2.isCommission & s9_2.identifiesHighRiskThirdCountries & s9_2.takesIntoAccountStrategicDeficiencies => [P] s9_2.adoptsDelegatedActsArt64

// Declarations
Atom s9_2_a.legalInstitutionalAmlCftFramework "Legal and institutional AML/CFT framework of the third country"

// Declarations
Atom s9_2_a_i.isMoneyLaundering "Conduct constitutes money laundering"
Atom s9_2_a_i.isTerroristFinancing "Conduct constitutes terrorist financing"
Atom s9_2_a_i.isCriminalized "Conduct is criminalized under national law"

// Rules
@srcRef "section 9(2)(a)(i)"
rule_s9_2_a_i: s9_2_a_i.isMoneyLaundering | s9_2_a_i.isTerroristFinancing => [O] s9_2_a_i.isCriminalized

// Declarations
Atom s9_2_a_ii.relatesToCustomerDueDiligence "Measures relating to customer due diligence"
Atom s9_2_a_ii.mustApplyMeasures "Must apply measures relating to customer due diligence"

// Rules
@srcRef "9(2)(a)(ii)"
rule_s9_2_a_ii_1: s9_2_a_ii.relatesToCustomerDueDiligence => [O] s9_2_a_ii.mustApplyMeasures

// Declarations
Atom s9_2_a_iii.entitySubjectToSection "Entity subject to section 9(2)(a)(iii)"
Atom s9_2_a_iii.recordKeepingRequirementsImposed "Requirements relating to record-keeping are imposed"

// Rules
@srcRef "section 9(2)(a)(iii)"
rule_s9_2_a_iii_1: s9_2_a_iii.entitySubjectToSection => [O] s9_2_a_iii.recordKeepingRequirementsImposed

// Declarations
Atom s9_2_a_iv.isSuspiciousTransaction "Is a suspicious transaction"
Atom s9_2_a_iv.mustReportSuspiciousTransaction "Must report the suspicious transaction"

// Rules
@srcRef "9(2)(a)(iv)"
rule_s9_2_a_iv_report: s9_2_a_iv.isSuspiciousTransaction => [O] s9_2_a_iv.mustReportSuspiciousTransaction

// Declarations
Atom s9_2_b.isThirdCountry "Is a third country"
Atom s9_2_b.adequatePowersAndProceduresForAMLCFT "Adequate powers and procedures of competent authorities for AML/CFT"

// Rules
@srcRef "section 9(2)(b)"
rule_s9_2_b_1: s9_2_b.isThirdCountry => [O] s9_2_b.adequatePowersAndProceduresForAMLCFT

// Declarations
Atom s9_2_c.effectiveAmlCftSystem "The effectiveness of the AML/CFT system in addressing money laundering or terrorist financing risks of the third country"

// Declarations
Atom s9.isHeadOfState "Is a head of State"
Atom s9.isHeadOfGovernment "Is a head of government"
Atom s9.isMinister "Is a minister"
Atom s9.isDeputyOrAssistantMinister "Is a deputy or assistant minister"
Atom s9.isListedOfficial "Is a listed official under section 9(a)"

// Rules
@srcRef "9(a)"
rule_s9_a: s9.isHeadOfState | s9.isHeadOfGovernment | s9.isMinister | s9.isDeputyOrAssistantMinister => [O] s9.isListedOfficial

Atom s9b.isMemberOfParliament "Is a member of parliament"
Atom s9b.isMemberOfSimilarLegislativeBody "Is a member of a similar legislative body"
Atom s9b.isMemberOfLegislativeBody "Is a member of parliament or similar legislative body"

@srcRef "section 9(b)"
rule_s9b_1: s9b.isMemberOfParliament | s9b.isMemberOfSimilarLegislativeBody => [O] s9b.isMemberOfLegislativeBody

// Declarations
Atom s9.memberOfGoverningBodyOfPoliticalParty "Members of the governing bodies of political parties"
Atom s9.isPoliticallyExposedPerson "Is a Politically Exposed Person"

// Rules
@srcRef "section 9(c)"
rule_s9_c: s9.memberOfGoverningBodyOfPoliticalParty => [O] s9.isPoliticallyExposedPerson

// Declarations
Atom s9d.isMemberOfSupremeCourt "Is a member of a supreme court"
Atom s9d.isMemberOfConstitutionalCourt "Is a member of a constitutional court"
Atom s9d.isMemberOfHighLevelJudicialBody "Is a member of another high-level judicial body"
Atom s9d.decisionsNotSubjectToFurtherAppeal "Decisions of the judicial body are not subject to further appeal"
Atom s9d.exceptionalCircumstances "Exceptional circumstances exist"
Atom s9d.subjectToObligation "Subject to the obligation under Section 9(d)"

// Rules
@srcRef "Section 9(d)"
rule_s9d_main_supreme: s9d.isMemberOfSupremeCourt & s9d.decisionsNotSubjectToFurtherAppeal => [O] s9d.subjectToObligation

@srcRef "Section 9(d)"
rule_s9d_main_constitutional: s9d.isMemberOfConstitutionalCourt & s9d.decisionsNotSubjectToFurtherAppeal => [O] s9d.subjectToObligation

@srcRef "Section 9(d)"
rule_s9d_main_highlevel: s9d.isMemberOfHighLevelJudicialBody & s9d.decisionsNotSubjectToFurtherAppeal => [O] s9d.subjectToObligation

@srcRef "Section 9(d)"
rule_s9d_exception: s9d.exceptionalCircumstances => [E] s9d.subjectToObligation

rule_s9d_exception >> rule_s9d_main_supreme
rule_s9d_exception >> rule_s9d_main_constitutional
rule_s9d_exception >> rule_s9d_main_highlevel

// Declarations
Atom s9e.memberOfCourtOfAuditors "Is a member of a court of auditors"
Atom s9e.memberOfCentralBankBoard "Is a member of the board of a central bank"
Atom s9.isProminentPublicFunction "Holds a prominent public function"

// Rules
@srcRef "section 9(e)"
rule_s9e: s9e.memberOfCourtOfAuditors | s9e.memberOfCentralBankBoard => [O] s9.isProminentPublicFunction

// Declarations
Atom s9f.isAmbassador "Is an ambassador"
Atom s9f.isChargeDaffaires "Is a chargé d'affaires"
Atom s9f.isHighRankingArmedForcesOfficer "Is a high-ranking officer in the armed forces"
Atom s9f.isCoveredBySection9f "Is covered by section 9(f)"

// Rules
@srcRef "section 9(f)"
rule_s9f_1: s9f.isAmbassador | s9f.isChargeDaffaires | s9f.isHighRankingArmedForcesOfficer => [O] s9f.isCoveredBySection9f

// Declarations
Atom s9g.isStateOwnedEnterprise "Entity is a State-owned enterprise"
Atom s9g.isMemberOfAdministrativeBody "Person is a member of the administrative body"
Atom s9g.isMemberOfManagementBody "Person is a member of the management body"
Atom s9g.isMemberOfSupervisoryBody "Person is a member of the supervisory body"
Atom s9g.isRelevantPerson "Person is identified under section 9(g)"

// Rules
@srcRef "9(g)"
rule_s9g_admin: s9g.isStateOwnedEnterprise & s9g.isMemberOfAdministrativeBody => [O] s9g.isRelevantPerson

@srcRef "9(g)"
rule_s9g_mgmt: s9g.isStateOwnedEnterprise & s9g.isMemberOfManagementBody => [O] s9g.isRelevantPerson

@srcRef "9(g)"
rule_s9g_supervisory: s9g.isStateOwnedEnterprise & s9g.isMemberOfSupervisoryBody => [O] s9g.isRelevantPerson

Atom s9h.isDirector "Is a director"
Atom s9h.isDeputyDirector "Is a deputy director"
Atom s9h.isBoardMember "Is a member of the board"
Atom s9h.hasEquivalentFunction "Has equivalent function"
Atom s9h.isInternationalOrganisation "Is an international organisation"
Atom s9h.isCoveredBySection9h "Is a director, deputy director, board member or equivalent of an international organisation"

@srcRef "section 9(h)"
rule_s9h_1: s9h.isDirector & s9h.isInternationalOrganisation | s9h.isDeputyDirector & s9h.isInternationalOrganisation | s9h.isBoardMember & s9h.isInternationalOrganisation | s9h.hasEquivalentFunction & s9h.isInternationalOrganisation => [O] s9h.isCoveredBySection9h

// No encodable content found in the provided text for ANNEX III.

// No text provided for section ANNEX II to encode into rules.

// No content found in section ANNEX IV to encode.
// The provided text only contains the section title and cross-reference metadata.

// ANNEX I — This section contains no substantive provisions requiring formal encoding.

// Declarations
Atom art13_1.isObligedEntity "Entity is an obliged entity"
Atom art13_1.performingMeasureA "Performing measures referred to in point (a) of the first subparagraph"
Atom art13_1.performingMeasureB "Performing measures referred to in point (b) of the first subparagraph"
Atom art13_1.representativePurportsToAct "A person purports to act on behalf of the customer"
Atom art13_1.mustVerifyAuthorisation "Must verify that the person is authorised to act on behalf of the customer"
Atom art13_1.mustIdentifyRepresentative "Must identify the person purporting to act on behalf"
Atom art13_1.mustVerifyIdentityRepresentative "Must verify the identity of the person purporting to act on behalf"

// Rules
@srcRef "Article 13(1)"
rule_art13_1_verify_authorisation: art13_1.isObligedEntity & art13_1.performingMeasureA & art13_1.representativePurportsToAct | art13_1.isObligedEntity & art13_1.performingMeasureB & art13_1.representativePurportsToAct => [O] art13_1.mustVerifyAuthorisation

@srcRef "Article 13(1)"
rule_art13_1_identify: art13_1.isObligedEntity & art13_1.performingMeasureA & art13_1.representativePurportsToAct | art13_1.isObligedEntity & art13_1.performingMeasureB & art13_1.representativePurportsToAct => [O] art13_1.mustIdentifyRepresentative

@srcRef "Article 13(1)"
rule_art13_1_verify_identity: art13_1.isObligedEntity & art13_1.performingMeasureA & art13_1.representativePurportsToAct | art13_1.isObligedEntity & art13_1.performingMeasureB & art13_1.representativePurportsToAct => [O] art13_1.mustVerifyIdentityRepresentative

// Declarations
Atom art13_1a.customerIdentified "Customer is identified"
Atom art13_1a.customerIdentityVerified "Customer identity is verified"
Atom art13_1a.basedOnDocuments "Verification based on documents"
Atom art13_1a.basedOnData "Verification based on data"
Atom art13_1a.basedOnInformation "Verification based on information"
Atom art13_1a.sourceReliable "Source is reliable"
Atom art13_1a.sourceIndependent "Source is independent"

// Rules
@srcRef "Article 13(1)(a)"
rule_art13_1a_identify: => [O] art13_1a.customerIdentified

@srcRef "Article 13(1)(a)"
rule_art13_1a_verify_doc: art13_1a.basedOnDocuments & art13_1a.sourceReliable & art13_1a.sourceIndependent => [O] art13_1a.customerIdentityVerified

@srcRef "Article 13(1)(a)"
rule_art13_1a_verify_data: art13_1a.basedOnData & art13_1a.sourceReliable & art13_1a.sourceIndependent => [O] art13_1a.customerIdentityVerified

@srcRef "Article 13(1)(a)"
rule_art13_1a_verify_info: art13_1a.basedOnInformation & art13_1a.sourceReliable & art13_1a.sourceIndependent => [O] art13_1a.customerIdentityVerified

// Declarations
Atom art13_1_b.isObbligedEntity "Is an obliged entity"
Atom art13_1_b.mustIdentifyBeneficialOwner "Must identify the beneficial owner"
Atom art13_1_b.mustVerifyBeneficialOwnerIdentity "Must take reasonable measures to verify the beneficial owner's identity"
Atom art13_1_b.customerIsLegalPerson "Customer is a legal person"
Atom art13_1_b.customerIsTrust "Customer is a trust"
Atom art13_1_b.customerIsCompany "Customer is a company"
Atom art13_1_b.customerIsFoundation "Customer is a foundation"
Atom art13_1_b.customerIsSimilarLegalArrangement "Customer is a similar legal arrangement"
Atom art13_1_b.mustUnderstandOwnershipControlStructure "Must take reasonable measures to understand the ownership and control structure"

// Rules
@srcRef "Article 13(1)(b)"
rule_art13_1_b_1: art13_1_b.isObbligedEntity => [O] art13_1_b.mustIdentifyBeneficialOwner

@srcRef "Article 13(1)(b)"
rule_art13_1_b_2: art13_1_b.isObbligedEntity => [O] art13_1_b.mustVerifyBeneficialOwnerIdentity

@srcRef "Article 13(1)(b)"
rule_art13_1_b_3_1: art13_1_b.isObbligedEntity & art13_1_b.customerIsLegalPerson => [O] art13_1_b.mustUnderstandOwnershipControlStructure

@srcRef "Article 13(1)(b)"
rule_art13_1_b_3_2: art13_1_b.isObbligedEntity & art13_1_b.customerIsTrust => [O] art13_1_b.mustUnderstandOwnershipControlStructure

@srcRef "Article 13(1)(b)"
rule_art13_1_b_3_3: art13_1_b.isObbligedEntity & art13_1_b.customerIsCompany => [O] art13_1_b.mustUnderstandOwnershipControlStructure

@srcRef "Article 13(1)(b)"
rule_art13_1_b_3_4: art13_1_b.isObbligedEntity & art13_1_b.customerIsFoundation => [O] art13_1_b.mustUnderstandOwnershipControlStructure

@srcRef "Article 13(1)(b)"
rule_art13_1_b_3_5: art13_1_b.isObbligedEntity & art13_1_b.customerIsSimilarLegalArrangement => [O] art13_1_b.mustUnderstandOwnershipControlStructure

// Declarations
Atom art13.isBusinessRelationship "A business relationship exists"
Atom art13.mustAssessPurposeNature "Must assess the purpose and intended nature of the business relationship"
Atom art13.mustObtainInfoPurposeNature "Must obtain information on the purpose and intended nature of the business relationship as appropriate"

// Rules
@srcRef "Article 13(1)(c)"
rule_art13_1c_assess: art13.isBusinessRelationship => [O] art13.mustAssessPurposeNature

@srcRef "Article 13(1)(c)"
rule_art13_1c_obtain: art13.isBusinessRelationship => [O] art13.mustObtainInfoPurposeNature

// Declarations
Atom art13_1_d.hasBusinessRelationship "Has an ongoing business relationship"
Atom art13_1_d.sourceOfFundsCheckNecessary "Source of funds check is necessary"
Atom art13_1_d.mustConductOngoingMonitoring "Must conduct ongoing monitoring of the business relationship"
Atom art13_1_d.mustScrutinizeTransactionConsistency "Must scrutinize transactions for consistency with customer knowledge, business and risk profile"
Atom art13_1_d.mustScrutinizeSourceOfFundsConsistency "Must scrutinize transactions for consistency with source of funds"
Atom art13_1_d.mustKeepInformationUpToDate "Must ensure documents, data or information held are kept up-to-date"

// Rules
@srcRef "Article 13(1)(d)"
rule_art13_1_d_1: art13_1_d.hasBusinessRelationship => [O] art13_1_d.mustConductOngoingMonitoring

@srcRef "Article 13(1)(d)"
rule_art13_1_d_2: art13_1_d.hasBusinessRelationship => [O] art13_1_d.mustScrutinizeTransactionConsistency

@srcRef "Article 13(1)(d)"
rule_art13_1_d_3: art13_1_d.hasBusinessRelationship & art13_1_d.sourceOfFundsCheckNecessary => [O] art13_1_d.mustScrutinizeSourceOfFundsConsistency

@srcRef "Article 13(1)(d)"
rule_art13_1_d_4: art13_1_d.hasBusinessRelationship => [O] art13_1_d.mustKeepInformationUpToDate

// Declarations
Atom art13_2.isObligedEntity "Is an obliged entity"
Atom art13_2.applyCddRequirementsPara1 "Apply customer due diligence requirements laid down in paragraph 1"
Atom art13_2.determineExtentRiskSensitive "Determine extent of measures on a risk-sensitive basis"

// Rules
@srcRef "Article 13(2)"
rule_art13_2_obligation: art13_2.isObligedEntity => [O] art13_2.applyCddRequirementsPara1

@srcRef "Article 13(2)"
rule_art13_2_permission: art13_2.isObligedEntity => [P] art13_2.determineExtentRiskSensitive

// Declarations
Atom art13_3.isObligedEntity "Is an obliged entity"
Atom art13_3.isAssessingMLTFRisks "Is assessing the risks of money laundering and terrorist financing"
Atom art13_3.mustTakeIntoAccountAnnexIVariables "Must take into account at least the variables set out in Annex I"

// Rules
@srcRef "Article 13(3)"
rule_art13_3_1: art13_3.isObligedEntity & art13_3.isAssessingMLTFRisks => [O] art13_3.mustTakeIntoAccountAnnexIVariables

// Declarations
Atom art13_4.isMemberState "Is a Member State"
Atom art13_4.risksIdentified "Risks of money laundering and terrorist financing have been identified"
Atom art13_4.ensuresDemonstrationAbility "Must ensure obliged entities are able to demonstrate to competent authorities or self-regulatory bodies that measures are appropriate"

// Rules
@srcRef "Article 13(4)"
rule_art13_4_1: art13_4.isMemberState & art13_4.risksIdentified => [O] art13_4.ensuresDemonstrationAbility

// Declarations
Atom art13_5a.beneficiaryIsSpecificNamedPerson "Beneficiary is identified as a specifically named person"
Atom art13_5a.beneficiaryIsLegalArrangement "Beneficiary is identified as a legal arrangement"
Atom art13_5a.takeNameOfPerson "Take the name of the person"

// Rules
@srcRef "Article 13(5)(a)"
rule_art13_5a_1: art13_5a.beneficiaryIsSpecificNamedPerson | art13_5a.beneficiaryIsLegalArrangement => [O] art13_5a.takeNameOfPerson

// Declarations
Atom art13_5.isLifeInsuranceBusiness "Is life insurance business"
Atom art13_5.isInvestmentRelatedInsuranceBusiness "Is investment-related insurance business"
Atom art13_5.isCreditInstitution "Is a credit institution"
Atom art13_5.isFinancialInstitution "Is a financial institution"
Atom art13_5.beneficiaryIdentifiedOrDesignated "Beneficiary is identified or designated"
Atom art13_5.mustConductCDDonBeneficiaries "Must conduct customer due diligence on beneficiaries"

// Rules
@srcRef "Article 13(5)"
rule_art13_5_1: art13_5.isLifeInsuranceBusiness & art13_5.isCreditInstitution & art13_5.beneficiaryIdentifiedOrDesignated => [O] art13_5.mustConductCDDonBeneficiaries

@srcRef "Article 13(5)"
rule_art13_5_2: art13_5.isLifeInsuranceBusiness & art13_5.isFinancialInstitution & art13_5.beneficiaryIdentifiedOrDesignated => [O] art13_5.mustConductCDDonBeneficiaries

@srcRef "Article 13(5)"
rule_art13_5_3: art13_5.isInvestmentRelatedInsuranceBusiness & art13_5.isCreditInstitution & art13_5.beneficiaryIdentifiedOrDesignated => [O] art13_5.mustConductCDDonBeneficiaries

@srcRef "Article 13(5)"
rule_art13_5_4: art13_5.isInvestmentRelatedInsuranceBusiness & art13_5.isFinancialInstitution & art13_5.beneficiaryIdentifiedOrDesignated => [O] art13_5.mustConductCDDonBeneficiaries

// Declarations
Atom art13_5_b.isCreditInstitution "Entity is a credit institution"
Atom art13_5_b.isFinancialInstitution "Entity is a financial institution"
Atom art13_5_b.beneficiariesDesignatedByCharacteristics "Beneficiaries are designated by characteristics"
Atom art13_5_b.beneficiariesDesignatedByClass "Beneficiaries are designated by class"
Atom art13_5_b.beneficiariesDesignatedByOtherMeans "Beneficiaries are designated by other means"
Atom art13_5_b.obtainedSufficientInfoForIdentity "Obtained sufficient information concerning beneficiaries to satisfy the institution that it can establish identity at payout"

// Rules
@srcRef "Article 13(5)(b)"
rule_art13_5_b: art13_5_b.isCreditInstitution & art13_5_b.beneficiariesDesignatedByCharacteristics | art13_5_b.isCreditInstitution & art13_5_b.beneficiariesDesignatedByClass | art13_5_b.isCreditInstitution & art13_5_b.beneficiariesDesignatedByOtherMeans | art13_5_b.isFinancialInstitution & art13_5_b.beneficiariesDesignatedByCharacteristics | art13_5_b.isFinancialInstitution & art13_5_b.beneficiariesDesignatedByClass | art13_5_b.isFinancialInstitution & art13_5_b.beneficiariesDesignatedByOtherMeans => [O] art13_5_b.obtainedSufficientInfoForIdentity

// No text provided to encode for Article 13

// Declarations
Atom art14.establishingBusinessRelationship "Establishing a business relationship"
Atom art14.carryingOutTransaction "Carrying out of the transaction"
Atom art14.customerIdentityVerified "Customer identity has been verified"
Atom art14.beneficialOwnerIdentityVerified "Beneficial owner identity has been verified"

// Rules
@srcRef "Article 14(1)"
rule_art14_1_customer: art14.establishingBusinessRelationship | art14.carryingOutTransaction => [O] art14.customerIdentityVerified

@srcRef "Article 14(1)"
rule_art14_1_beneficialOwner: art14.establishingBusinessRelationship | art14.carryingOutTransaction => [O] art14.beneficialOwnerIdentityVerified

// Declarations
Atom art14.necessaryForNormalBusiness "Necessary so as not to interrupt the normal conduct of business"
Atom art14.littleRiskMLTF "Little risk of money laundering or terrorist financing"
Atom art14.verificationDuringEstablishment "Verification of identity of customer and beneficial owner completed during establishment of business relationship"
Atom art14.completedAsSoonAsPracticable "Verification procedures completed as soon as practicable after initial contact"

// Rules
@srcRef "Article 14(2)"
rule_art14_2_permission: art14.necessaryForNormalBusiness & art14.littleRiskMLTF => [P] art14.verificationDuringEstablishment

@srcRef "Article 14(2)"
rule_art14_2_obligation: art14.verificationDuringEstablishment => [O] art14.completedAsSoonAsPracticable

Atom art14_3.adequateSafeguards "Adequate safeguards are in place"
Atom art14_3.cddArt13_1aAnd1bComplete "Full compliance with Article 13(1)(a) and (b) CDD requirements obtained"
Atom art14_3.transactionsBlockedUntilCddComplete "Transactions are blocked until CDD requirements are completed"
Atom art14_3.accountOpeningPermitted "Account opening permitted under Article 14(3) derogation"

@srcRef "Article 14(3)"
rule_art14_3_1: art13_4.isMemberState & art13_5.isCreditInstitution & art14_3.adequateSafeguards & ~art14_3.cddArt13_1aAnd1bComplete & art14_3.transactionsBlockedUntilCddComplete => [P] art14_3.accountOpeningPermitted
rule_art14_3_2: art13_4.isMemberState & art13_5.isFinancialInstitution & art14_3.adequateSafeguards & ~art14_3.cddArt13_1aAnd1bComplete & art14_3.transactionsBlockedUntilCddComplete => [P] art14_3.accountOpeningPermitted

// Declarations
Atom art14_4.unableToComplyWithCDD "Unable to comply with Article 13(1)(a), (b) or (c) customer due diligence requirements"
Atom art14_4.carryingOutTransactionViaBankAccount "Carrying out a transaction through a bank account"
Atom art14_4.establishingBusinessRelationship "Establishing a business relationship"
Atom art14_4.carryingOutTransaction "Carrying out the transaction"
Atom art14_4.mustTerminateBusinessRelationship "Must terminate the business relationship"
Atom art14_4.mustConsiderSTR "Must consider making a suspicious transaction report to the FIU"

// Rules
@srcRef "Article 14(4)"
rule_art14_4_1: art13_1.isObligedEntity & art14_4.unableToComplyWithCDD => [F] art14_4.carryingOutTransactionViaBankAccount

@srcRef "Article 14(4)"
rule_art14_4_2: art13_1.isObligedEntity & art14_4.unableToComplyWithCDD => [F] art14_4.establishingBusinessRelationship

@srcRef "Article 14(4)"
rule_art14_4_3: art13_1.isObligedEntity & art14_4.unableToComplyWithCDD => [F] art14_4.carryingOutTransaction

@srcRef "Article 14(4)"
rule_art14_4_4: art13_1.isObligedEntity & art14_4.unableToComplyWithCDD => [O] art14_4.mustTerminateBusinessRelationship

@srcRef "Article 14(4)"
rule_art14_4_5: art13_1.isObligedEntity & art14_4.unableToComplyWithCDD => [O] art14_4.mustConsiderSTR

// Declarations
Atom art14_5.isObligedEntity "Is an obliged entity"
Atom art14_5.isNewCustomer "Is a new customer"
Atom art14_5.isExistingCustomer "Is an existing customer"
Atom art14_5.cddMeasuresApplied "Customer due diligence measures are applied"
Atom art14_5.isAppropriateTime "Is an appropriate time"
Atom art14_5.isRiskSensitiveBasis "Is on a risk-sensitive basis"
Atom art14_5.circumstancesChanged "Relevant circumstances of customer have changed"

// Rules
@srcRef "Article 14(5)"
rule_art14_5_new_customers: art14_5.isObligedEntity & art14_5.isNewCustomer => [O] art14_5.cddMeasuresApplied

@srcRef "Article 14(5)"
rule_art14_5_existing_customers: art14_5.isObligedEntity & art14_5.isExistingCustomer & art14_5.isAppropriateTime & art14_5.isRiskSensitiveBasis => [O] art14_5.cddMeasuresApplied

@srcRef "Article 14(5)"
rule_art14_5_changed_circumstances: art14_5.isObligedEntity & art14_5.isExistingCustomer & art14_5.circumstancesChanged & art14_5.isRiskSensitiveBasis => [O] art14_5.cddMeasuresApplied

// Declarations
Atom art14.isNotary "Is a notary"
Atom art14.isIndependentLegalProfessional "Is an independent legal professional"
Atom art14.isAuditor "Is an auditor"
Atom art14.isExternalAccountant "Is an external accountant"
Atom art14.isTaxAdvisor "Is a tax advisor"
Atom art14.ascertainingLegalPosition "Ascertaining the legal position of a client"
Atom art14.defendingOrRepresentingClient "Defending or representing a client in or concerning judicial proceedings"
Atom art14.adviceOnProceedings "Providing advice on instituting or avoiding judicial proceedings"
Atom art14.firstSubparagraphApplies "First subparagraph applies"

// Rules
@srcRef "Article 14"
rule_art14_notary_exc: art14.isNotary & art14.ascertainingLegalPosition | art14.isNotary & art14.defendingOrRepresentingClient | art14.isNotary & art14.adviceOnProceedings => [E] art14.firstSubparagraphApplies

@srcRef "Article 14"
rule_art14_legal_exc: art14.isIndependentLegalProfessional & art14.ascertainingLegalPosition | art14.isIndependentLegalProfessional & art14.defendingOrRepresentingClient | art14.isIndependentLegalProfessional & art14.adviceOnProceedings => [E] art14.firstSubparagraphApplies

@srcRef "Article 14"
rule_art14_auditor_exc: art14.isAuditor & art14.ascertainingLegalPosition | art14.isAuditor & art14.defendingOrRepresentingClient | art14.isAuditor & art14.adviceOnProceedings => [E] art14.firstSubparagraphApplies

@srcRef "Article 14"
rule_art14_accountant_exc: art14.isExternalAccountant & art14.ascertainingLegalPosition | art14.isExternalAccountant & art14.defendingOrRepresentingClient | art14.isExternalAccountant & art14.adviceOnProceedings => [E] art14.firstSubparagraphApplies

@srcRef "Article 14"
rule_art14_tax_exc: art14.isTaxAdvisor & art14.ascertainingLegalPosition | art14.isTaxAdvisor & art14.defendingOrRepresentingClient | art14.isTaxAdvisor & art14.adviceOnProceedings => [E] art14.firstSubparagraphApplies

// Article 15
// No substantive text or obligations found in this section.

Atom art15_1.memberStateIdentifiesLowerRisk "Member State identifies areas of lower risk"
Atom art15_1.obligedEntityIdentifiesLowerRisk "Obliged entity identifies areas of lower risk"
Atom art15_1.memberStateAllowsSimplifiedCDD "Member State allows obliged entities to apply simplified customer due diligence measures"

@srcRef "Article 15(1)"
rule_art15_1: art15_1.memberStateIdentifiesLowerRisk | art15_1.obligedEntityIdentifiesLowerRisk => [P] art15_1.memberStateAllowsSimplifiedCDD

// Declarations
Atom art15_2.isObligedEntity "Is an obliged entity"
Atom art15_2.applyingSimplifiedDueDiligence "Applying simplified customer due diligence measures"
Atom art15_2.mustAscertainLowerRisk "Must ascertain that the business relationship or transaction presents a lower degree of risk"

// Rules
@srcRef "Article 15(2)"
rule_art15_2_1: art15_2.isObligedEntity & art15_2.applyingSimplifiedDueDiligence => [O] art15_2.mustAscertainLowerRisk

// Declarations
Atom art15_3.isObligedEntity "Is an obliged entity"
Atom art15_3.carriesOutSufficientMonitoring "Carries out sufficient monitoring of transactions and business relationships to enable detection of unusual or suspicious transactions"

// Rules
@srcRef "Article 15(3)"
rule_art15_3_1: art15_3.isObligedEntity => [O] art15_3.carriesOutSufficientMonitoring

// Declarations
Atom art16.isMemberState "Is a Member State"
Atom art16.isObligedEntity "Is an obliged entity"
Atom art16.scopeCustomerTypes "Assessing risks relating to types of customers"
Atom art16.scopeGeographicAreas "Assessing risks relating to geographic areas"
Atom art16.scopeProducts "Assessing risks relating to particular products"
Atom art16.scopeServices "Assessing risks relating to services"
Atom art16.scopeTransactions "Assessing risks relating to transactions"
Atom art16.scopeDeliveryChannels "Assessing risks relating to delivery channels"
Atom art16.mustConsiderAnnexIILowerRiskFactors "Must take into account at least the factors of potentially lower risk situations set out in Annex II"

// Rules
@srcRef "Article 16"
rule_art16_1: art16.isMemberState & art16.scopeCustomerTypes | art16.isMemberState & art16.scopeGeographicAreas | art16.isMemberState & art16.scopeProducts | art16.isMemberState & art16.scopeServices | art16.isMemberState & art16.scopeTransactions | art16.isMemberState & art16.scopeDeliveryChannels => [O] art16.mustConsiderAnnexIILowerRiskFactors

@srcRef "Article 16"
rule_art16_2: art16.isObligedEntity & art16.scopeCustomerTypes | art16.isObligedEntity & art16.scopeGeographicAreas | art16.isObligedEntity & art16.scopeProducts | art16.isObligedEntity & art16.scopeServices | art16.isObligedEntity & art16.scopeTransactions | art16.isObligedEntity & art16.scopeDeliveryChannels => [O] art16.mustConsiderAnnexIILowerRiskFactors

// Declarations
Atom art17.areESAs "Subject is the European Supervisory Authorities (ESAs)"
Atom art17.before26June2017 "Current date is on or before 26 June 2017"
Atom art17.mustIssueGuidelines "Must issue guidelines on simplified customer due diligence"
Atom art17.addressedToCompetentAuthorities "Guidelines addressed to competent authorities"
Atom art17.addressedToCreditInstitutions "Guidelines addressed to credit institutions"
Atom art17.addressedToFinancialInstitutions "Guidelines addressed to financial institutions"
Atom art17.coverRiskFactorsSimplifiedCDD "Guidelines cover risk factors for simplified CDD"
Atom art17.coverMeasuresSimplifiedCDD "Guidelines cover measures to be taken for simplified CDD"
Atom art17.considerNatureAndSizeOfBusiness "Guidelines take specific account of the nature and size of the business"
Atom art17.appropriateAndProportionateForSpecificMeasures "It is appropriate and proportionate to lay down specific measures"
Atom art17.includeSpecificMeasures "Guidelines lay down specific measures"

// Rules
@srcRef "Article 17 - obligation to issue guidelines by deadline"
rule_art17_1: art17.areESAs & art17.before26June2017 => [O] art17.mustIssueGuidelines

@srcRef "Article 17 - addressee competent authorities"
rule_art17_2: art17.mustIssueGuidelines => [O] art17.addressedToCompetentAuthorities

@srcRef "Article 17 - addressee credit institutions"
rule_art17_3: art17.mustIssueGuidelines => [O] art17.addressedToCreditInstitutions

@srcRef "Article 17 - addressee financial institutions"
rule_art17_4: art17.mustIssueGuidelines => [O] art17.addressedToFinancialInstitutions

@srcRef "Article 17 - content on risk factors"
rule_art17_5: art17.mustIssueGuidelines => [O] art17.coverRiskFactorsSimplifiedCDD

@srcRef "Article 17 - content on measures"
rule_art17_6: art17.mustIssueGuidelines => [O] art17.coverMeasuresSimplifiedCDD

@srcRef "Article 17 - consideration of nature and size of business"
rule_art17_7: art17.mustIssueGuidelines => [O] art17.considerNatureAndSizeOfBusiness

@srcRef "Article 17 - specific measures where appropriate and proportionate"
rule_art17_8: art17.mustIssueGuidelines & art17.appropriateAndProportionateForSpecificMeasures => [O] art17.includeSpecificMeasures

// Declarations
Atom art18.caseArticles19to24 "Case referred to in Articles 19 to 24"
Atom art18.dealingHighRiskThirdCountryNaturalPerson "Dealing with natural person established in high-risk third country"
Atom art18.dealingHighRiskThirdCountryLegalEntity "Dealing with legal entity established in high-risk third country"
Atom art18.otherHigherRiskCase "Other case of higher risk identified by Member State or obliged entity"
Atom art18.branchInHighRiskThirdCountry "Branch located in high-risk third country"
Atom art18.majorityOwnedSubsidiaryInHighRiskThirdCountry "Majority-owned subsidiary located in high-risk third country"
Atom art18.compliesWithArticle45 "Fully complies with group-wide policies and procedures per Article 45"
Atom art18.enhancedCDD "Apply enhanced customer due diligence measures"
Atom art18.useRiskBasedApproach "Handle using risk-based approach"

Atom art18.complexTransaction "Complex transaction"
Atom art18.unusuallyLargeTransaction "Unusually large transaction"
Atom art18.unusualPatternTransactions "Unusual pattern of transactions"
Atom art18.noApparentEconomicLawfulPurpose "No apparent economic or lawful purpose"
Atom art18.examineBackgroundPurpose "Examine background and purpose of transactions"
Atom art18.increaseMonitoring "Increase degree and nature of monitoring of business relationship"

Atom art18.assessingRisk "Assessing risks of money laundering and terrorist financing"
Atom art18.considerAnnexIII "Take into account factors of potentially higher-risk situations in Annex III"

Atom art18.isESA "Is European Supervisory Authority"
Numeric art18.currentDate "Current date"
Atom art18.issuedGuidelines "Issued guidelines on risk factors and measures"

// Rules
@srcRef "Article 18(1)"
rule_art18_1_main: art18.caseArticles19to24 | art18.dealingHighRiskThirdCountryNaturalPerson | art18.dealingHighRiskThirdCountryLegalEntity | art18.otherHigherRiskCase => [O] art18.enhancedCDD

@srcRef "Article 18(1) exception"
rule_art18_1_exception: art18.branchInHighRiskThirdCountry & art18.compliesWithArticle45 | art18.majorityOwnedSubsidiaryInHighRiskThirdCountry & art18.compliesWithArticle45 => [E] art18.enhancedCDD

rule_art18_1_exception >> rule_art18_1_main

@srcRef "Article 18(1) risk-based"
rule_art18_1_riskbased: art18.branchInHighRiskThirdCountry & art18.compliesWithArticle45 | art18.majorityOwnedSubsidiaryInHighRiskThirdCountry & art18.compliesWithArticle45 => [O] art18.useRiskBasedApproach

@srcRef "Article 18(2) examination"
rule_art18_2_examine: art18.complexTransaction & art18.unusuallyLargeTransaction | art18.unusualPatternTransactions & art18.noApparentEconomicLawfulPurpose => [O] art18.examineBackgroundPurpose

@srcRef "Article 18(2) monitoring"
rule_art18_2_monitor: art18.complexTransaction & art18.unusuallyLargeTransaction | art18.unusualPatternTransactions & art18.noApparentEconomicLawfulPurpose => [O] art18.increaseMonitoring

@srcRef "Article 18(3)"
rule_art18_3: art18.assessingRisk => [O] art18.considerAnnexIII

@srcRef "Article 18(4)"
rule_art18_4: art18.isESA & art18.currentDate <= 20170626 => [O] art18.issuedGuidelines

// Declarations
Atom art19.isSubjectEntity "Is a credit institution or financial institution"
Atom art19.isCrossBorderCorrespondentRelationship "Is a cross-border correspondent relationship"
Atom art19.respondentIsThirdCountryInstitution "Respondent institution is in a third country"
Atom art19.gatherSufficientInfo "Gather sufficient information about the respondent institution"
Atom art19.assessAmlCftControls "Assess the respondent institution's AML/CFT controls"
Atom art19.isNewCorrespondentRelationship "Establishing a new correspondent relationship"
Atom art19.obtainSeniorManagementApproval "Obtain approval from senior management"
Atom art19.documentResponsibilities "Document the respective responsibilities of each institution"
Atom art19.isPayableThroughAccount "Is a payable-through account"
Atom art19.satisfiedRespondentVerifiedCustomers "Satisfied that respondent verified identity and due diligence of customers with direct access"
Atom art19.satisfiedRespondentCanProvideData "Satisfied that respondent is able to provide relevant CDD data"

// Rules
@srcRef "Article 19"
rule_art19_def: art13_5.isCreditInstitution | art13_5.isFinancialInstitution => [O] art19.isSubjectEntity

@srcRef "Article 19(a)"
rule_art19_a: art19.isSubjectEntity & art19.isCrossBorderCorrespondentRelationship & art19.respondentIsThirdCountryInstitution => [O] art19.gatherSufficientInfo

@srcRef "Article 19(b)"
rule_art19_b: art19.isSubjectEntity & art19.isCrossBorderCorrespondentRelationship & art19.respondentIsThirdCountryInstitution => [O] art19.assessAmlCftControls

@srcRef "Article 19(c)"
rule_art19_c: art19.isSubjectEntity & art19.isCrossBorderCorrespondentRelationship & art19.respondentIsThirdCountryInstitution & art19.isNewCorrespondentRelationship => [O] art19.obtainSeniorManagementApproval

@srcRef "Article 19(d)"
rule_art19_d: art19.isSubjectEntity & art19.isCrossBorderCorrespondentRelationship & art19.respondentIsThirdCountryInstitution => [O] art19.documentResponsibilities

@srcRef "Article 19(e)"
rule_art19_e1: art19.isSubjectEntity & art19.isCrossBorderCorrespondentRelationship & art19.respondentIsThirdCountryInstitution & art19.isPayableThroughAccount => [O] art19.satisfiedRespondentVerifiedCustomers

@srcRef "Article 19(e)"
rule_art19_e2: art19.isSubjectEntity & art19.isCrossBorderCorrespondentRelationship & art19.respondentIsThirdCountryInstitution & art19.isPayableThroughAccount => [O] art19.satisfiedRespondentCanProvideData

// Declarations
Atom art20.customerIsPoliticallyExposedPerson "Customer is a politically exposed person"
Atom art20.beneficialOwnerIsPoliticallyExposedPerson "Beneficial owner is a politically exposed person"
Atom art20.isBusinessRelationshipWithPEP "Business relationship with a politically exposed person exists"
Atom art20.mustHaveAppropriateRiskManagementSystems "Must have appropriate risk management systems to determine PEP status"
Atom art20.mustHaveRiskBasedProceduresForPEP "Must have risk-based procedures to determine whether customer or beneficial owner is PEP"
Atom art20.mustObtainSeniorManagementApprovalForPEP "Must obtain senior management approval for establishing or continuing business relationships with PEPs"
Atom art20.mustEstablishSourceOfWealth "Must take adequate measures to establish the source of wealth"
Atom art20.mustEstablishSourceOfFunds "Must take adequate measures to establish the source of funds"
Atom art20.mustConductEnhancedOngoingMonitoring "Must conduct enhanced ongoing monitoring of business relationships with PEPs"

// Rules
@srcRef "Article 20(a)"
rule_art20_a: art13_4.isMemberState & art13_1.isObligedEntity => [O] art20.mustHaveAppropriateRiskManagementSystems & [O] art20.mustHaveRiskBasedProceduresForPEP

@srcRef "Article 20(b)(i)"
rule_art20_bi: art13_4.isMemberState & art13_1.isObligedEntity & art20.isBusinessRelationshipWithPEP => [O] art20.mustObtainSeniorManagementApprovalForPEP

@srcRef "Article 20(b)(ii)"
rule_art20_bii: art13_4.isMemberState & art13_1.isObligedEntity & art20.isBusinessRelationshipWithPEP => [O] art20.mustEstablishSourceOfWealth & [O] art20.mustEstablishSourceOfFunds

@srcRef "Article 20(b)(iii)"
rule_art20_biii: art13_4.isMemberState & art13_1.isObligedEntity & art20.isBusinessRelationshipWithPEP => [O] art20.mustConductEnhancedOngoingMonitoring

// Declarations
Atom art21.isLifeOrInvestmentInsurancePolicy "Is a life or other investment-related insurance policy"
Atom art21.beneficialOwnerCheckRequired "Beneficial owner of the beneficiary check is required"
Atom art21.mustDetermineBeneficiaryPepStatus "Must take reasonable measures to determine if the beneficiary is a politically exposed person"
Atom art21.mustDetermineBeneficialOwnerPepStatus "Must take reasonable measures to determine if the beneficial owner of the beneficiary is a politically exposed person"
Atom art21.mustCompleteMeasuresByPayoutOrAssignment "Measures to determine PEP status must be taken no later than at the time of the payout or at the time of the assignment"
Atom art21.mustInformSeniorManagement "Must inform senior management before payout of policy proceeds"
Atom art21.mustConductEnhancedScrutiny "Must conduct enhanced scrutiny of the entire business relationship with the policyholder"

// Rules
@srcRef "Article 21"
rule_art21_1: art13_1.isObligedEntity & art21.isLifeOrInvestmentInsurancePolicy => [O] art21.mustDetermineBeneficiaryPepStatus

@srcRef "Article 21"
rule_art21_2: art13_1.isObligedEntity & art21.isLifeOrInvestmentInsurancePolicy & art21.beneficialOwnerCheckRequired => [O] art21.mustDetermineBeneficialOwnerPepStatus

@srcRef "Article 21"
rule_art21_3: art21.mustDetermineBeneficiaryPepStatus | art21.mustDetermineBeneficialOwnerPepStatus => [O] art21.mustCompleteMeasuresByPayoutOrAssignment

@srcRef "Article 21(a)"
rule_art21_4: art13_1.isObligedEntity & art13_4.risksIdentified => [O] art21.mustInformSeniorManagement

@srcRef "Article 21(b)"
rule_art21_5: art13_1.isObligedEntity & art13_4.risksIdentified => [O] art21.mustConductEnhancedScrutiny

// Declarations
Atom art22.isPEP "Is a politically exposed person"
Atom art22.noLongerEntrusted "Is no longer entrusted with prominent public function"
Atom art22.entrustedByMemberState "Was entrusted by Member State"
Atom art22.entrustedByThirdCountry "Was entrusted by third country"
Atom art22.entrustedByInternationalOrg "Was entrusted by international organisation"
Atom art22.isObligedEntity "Is an obliged entity"
Numeric art22.monthsSinceEnd "Months since end of prominent public function"
Atom art22.posesNoFurtherRisk "Poses no further risk specific to politically exposed persons"
Atom art22.mustAssessContinuingRisk "Must take into account continuing risk"
Atom art22.mustApplyRiskSensitiveMeasures "Must apply appropriate and risk-sensitive measures"

// Rules
@srcRef "Article 22"
rule_art22_assess: art22.isObligedEntity & art22.isPEP & art22.noLongerEntrusted & art22.entrustedByMemberState & art22.monthsSinceEnd < 12 | art22.isObligedEntity & art22.isPEP & art22.noLongerEntrusted & art22.entrustedByMemberState & ~art22.posesNoFurtherRisk | art22.isObligedEntity & art22.isPEP & art22.noLongerEntrusted & art22.entrustedByThirdCountry & art22.monthsSinceEnd < 12 | art22.isObligedEntity & art22.isPEP & art22.noLongerEntrusted & art22.entrustedByThirdCountry & ~art22.posesNoFurtherRisk | art22.isObligedEntity & art22.isPEP & art22.noLongerEntrusted & art22.entrustedByInternationalOrg & art22.monthsSinceEnd < 12 | art22.isObligedEntity & art22.isPEP & art22.noLongerEntrusted & art22.entrustedByInternationalOrg & ~art22.posesNoFurtherRisk => [O] art22.mustAssessContinuingRisk

@srcRef "Article 22"
rule_art22_apply: art22.isObligedEntity & art22.isPEP & art22.noLongerEntrusted & art22.entrustedByMemberState & art22.monthsSinceEnd < 12 | art22.isObligedEntity & art22.isPEP & art22.noLongerEntrusted & art22.entrustedByMemberState & ~art22.posesNoFurtherRisk | art22.isObligedEntity & art22.isPEP & art22.noLongerEntrusted & art22.entrustedByThirdCountry & art22.monthsSinceEnd < 12 | art22.isObligedEntity & art22.isPEP & art22.noLongerEntrusted & art22.entrustedByThirdCountry & ~art22.posesNoFurtherRisk | art22.isObligedEntity & art22.isPEP & art22.noLongerEntrusted & art22.entrustedByInternationalOrg & art22.monthsSinceEnd < 12 | art22.isObligedEntity & art22.isPEP & art22.noLongerEntrusted & art22.entrustedByInternationalOrg & ~art22.posesNoFurtherRisk => [O] art22.mustApplyRiskSensitiveMeasures

// Declarations
Atom art23.isFamilyMember "Is a family member of a politically exposed person"
Atom art23.isCloseAssociate "Is a person known to be a close associate of a politically exposed person"
Atom art23.applyMeasures "The measures referred to in Articles 20 and 21 shall apply"

// Rules
@srcRef "Article 23"
rule_art23_1: art23.isFamilyMember | art23.isCloseAssociate => [O] art23.applyMeasures

// Declarations
Atom art24.isCreditInstitution "Is a credit institution"
Atom art24.isFinancialInstitution "Is a financial institution"
Atom art24.isSubjectInstitution "Is a credit institution or financial institution subject to Article 24"
Atom art24.correspondentPartnerIsShellBank "Correspondent partner is a shell bank"
Atom art24.correspondentPartnerAllowsShellBankAccounts "Correspondent partner allows its accounts to be used by a shell bank"
Atom art24.enteringCorrespondentRelationship "Entering into a correspondent relationship"
Atom art24.continuingCorrespondentRelationship "Continuing a correspondent relationship"
Atom art24.mustTakeAppropriateMeasures "Must take appropriate measures to prevent engagement with enabler institutions"

// Definition of subject institutions
rule_art24_def_1: art24.isCreditInstitution => [O] art24.isSubjectInstitution
rule_art24_def_2: art24.isFinancialInstitution => [O] art24.isSubjectInstitution

// Prohibitions on shell banks
@srcRef "Article 24 - prohibition on entering with shell bank"
rule_art24_1: art24.isSubjectInstitution & art24.enteringCorrespondentRelationship & art24.correspondentPartnerIsShellBank => [F] art24.enteringCorrespondentRelationship

@srcRef "Article 24 - prohibition on continuing with shell bank"
rule_art24_2: art24.isSubjectInstitution & art24.continuingCorrespondentRelationship & art24.correspondentPartnerIsShellBank => [F] art24.continuingCorrespondentRelationship

// Obligation to take measures regarding enabler institutions
@srcRef "Article 24 - measures for enablers"
rule_art24_3: art24.isSubjectInstitution & art24.enteringCorrespondentRelationship & art24.correspondentPartnerAllowsShellBankAccounts | art24.isSubjectInstitution & art24.continuingCorrespondentRelationship & art24.correspondentPartnerAllowsShellBankAccounts => [O] art24.mustTakeAppropriateMeasures

// Declarations
Atom art26_1_a.isObligedEntity "Entity is subject to Article 26(1) obligations"
Atom art26_1_a.mustApplyCDDRequirements "Must apply customer due diligence requirements consistent with this Directive"
Atom art26_1_a.mustApplyRecordKeepingRequirements "Must apply record-keeping requirements consistent with this Directive"

// Rules
@srcRef "Article 26(1)(a)"
rule_art26_1_a_cdd: art26_1_a.isObligedEntity => [O] art26_1_a.mustApplyCDDRequirements

@srcRef "Article 26(1)(a)"
rule_art26_1_a_recordkeeping: art26_1_a.isObligedEntity => [O] art26_1_a.mustApplyRecordKeepingRequirements

// Declarations
Atom art26.isThirdParty "Is a third party for the purposes of this Section"
Atom art2.isObligedEntity "Obliged entity listed in Article 2"
Atom art26.isMemberOrganisation "Member organisation or federation of an obliged entity"
Atom art26.isOtherInstitution "Other institution or person"
Atom art26.situatedInMemberState "Situated in a Member State"
Atom art26.situatedInThirdCountry "Situated in a third country"

// Rules
@srcRef "Article 26(1)"
rule_art26_1a: art2.isObligedEntity => [O] art26.isThirdParty

@srcRef "Article 26(1)"
rule_art26_1b: art26.isMemberOrganisation => [O] art26.isThirdParty

@srcRef "Article 26(1)"
rule_art26_1c: art26.isOtherInstitution & art26.situatedInMemberState => [O] art26.isThirdParty

@srcRef "Article 26(1)"
rule_art26_1d: art26.isOtherInstitution & art26.situatedInThirdCountry => [O] art26.isThirdParty

// Declarations
Atom art26.isSubject "Entity subject to Article 26(1)"
Atom art26.complianceSupervisedCh6S2 "Compliance supervised in manner consistent with Section 2 of Chapter VI"

// Rules
@srcRef "Article 26(1)(b)"
rule_art26_1b: art26.isSubject => [O] art26.complianceSupervisedCh6S2

// Declarations
Atom art26_2.isObligedEntity "Is an obliged entity"
Atom art26_2.isRelyingOnThirdParty "Is relying on a third party"
Atom art26_2.thirdPartyInHighRiskCountry "Third party is established in a high-risk third country"
Atom art26_2.isBranch "Is a branch"
Atom art26_2.isMajorityOwnedSubsidiary "Is a majority-owned subsidiary"
Atom art26_2.parentEstablishedInUnion "Parent obliged entity is established in the Union"
Atom art26_2.compliesWithArticle45 "Fully complies with group-wide policies and procedures in accordance with Article 45"
Atom art26_2.relianceIsProhibited "Relying on the third party is prohibited"

// Rules
@srcRef "Article 26(2)"
rule_art26_2_prohibition: art26_2.isObligedEntity & art26_2.isRelyingOnThirdParty & art26_2.thirdPartyInHighRiskCountry => [O] art26_2.relianceIsProhibited

@srcRef "Article 26(2)"
rule_art26_2_exemption_branch: art26_2.isBranch & art26_2.parentEstablishedInUnion & art26_2.compliesWithArticle45 => [E] art26_2.relianceIsProhibited

@srcRef "Article 26(2)"
rule_art26_2_exemption_subsidiary: art26_2.isMajorityOwnedSubsidiary & art26_2.parentEstablishedInUnion & art26_2.compliesWithArticle45 => [E] art26_2.relianceIsProhibited

rule_art26_2_exemption_branch >> rule_art26_2_prohibition
rule_art26_2_exemption_subsidiary >> rule_art26_2_prohibition

// Article 26 contains no substantive content for encoding

// Declarations
Atom art27_1.reliesOnThirdParty "Relies on third party for customer due diligence"
Atom art27_1.mustObtainCDDInfoFromThirdParty "Must obtain necessary information concerning customer due diligence requirements laid down in Article 13(1)(a)-(c) from third party"

// Rules
@srcRef "Article 27(1)"
rule_art27_1: art13.isObligedEntity & art27_1.reliesOnThirdParty => [O] art27_1.mustObtainCDDInfoFromThirdParty

// No regulatory text provided for Article 27.

// Declarations
Atom art27_2.isObligedEntityReferral "Is an obliged entity to which a customer is referred"
Atom art27_2.mustEnsureThirdPartyProvidesDocs "Must take adequate steps to ensure third party provides copies of identification and verification data immediately upon request"

// Rules
@srcRef "Article 27(2)"
rule_art27_2_1: art27_2.isObligedEntityReferral => [O] art27_2.mustEnsureThirdPartyProvidesDocs

// No substantive regulatory content provided in Article 28 for encoding

// Declarations
Atom art28.isObligedEntity "Is an obliged entity"
Atom art28.thirdPartyInSameGroup "Third party is part of the same group"
Atom art28.mayRelyOnInformation "May rely on information provided by a third party"

// Rules
@srcRef "Article 28(a)"
rule_art28_a: art28.isObligedEntity & art28.thirdPartyInSameGroup => [P] art28.mayRelyOnInformation

// Declarations
Atom art28b.isGroup "Is a group"
Atom art28b.appliesRequiredMeasures "Applies customer due diligence measures and rules on record-keeping and programmes against money laundering and terrorist financing in accordance with this Directive or equivalent rules"

// Rules
@srcRef "Article 28(b)"
rule_art28b_1: art28b.isGroup => [O] art28b.appliesRequiredMeasures

// Declarations
Atom art28c.effectiveImplementationOfRequirements "Effective implementation of the requirements referred to in point b"
Atom art28c.homeMemberStateAuthority "Competent authority of the home Member State"
Atom art28c.thirdCountryAuthority "Competent authority of the third country"
Atom art28c.supervisedAtGroupLevel "Supervised at group level"

// Rules
@srcRef "Article 28(c)"
rule_art28c_home: art28c.effectiveImplementationOfRequirements & art28c.homeMemberStateAuthority => [O] art28c.supervisedAtGroupLevel

@srcRef "Article 28(c)"
rule_art28c_third: art28c.effectiveImplementationOfRequirements & art28c.thirdCountryAuthority => [O] art28c.supervisedAtGroupLevel

// Declarations
Atom art29.isOutsourcingRelationship "Is an outsourcing relationship"
Atom art29.isAgencyRelationship "Is an agency relationship"
Atom art29.isContractualArrangement "Is based on a contractual arrangement"
Atom art29.isRegardedAsPartOfObligedEntity "The outsourcing service provider or agent is regarded as part of the obliged entity"
Atom art29.sectionApplies "This section applies to the entity"

// Rules
@srcRef "Article 29"
rule_art29_exception: art29.isOutsourcingRelationship & art29.isContractualArrangement & art29.isRegardedAsPartOfObligedEntity | art29.isAgencyRelationship & art29.isContractualArrangement & art29.isRegardedAsPartOfObligedEntity => [E] art29.sectionApplies

// Declarations
Atom art30.isCorporateEntity "Is a corporate or other legal entity incorporated within the Member State territory"
Atom art30.mustObtainHoldBOInfo "Must obtain and hold adequate accurate and current information on beneficial ownership including details of beneficial interests held"
Atom art30.obligedEntityTakingCDD "An obliged entity is taking customer due diligence measures in accordance with Chapter II"
Atom art30.mustProvideBOInfo "Must provide beneficial ownership information to obliged entities in addition to legal owner information"

// Rules
@srcRef "Article 30(1) first paragraph"
rule_art30_1_obtain: art30.isCorporateEntity => [O] art30.mustObtainHoldBOInfo

@srcRef "Article 30(1) second paragraph"
rule_art30_1_provide: art30.isCorporateEntity & art30.obligedEntityTakingCDD => [O] art30.mustProvideBOInfo

// Article 30
// No regulatory text provided in this section to encode.

// Declarations
Atom art31_1.isTrustee "Is a trustee of an express trust"
Atom art31_1.governedUnderMemberStateLaw "Trust is governed under the law of a Member State"
Atom art31_1.mustObtainBOInfo "Must obtain beneficial ownership information"
Atom art31_1.mustHoldBOInfo "Must hold beneficial ownership information"
Atom art31_1.infoIsAdequate "Information is adequate accurate and up-to-date"
Atom art31_1.infoIncludesIdentity "Information includes the identity of beneficial owners"

// Rules
@srcRef "Article 31.1"
rule_art31_1_obtain: art31_1.isTrustee & art31_1.governedUnderMemberStateLaw => [O] art31_1.mustObtainBOInfo

@srcRef "Article 31.1"
rule_art31_1_hold: art31_1.isTrustee & art31_1.governedUnderMemberStateLaw => [O] art31_1.mustHoldBOInfo

@srcRef "Article 31.1"
rule_art31_1_quality: art31_1.mustHoldBOInfo => [O] art31_1.infoIsAdequate

@srcRef "Article 31.1"
rule_art31_1_content: art31_1.mustHoldBOInfo => [O] art31_1.infoIncludesIdentity

// Declarations
Atom art31_1_a.isSettlor "Is the settlor within the meaning of Article 31.1(a)"
Atom art31_1_a.subjectToObligation "Is subject to the obligation under Article 31.1"

// Rules
@srcRef "Article 31.1(a)"
rule_art31_1_a: art31_1_a.isSettlor => [O] art31_1_a.subjectToObligation

// Declarations
Atom art31_1.isTrustee "Is a trustee"

// Declarations
Atom art31_1_c.protectorExists "A protector exists for the arrangement"
Atom art31_1_c.mustIncludeProtector "Must include the protector in the disclosure"

// Rules
@srcRef "Article 31.1(c)"
rule_art31_1_c: art31_1_c.protectorExists => [O] art31_1_c.mustIncludeProtector

// Article 31 contains no substantive text to encode into rules.

// No regulatory text provided for Section Article 32

// Article 33
// No substantive regulatory content provided in the input text

// Declarations
Atom art33.isObligedEntity "Is an obliged entity"
Atom art33.isDirector "Is a director of an obliged entity"
Atom art33.isEmployee "Is an employee of an obliged entity"
Atom art33.isSuspiciousTransaction "Is a suspicious transaction"
Atom art33.isAttemptedTransaction "Is an attempted transaction"
Atom art33.transactionReported "Transaction has been reported"
Atom art33.mustCooperateFully "Must cooperate fully"

// Rules
@srcRef "Article 33(1)"
rule_art33_cooperate: art33.isObligedEntity | art33.isDirector | art33.isEmployee => [O] art33.mustCooperateFully

@srcRef "Article 33(1)"
rule_art33_report_suspicious: art33.isObligedEntity & art33.isSuspiciousTransaction => [O] art33.transactionReported

@srcRef "Article 33(1)"
rule_art33_report_attempted: art33.isObligedEntity & art33.isAttemptedTransaction => [O] art33.transactionReported

// Declarations
Atom art33.isObligedEntity "Is an obliged entity"
Atom art33.knowsFundsProceedsCriminalActivity "Knows that funds are the proceeds of criminal activity"
Atom art33.suspectsFundsProceedsCriminalActivity "Suspects that funds are the proceeds of criminal activity"
Atom art33.reasonableGroundsSuspectFundsProceedsCriminalActivity "Has reasonable grounds to suspect that funds are the proceeds of criminal activity"
Atom art33.knowsFundsRelatedTerroristFinancing "Knows that funds are related to terrorist financing"
Atom art33.suspectsFundsRelatedTerroristFinancing "Suspects that funds are related to terrorist financing"
Atom art33.reasonableGroundsSuspectFundsRelatedTerroristFinancing "Has reasonable grounds to suspect that funds are related to terrorist financing"
Atom art33.mustInformFIU "Must inform the FIU on own initiative"
Atom art33.mustRespondToFIURequests "Must promptly respond to requests by the FIU for additional information"

// Rules
@srcRef "Article 33(1)(a)"
rule_art33_1a_inform: art33.isObligedEntity & art33.knowsFundsProceedsCriminalActivity | art33.isObligedEntity & art33.suspectsFundsProceedsCriminalActivity | art33.isObligedEntity & art33.reasonableGroundsSuspectFundsProceedsCriminalActivity | art33.isObligedEntity & art33.knowsFundsRelatedTerroristFinancing | art33.isObligedEntity & art33.suspectsFundsRelatedTerroristFinancing | art33.isObligedEntity & art33.reasonableGroundsSuspectFundsRelatedTerroristFinancing => [O] art33.mustInformFIU

@srcRef "Article 33(1)(a)"
rule_art33_1a_respond: art33.isObligedEntity & art33.knowsFundsProceedsCriminalActivity | art33.isObligedEntity & art33.suspectsFundsProceedsCriminalActivity | art33.isObligedEntity & art33.reasonableGroundsSuspectFundsProceedsCriminalActivity | art33.isObligedEntity & art33.knowsFundsRelatedTerroristFinancing | art33.isObligedEntity & art33.suspectsFundsRelatedTerroristFinancing | art33.isObligedEntity & art33.reasonableGroundsSuspectFundsRelatedTerroristFinancing => [O] art33.mustRespondToFIURequests

// Declarations
Atom art33_1_b.fiuRequest "Request for information made by the FIU"
Atom art33_1_b.provideNecessaryInfo "Provide all necessary information to the FIU directly or indirectly in accordance with applicable law"

// Rules
@srcRef "Article 33(1)(b)"
rule_art33_1_b_1: art33_1_b.fiuRequest => [O] art33_1_b.provideNecessaryInfo

// Declarations
Atom art33_2.isAppointedUnderArt8_4a "Person is appointed in accordance with point (a) of Article 8(4)"
Atom art33_2.hasInformationReferredInParagraph1 "Has the information referred to in paragraph 1 of this Article"
Atom art33_2.obligedEntityEstablishedInMemberState "Obliged entity is established in a Member State"
Atom art33_2.mustTransmitToFIU "Must transmit the information to the FIU of the Member State"

// Rules
@srcRef "Article 33(2)"
rule_art33_2: art33_2.isAppointedUnderArt8_4a & art33_2.hasInformationReferredInParagraph1 & art33_2.obligedEntityEstablishedInMemberState => [O] art33_2.mustTransmitToFIU

// Declarations
Atom art34.isObligedEntityArt2_1_3a "Is an obliged entity referred to in point (3)(a) of Article 2(1)"
Atom art34.isObligedEntityArt2_1_3b "Is an obliged entity referred to in point (3)(b) of Article 2(1)"
Atom art34.isObligedEntityArt2_1_3d "Is an obliged entity referred to in point (3)(d) of Article 2(1)"
Atom art34.isDesignatedSelfRegulatoryBody "Is a designated self-regulatory body"
Atom art34.mustForwardToFIU "Must forward the information to the FIU promptly and unfiltered"

// Rules
@srcRef "Article 34(1) first subparagraph"
rule_art34_1_permission: art34.isObligedEntityArt2_1_3a | art34.isObligedEntityArt2_1_3b | art34.isObligedEntityArt2_1_3d => [P] art34.isDesignatedSelfRegulatoryBody

@srcRef "Article 34(1) second subparagraph"
rule_art34_1_forward: art34.isDesignatedSelfRegulatoryBody => [O] art34.mustForwardToFIU

// Declarations
// (none)

// Rules
// (none — section text is empty)

// Declarations
Atom art35.mustRefrainFromTransaction "Must refrain from carrying out the transaction"
Atom art35.compliedWithFIUInstructions "Has complied with specific instructions from FIU or competent authorities"
Atom art35.refrainingIsImpossible "Refraining from carrying out transaction is impossible"
Atom art35.likelyToFrustrateEfforts "Refraining is likely to frustrate efforts to pursue beneficiaries"
Atom art35.mustInformFIUImmediately "Must inform FIU immediately afterwards"

// Rules
@srcRef "Article 35(1)"
rule_art35_1a: art33.isObligedEntity & art33.isSuspiciousTransaction & ~art33.transactionReported => [O] art35.mustRefrainFromTransaction

@srcRef "Article 35(1)"
rule_art35_1b: art33.isObligedEntity & art33.isSuspiciousTransaction & ~art35.compliedWithFIUInstructions => [O] art35.mustRefrainFromTransaction

@srcRef "Article 35(2)"
rule_art35_2a: art33.isObligedEntity & art33.isSuspiciousTransaction & art35.refrainingIsImpossible => [O] art35.mustInformFIUImmediately

@srcRef "Article 35(2)"
rule_art35_2b: art33.isObligedEntity & art33.isSuspiciousTransaction & art35.likelyToFrustrateEfforts => [O] art35.mustInformFIUImmediately

// Declarations
Atom s36.isCompetentAuthority "Is a competent authority referred to in Article 48"
Atom s36.discoversDuringChecksOnObligedEntities "Discovers facts during checks carried out on obliged entities"
Atom s36.discoversInOtherWay "Discovers facts in any other way"
Atom s36.factsRelatedToMLTF "Facts could be related to money laundering or terrorist financing"
Atom s36.mustInformFIU "Must inform the Financial Intelligence Unit"
Atom s36.isSupervisoryBody "Is a supervisory body empowered by law or regulation"
Atom s36.overseesStockMarket "Oversees the stock market"
Atom s36.overseesForeignExchangeMarket "Oversees the foreign exchange market"
Atom s36.overseesFinancialDerivativesMarket "Oversees the financial derivatives markets"

// Rules
@srcRef "Article 36(1)"
rule_art36_1_checks: s36.isCompetentAuthority & s36.discoversDuringChecksOnObligedEntities & s36.factsRelatedToMLTF => [O] s36.mustInformFIU

@srcRef "Article 36(1)"
rule_art36_1_other: s36.isCompetentAuthority & s36.discoversInOtherWay & s36.factsRelatedToMLTF => [O] s36.mustInformFIU

@srcRef "Article 36(2)"
rule_art36_2_stock: s36.isSupervisoryBody & s36.overseesStockMarket & s36.factsRelatedToMLTF => [O] s36.mustInformFIU

@srcRef "Article 36(2)"
rule_art36_2_forex: s36.isSupervisoryBody & s36.overseesForeignExchangeMarket & s36.factsRelatedToMLTF => [O] s36.mustInformFIU

@srcRef "Article 36(2)"
rule_art36_2_derivatives: s36.isSupervisoryBody & s36.overseesFinancialDerivativesMarket & s36.factsRelatedToMLTF => [O] s36.mustInformFIU

// Declarations
Atom art37.isObligedEntity "Is an obliged entity"
Atom art37.isEmployeeOrDirector "Is an employee or director of an obliged entity"
Atom art37.disclosureInGoodFaith "Disclosure of information in good faith in accordance with Articles 33 and 34"
Atom art37.noBreachOfRestriction "Shall not constitute a breach of any restriction on disclosure"
Atom art37.noLiability "Shall not involve the entity or its directors or employees in liability"

// Rules
@srcRef "Article 37"
rule_art37_1: art37.isObligedEntity & art37.disclosureInGoodFaith => [O] art37.noBreachOfRestriction

@srcRef "Article 37"
rule_art37_2: art37.isEmployeeOrDirector & art37.disclosureInGoodFaith => [O] art37.noBreachOfRestriction

@srcRef "Article 37"
rule_art37_3: art37.isObligedEntity & art37.disclosureInGoodFaith => [O] art37.noLiability

@srcRef "Article 37"
rule_art37_4: art37.isEmployeeOrDirector & art37.disclosureInGoodFaith => [O] art37.noLiability

// Declarations
Atom art38.isMemberState "Is a Member State"
Atom art38.isEmployee "Is an employee of the obliged entity"
Atom art38.isRepresentative "Is a representative of the obliged entity"
Atom art38.reportsSuspicionML "Reports suspicion of money laundering"
Atom art38.reportsSuspicionTF "Reports suspicion of terrorist financing"
Atom art38.reportsInternally "Reports internally"
Atom art38.reportsToFIU "Reports to the FIU"
Atom art38.mustEnsureProtectionThreats "Must ensure protection from threats or hostile action"
Atom art38.mustEnsureProtectionEmployment "Must ensure protection from adverse or discriminatory employment actions"
Atom art38.isCoveredPerson "Is employee or representative"
Atom art38.reportsSuspicion "Reports suspicion of ML or TF"
Atom art38.reportsToChannel "Reports internally or to FIU"

// Helper rules
rule_art38_covered_person: art38.isEmployee | art38.isRepresentative => [O] art38.isCoveredPerson
rule_art38_suspicion: art38.reportsSuspicionML | art38.reportsSuspicionTF => [O] art38.reportsSuspicion
rule_art38_channel: art38.reportsInternally | art38.reportsToFIU => [O] art38.reportsToChannel

// Main rules
@srcRef "Article 38"
rule_art38_protection_threats: art38.isMemberState & art38.isCoveredPerson & art38.reportsSuspicion & art38.reportsToChannel => [O] art38.mustEnsureProtectionThreats

@srcRef "Article 38"
rule_art38_protection_employment: art38.isMemberState & art38.isCoveredPerson & art38.reportsSuspicion & art38.reportsToChannel => [O] art38.mustEnsureProtectionEmployment

// Declarations
Atom art39.disclosesReportingInfo "Discloses to customer or third persons the fact that information is transmitted or analysis is carried out"
Atom art39.disclosureToCompetentAuthority "Disclosure is to competent authorities or self-regulatory bodies"
Atom art39.disclosureForLawEnforcement "Disclosure is for law enforcement purposes"
Atom art39.isCreditOrFinancialInstitution "Is a credit institution or financial institution"
Atom art39.disclosureToThirdCountryBranch "Disclosure is to branches or majority-owned subsidiaries located in third countries"
Atom art39.branchCompliesWithGroupPolicies "Branches and majority-owned subsidiaries fully comply with group-wide policies and procedures"
Atom art39.groupPoliciesComplyWithDirective "Group-wide policies and procedures comply with the requirements laid down in this Directive"

// Rules
@srcRef "Article 39(1)"
rule_art39_1: art33.isObligedEntity | art33.isDirector | art33.isEmployee => [F] art39.disclosesReportingInfo

@srcRef "Article 39(2)"
rule_art39_2_exception_authority: art39.disclosureToCompetentAuthority => [E] art39.disclosesReportingInfo

@srcRef "Article 39(2)"
rule_art39_2_exception_enforcement: art39.disclosureForLawEnforcement => [E] art39.disclosesReportingInfo

@srcRef "Article 39(3)"
rule_art39_3_exception: art39.isCreditOrFinancialInstitution & art39.disclosureToThirdCountryBranch & art39.branchCompliesWithGroupPolicies & art39.groupPoliciesComplyWithDirective => [E] art39.disclosesReportingInfo

// Overrides
rule_art39_2_exception_authority >> rule_art39_1
rule_art39_2_exception_enforcement >> rule_art39_1
rule_art39_3_exception >> rule_art39_1

// Declarations
Atom art3_2.isDefinedInstitution "Entity is defined under Article 3(2)"
Atom art3_2.isUndertakingNotCredit "Is an undertaking other than a credit institution"
Atom art3_2.performsAnnexActivities "Carries out activities listed in Annex I points 2 to 12 and 14 to 15 of Directive 2013/36/EU"
Atom art3_2.isCurrencyExchange "Is a currency exchange office"
Atom art3_2.isInsuranceUndertaking "Is an insurance undertaking as defined in Directive 2009/138/EC Article 13(1)"
Atom art3_2.carriesOutLifeAssurance "Carries out life assurance activities"
Atom art3_2.isInvestmentFirm "Is an investment firm as defined in Directive 2004/39/EC Article 4(1)"
Atom art3_2.isCIU "Is a collective investment undertaking"
Atom art3_2.marketsUnitsShares "Markets its units or shares"
Atom art3_2.isInsuranceIntermediary "Is an insurance intermediary as defined in Directive 2002/92/EC Article 2(5)"
Atom art3_2.actsInLifeInsuranceInvestment "Acts with respect to life insurance and investment-related services"
Atom art3_2.isTiedIntermediary "Is a tied insurance intermediary as defined in Directive 2002/92/EC Article 2(7)"
Atom art3_2.isBranchInUnion "Is a branch located in the Union"
Atom art3_2.isHeadOfficeListedInstitution "Head office is an institution referred to in Article 3(2)(a) to (e)"

// Rules
@srcRef "Article 3(2)(a)"
rule_art3_2_a1: art3_2.isUndertakingNotCredit & art3_2.performsAnnexActivities => [O] art3_2.isDefinedInstitution

@srcRef "Article 3(2)(a)"
rule_art3_2_a2: art3_2.isUndertakingNotCredit & art3_2.isCurrencyExchange => [O] art3_2.isDefinedInstitution

@srcRef "Article 3(2)(b)"
rule_art3_2_b: art3_2.isInsuranceUndertaking & art3_2.carriesOutLifeAssurance => [O] art3_2.isDefinedInstitution

@srcRef "Article 3(2)(c)"
rule_art3_2_c: art3_2.isInvestmentFirm => [O] art3_2.isDefinedInstitution

@srcRef "Article 3(2)(d)"
rule_art3_2_d: art3_2.isCIU & art3_2.marketsUnitsShares => [O] art3_2.isDefinedInstitution

@srcRef "Article 3(2)(e)"
rule_art3_2_e: art3_2.isInsuranceIntermediary & art3_2.actsInLifeInsuranceInvestment & ~art3_2.isTiedIntermediary => [O] art3_2.isDefinedInstitution

@srcRef "Article 3(2)(f)"
rule_art3_2_f: art3_2.isBranchInUnion & art3_2.isHeadOfficeListedInstitution => [O] art3_2.isDefinedInstitution

// Declarations
Atom art3_4.isActFrameworkDecision2002_475Article1 "Act set out in Article 1 of Framework Decision 2002/475/JHA"
Atom art3_4.isActFrameworkDecision2002_475Article2 "Act set out in Article 2 of Framework Decision 2002/475/JHA"
Atom art3_4.isActFrameworkDecision2002_475Article3 "Act set out in Article 3 of Framework Decision 2002/475/JHA"
Atom art3_4.isActFrameworkDecision2002_475Article4 "Act set out in Article 4 of Framework Decision 2002/475/JHA"
Atom art3_4.isOffenceUnConvention1988Article3_1_a "Offence referred in Article 3(1)(a) of the 1988 United Nations Convention against Illicit Traffic in Narcotic Drugs and Psychotropic Substances"
Atom art3_4.fallsWithinScope "Falls within scope of Article 3(4)"

// Rules
@srcRef "Article 3(4)"
rule_art3_4: art3_4.isActFrameworkDecision2002_475Article1 | art3_4.isActFrameworkDecision2002_475Article2 | art3_4.isActFrameworkDecision2002_475Article3 | art3_4.isActFrameworkDecision2002_475Article4 | art3_4.isOffenceUnConvention1988Article3_1_a => [P] art3_4.fallsWithinScope

// Declarations
Atom art3.isCreditInstitution "Entity is a credit institution as defined in point (1) of Article 4(1) of Regulation (EU) No 575/2013 including branches thereof located in the Union"
Atom art3.isFinancialInstitution "Entity is a financial institution"
Atom art3.isProperty "Asset is property comprising corporeal or incorporeal movable or immovable tangible or intangible assets and legal documents or instruments evidencing title or interest"
Atom art3.isCriminalActivity "Activity constitutes criminal involvement in the commission of serious crimes"

// Declarations
Atom art40.isObligedEntity "Is an obliged entity"
Atom art40.hasCDDDocuments "Has customer due diligence documents and information necessary to comply with Chapter II requirements"
Atom art40.hasTransactionRecords "Has supporting evidence and records of transactions necessary to identify transactions"
Atom art40.businessRelationshipEnded "Business relationship with customer has ended"
Atom art40.occasionalTransactionOccurred "Occasional transaction has occurred"
Atom art40.standardRetentionPeriodExpired "Standard five-year retention period has expired"
Atom art40.furtherRetentionPeriodExpired "Further retention period of five additional years has expired"
Atom art40.mustRetainCDDDocuments "Must retain customer due diligence documents"
Atom art40.mustRetainTransactionRecords "Must retain transaction records and supporting evidence"
Atom art40.mustDeletePersonalData "Must delete personal data"
Atom art40.nationalLawAllowsRetention "National law allows further retention of data"
Atom art40.nationalLawRequiresRetention "National law requires further retention of data"
Atom art40.furtherRetentionAssessed "Thorough assessment of necessity and proportionality of further retention has been carried out"
Atom art40.furtherRetentionJustified "Further retention considered justified as necessary for prevention, detection or investigation of money laundering or terrorist financing"
Atom art40.mayRetainFurther "May retain data beyond the standard retention period"
Atom art40.mustRetainFurther "Must retain data beyond the standard retention period"

// Rules
@srcRef "Article 40(1)(a)"
rule_art40_1a_ended: art40.isObligedEntity & art40.hasCDDDocuments & art40.businessRelationshipEnded & ~art40.standardRetentionPeriodExpired => [O] art40.mustRetainCDDDocuments

@srcRef "Article 40(1)(a)"
rule_art40_1a_occasional: art40.isObligedEntity & art40.hasCDDDocuments & art40.occasionalTransactionOccurred & ~art40.standardRetentionPeriodExpired => [O] art40.mustRetainCDDDocuments

@srcRef "Article 40(1)(b)"
rule_art40_1b_ended: art40.isObligedEntity & art40.hasTransactionRecords & art40.businessRelationshipEnded & ~art40.standardRetentionPeriodExpired => [O] art40.mustRetainTransactionRecords

@srcRef "Article 40(1)(b)"
rule_art40_1b_occasional: art40.isObligedEntity & art40.hasTransactionRecords & art40.occasionalTransactionOccurred & ~art40.standardRetentionPeriodExpired => [O] art40.mustRetainTransactionRecords

@srcRef "Article 40(1) second subparagraph"
rule_art40_delete: art40.isObligedEntity & art40.standardRetentionPeriodExpired & ~art40.nationalLawAllowsRetention & ~art40.nationalLawRequiresRetention => [O] art40.mustDeletePersonalData

@srcRef "Article 40(1) third subparagraph (permission)"
rule_art40_permit_further: art40.nationalLawAllowsRetention & art40.furtherRetentionAssessed & art40.furtherRetentionJustified & ~art40.furtherRetentionPeriodExpired => [P] art40.mayRetainFurther

@srcRef "Article 40(1) third subparagraph (obligation)"
rule_art40_oblige_further: art40.nationalLawRequiresRetention & art40.furtherRetentionAssessed & art40.furtherRetentionJustified & ~art40.furtherRetentionPeriodExpired => [O] art40.mustRetainFurther

// Declarations
Atom art40.isObligedEntity "Is an obliged entity"
Atom art40.pendingLegalProceedings2015 "Legal proceedings concerning money laundering or terrorist financing pending on 25 June 2015"
Atom art40.holdsRelevantInfo "Holds information or documents relating to pending proceedings"
Atom art40.mayRetainInfo "May retain information or documents for five years from 25 June 2015"
Atom art40.necessityEstablished "Necessity and proportionality of further retention established"
Atom art40.mayAllowOrRequireFurtherRetention "Member State may allow or require retention for further five years"

// Rules
@srcRef "Article 40"
rule_art40_retention: art40.isObligedEntity & art40.pendingLegalProceedings2015 & art40.holdsRelevantInfo => [P] art40.mayRetainInfo

@srcRef "Article 40"
rule_art40_extension: art40.necessityEstablished => [P] art40.mayAllowOrRequireFurtherRetention

// Declarations
Atom art41.isProcessingPersonalData "Processing of personal data under this Directive"
Atom art41.processorIsCommission "Data processed by the Commission"
Atom art41.processorIsESA "Data processed by the ESAs"
Atom art41.subjectToDirective95_46 "Subject to Directive 95/46/EC"
Atom art41.subjectToRegulation45_2001 "Subject to Regulation (EC) No 45/2001"

// Rules
@srcRef "Article 41"
rule_art41_1: art41.isProcessingPersonalData => [O] art41.subjectToDirective95_46

@srcRef "Article 41"
rule_art41_2_commission: art41.isProcessingPersonalData & art41.processorIsCommission => [O] art41.subjectToRegulation45_2001

@srcRef "Article 41"
rule_art41_2_esa: art41.isProcessingPersonalData & art41.processorIsESA => [O] art41.subjectToRegulation45_2001

// Declarations
Atom art42.isObligedEntity "Entity is an obliged entity"
Atom art42.mustMaintainResponseSystems "Must have systems enabling full and speedy response to FIU or authority enquiries regarding current or past (5-year) business relationships with specified persons through secure confidential channels"

// Rules
@srcRef "Article 42"
rule_art42_obligation: art42.isObligedEntity => [O] art42.mustMaintainResponseSystems

// Declarations
Atom art43.isProcessingOnBasisOfDirective "Processing of personal data on the basis of this Directive"
Atom art43.purposeIsPreventionMLTF "Purpose is prevention of money laundering and terrorist financing"
Atom art43.isConsideredPublicInterest "Is considered a matter of public interest under Directive 95/46/EC"

// Rules
@srcRef "Article 43"
rule_art43_1: art43.isProcessingOnBasisOfDirective & art43.purposeIsPreventionMLTF => [O] art43.isConsideredPublicInterest

// Article 44 contains no substantive provisions to encode

// Declarations
Atom art44_1.mustMaintainComprehensiveStatistics "Must maintain comprehensive statistics on matters relevant to the effectiveness of systems to combat money laundering or terrorist financing"

// Rules
@srcRef "Article 44(1)"
rule_art44_1: art7.isMemberState => [O] art44_1.mustMaintainComprehensiveStatistics

// Declarations
Atom art44.sectorInScope "Sector falls within the scope of this Directive"
Atom art44.dataSizeImportance "Data measuring the size and importance of the sector"
Atom art44.dataNumEntities "Data on the number of entities"
Atom art44.dataNumPersons "Data on the number of persons"
Atom art44.dataEconImportance "Data on the economic importance of each sector"

// Rules
@srcRef "Article 44(2)(a)"
rule_art44_2a_main: art44.sectorInScope => [O] art44.dataSizeImportance

@srcRef "Article 44(2)(a)"
rule_art44_2a_entities: art44.sectorInScope => [O] art44.dataNumEntities

@srcRef "Article 44(2)(a)"
rule_art44_2a_persons: art44.sectorInScope => [O] art44.dataNumPersons

@srcRef "Article 44(2)(a)"
rule_art44_2a_econ: art44.sectorInScope => [O] art44.dataEconImportance

// Declarations
Atom art44_2_b.maintainsAMLStatistics "Maintains statistics on national AML/CFT regime"
Atom art44_2_b.mustMeasureSuspiciousTransactionReports "Must measure number of suspicious transaction reports made to FIU"
Atom art44_2_b.mustMeasureFollowUp "Must measure follow-up given to suspicious transaction reports"
Atom art44_2_b.mustMeasureAnnualCasesInvestigated "Must measure number of cases investigated annually"
Atom art44_2_b.mustMeasureAnnualPersonsProsecuted "Must measure number of persons prosecuted annually"
Atom art44_2_b.mustMeasureAnnualPersonsConvicted "Must measure number of persons convicted for ML/TF offences annually"
Atom art44_2_b.predicateOffenceInfoAvailable "Information on types of predicate offences is available"
Atom art44_2_b.mustMeasureAnnualPredicateOffenceTypes "Must measure types of predicate offences annually where available"
Atom art44_2_b.mustMeasureAnnualPropertyValueFrozenSeizedConfiscated "Must measure value in euro of property frozen seized or confiscated annually"

// Rules
@srcRef "Article 44(2)(b)"
rule_art44_2_b_1: art44_2_b.maintainsAMLStatistics => [O] art44_2_b.mustMeasureSuspiciousTransactionReports

@srcRef "Article 44(2)(b)"
rule_art44_2_b_2: art44_2_b.maintainsAMLStatistics => [O] art44_2_b.mustMeasureFollowUp

@srcRef "Article 44(2)(b)"
rule_art44_2_b_3: art44_2_b.maintainsAMLStatistics => [O] art44_2_b.mustMeasureAnnualCasesInvestigated

@srcRef "Article 44(2)(b)"
rule_art44_2_b_4: art44_2_b.maintainsAMLStatistics => [O] art44_2_b.mustMeasureAnnualPersonsProsecuted

@srcRef "Article 44(2)(b)"
rule_art44_2_b_5: art44_2_b.maintainsAMLStatistics => [O] art44_2_b.mustMeasureAnnualPersonsConvicted

@srcRef "Article 44(2)(b)"
rule_art44_2_b_6: art44_2_b.maintainsAMLStatistics & art44_2_b.predicateOffenceInfoAvailable => [O] art44_2_b.mustMeasureAnnualPredicateOffenceTypes

@srcRef "Article 44(2)(b)"
rule_art44_2_b_7: art44_2_b.maintainsAMLStatistics => [O] art44_2_b.mustMeasureAnnualPropertyValueFrozenSeizedConfiscated

// Declarations
Atom art44_2_c.investigationDataAvailable "Data identifying number and percentage of reports resulting in further investigation is available"
Atom art44_2_c.isAnnualReportToObligedEntities "Is an annual report to obliged entities"
Atom art44_2_c.includeInvestigationData "Include data identifying number and percentage of reports resulting in further investigation"
Atom art44_2_c.detailUsefulnessAndFollowUp "Detail usefulness and follow-up of reports presented"

// Rules
@srcRef "Article 44(2)(c)"
rule_art44_2_c_1: art44_2_c.investigationDataAvailable & art44_2_c.isAnnualReportToObligedEntities => [O] art44_2_c.includeInvestigationData

@srcRef "Article 44(2)(c)"
rule_art44_2_c_2: art44_2_c.isAnnualReportToObligedEntities => [O] art44_2_c.detailUsefulnessAndFollowUp

// Declarations
Atom art44.paragraph1Statistics "Statistics referred to in paragraph 1"
Atom art44.mustIncludeRequiredItems "Must include the required items specified in Article 44(2)"

// Rules
@srcRef "Article 44(2)"
rule_art44_2: art44.paragraph1Statistics => [O] art44.mustIncludeRequiredItems

// Declarations
Atom art44_2_d.isFIU "Is a Financial Intelligence Unit"
Atom art44_2_d.maintainDataRequestsMade "Maintain data on cross-border requests for information made by the FIU"
Atom art44_2_d.maintainDataRequestsReceived "Maintain data on cross-border requests for information received by the FIU"
Atom art44_2_d.maintainDataRequestsRefused "Maintain data on cross-border requests for information refused by the FIU"
Atom art44_2_d.maintainDataRequestsPartiallyAnswered "Maintain data on cross-border requests for information partially answered by the FIU"
Atom art44_2_d.maintainDataRequestsFullyAnswered "Maintain data on cross-border requests for information fully answered by the FIU"

// Rules
@srcRef "Article 44(2)(d)"
rule_art44_2_d_made: art44_2_d.isFIU => [O] art44_2_d.maintainDataRequestsMade

@srcRef "Article 44(2)(d)"
rule_art44_2_d_received: art44_2_d.isFIU => [O] art44_2_d.maintainDataRequestsReceived

@srcRef "Article 44(2)(d)"
rule_art44_2_d_refused: art44_2_d.isFIU => [O] art44_2_d.maintainDataRequestsRefused

@srcRef "Article 44(2)(d)"
rule_art44_2_d_partially: art44_2_d.isFIU => [O] art44_2_d.maintainDataRequestsPartiallyAnswered

@srcRef "Article 44(2)(d)"
rule_art44_2_d_fully: art44_2_d.isFIU => [O] art44_2_d.maintainDataRequestsFullyAnswered

// Declarations
Atom art44_3.isMemberState "Entity is a Member State"
Atom art44_3.mustPublishConsolidatedReview "Must ensure a consolidated review of statistics is published"

// Rules
@srcRef "Article 44(3)"
rule_art44_3_1: art44_3.isMemberState => [O] art44_3.mustPublishConsolidatedReview

// Declarations
Atom art44.memberState "Is a Member State"
Atom art44.statisticsReferredToInParagraph2 "Statistics referred to in paragraph 2"
Atom art44.mustTransmitStatisticsToCommission "Must transmit statistics to the Commission"

// Rules
@srcRef "Article 44(4)"
rule_art44_4_1: art44.memberState & art44.statisticsReferredToInParagraph2 => [O] art44.mustTransmitStatisticsToCommission

// Declarations
Atom art46.isNaturalPersonArt2_1_3 "Natural person falling within point (3) of Article 2(1)"
Atom art46.isEmployeeOfLegalPerson "Performs professional activities as an employee of a legal person"
Atom art46.isLegalPerson "Is a legal person"
Atom art46.employsCategory3NaturalPerson "Employs a natural person falling within point (3) of Article 2(1)"
Atom art46.isObligedEntity "Is subject to Article 46(1) obligations"
Atom art46.takesProportionateAwarenessMeasures "Takes measures proportionate to risks, nature and size so employees are aware of provisions"
Atom art46.providesOngoingTraining "Provides special ongoing training programmes for employees"

// Rules determining obliged entity status
@srcRef "Article 46(1) third sentence - natural person base case"
rule_art46_1_natural_base: art46.isNaturalPersonArt2_1_3 & ~art46.isEmployeeOfLegalPerson => [O] art46.isObligedEntity

@srcRef "Article 46(1) third sentence - natural person excused"
rule_art46_1_natural_excused: art46.isNaturalPersonArt2_1_3 & art46.isEmployeeOfLegalPerson => [E] art46.isObligedEntity

rule_art46_1_natural_excused >> rule_art46_1_natural_base

@srcRef "Article 46(1) third sentence - legal person assumes obligations"
rule_art46_1_legal_assumes: art46.isLegalPerson & art46.employsCategory3NaturalPerson => [O] art46.isObligedEntity

// Substantive obligations
@srcRef "Article 46(1) first sentence"
rule_art46_1_awareness: art46.isObligedEntity => [O] art46.takesProportionateAwarenessMeasures

@srcRef "Article 46(1) second sentence"
rule_art46_1_training: art46.isObligedEntity => [O] art46.providesOngoingTraining

// Declarations
Atom art46.isMemberState "Is a Member State"
Atom art46.ensureAccessToMLTFPractices "Ensure obliged entities have access to up-to-date information on practices of money launderers and financers of terrorism"
Atom art46.ensureAccessToSTIndications "Ensure obliged entities have access to indications leading to the recognition of suspicious transactions"

// Rules
@srcRef "Article 46(2)"
rule_art46_2a: art46.isMemberState => [O] art46.ensureAccessToMLTFPractices

@srcRef "Article 46(2)"
rule_art46_2b: art46.isMemberState => [O] art46.ensureAccessToSTIndications

// Declarations
Atom art46_3.isMemberState "Is a Member State"
Atom art46_3.isPracticable "Providing feedback is practicable"
Atom art46_3.suspectedMLTFReportExists "A report of suspected money laundering or terrorist financing exists"
Atom art46_3.timelyFeedbackProvided "Timely feedback on effectiveness and follow-up to reports is provided to obliged entities"

// Rules
@srcRef "Article 46(3)"
rule_art46_3: art46_3.isMemberState & art46_3.isPracticable & art46_3.suspectedMLTFReportExists => [O] art46_3.timelyFeedbackProvided

// Declarations
Atom art46.isObligedEntity "Is an obliged entity"
Atom art46.whereApplicable "Where the requirement is applicable"
Atom art46.mustIdentifyResponsibleBoardMember "Must identify the member of the management board responsible for implementation of compliance provisions"

// Rules
@srcRef "Article 46(4)"
rule_art46_4: art46.isObligedEntity & art46.whereApplicable => [O] art46.mustIdentifyResponsibleBoardMember

// No content provided in Article 46 to encode.

// Declarations
Atom art47.isCurrencyExchangeOffice "Is a currency exchange office"
Atom art47.isChequeCashingOffice "Is a cheque cashing office"
Atom art47.isTrustOrCompanyServiceProvider "Is a trust or company service provider"
Atom art47.isGamblingServiceProvider "Is a provider of gambling services"
Atom art47.mustBeLicensedOrRegistered "Must be licensed or registered"
Atom art47.mustBeRegulated "Must be regulated"

// Rules
@srcRef "Article 47(1)"
rule_art47_1_currency: art47.isCurrencyExchangeOffice => [O] art47.mustBeLicensedOrRegistered

@srcRef "Article 47(1)"
rule_art47_1_cheque: art47.isChequeCashingOffice => [O] art47.mustBeLicensedOrRegistered

@srcRef "Article 47(1)"
rule_art47_1_trust: art47.isTrustOrCompanyServiceProvider => [O] art47.mustBeLicensedOrRegistered

@srcRef "Article 47(1)"
rule_art47_1_gambling: art47.isGamblingServiceProvider => [O] art47.mustBeRegulated

// Declarations
Atom art47.isEntityInPara1 "Entity referred to in Article 47 paragraph 1"
Atom art47.holdsManagementFunction "Person holds a management function"
Atom art47.isBeneficialOwner "Person is a beneficial owner"
Atom art47.isFitAndProper "Person is fit and proper"

// Rules
@srcRef "Article 47(2)"
rule_art47_2_mgmt: art47.isEntityInPara1 & art47.holdsManagementFunction => [O] art47.isFitAndProper

@srcRef "Article 47(2)"
rule_art47_2_beneficial: art47.isEntityInPara1 & art47.isBeneficialOwner => [O] art47.isFitAndProper

Atom art47.isObligedEntityArt2_1_3a "Entity is referred to in point (3)(a) of Article 2(1)"
Atom art47.isObligedEntityArt2_1_3b "Entity is referred to in point (3)(b) of Article 2(1)"
Atom art47.isObligedEntityArt2_1_3d "Entity is referred to in point (3)(d) of Article 2(1)"
Atom art47.isRelevantObligedEntity "Entity is an obliged entity referred to in point (3)(a), (b) or (d) of Article 2(1)"
Atom art47.isCriminalConvicted "Person is a criminal convicted in relevant areas"
Atom art47.isAssociate "Person is an associate of a criminal convicted in relevant areas"
Atom art47.isProhibitedPerson "Person is a criminal convicted in relevant areas or their associate"
Atom art47.holdsManagementFunction "Person holds a management function in the obliged entity"
Atom art47.isBeneficialOwner "Person is the beneficial owner of the obliged entity"

@srcRef "Article 47(3)"
rule_art47_3_def_entity_a: art47.isObligedEntityArt2_1_3a -strict-> art47.isRelevantObligedEntity

@srcRef "Article 47(3)"
rule_art47_3_def_entity_b: art47.isObligedEntityArt2_1_3b -strict-> art47.isRelevantObligedEntity

@srcRef "Article 47(3)"
rule_art47_3_def_entity_d: art47.isObligedEntityArt2_1_3d -strict-> art47.isRelevantObligedEntity

@srcRef "Article 47(3)"
rule_art47_3_def_criminal: art47.isCriminalConvicted -strict-> art47.isProhibitedPerson

@srcRef "Article 47(3)"
rule_art47_3_def_associate: art47.isAssociate -strict-> art47.isProhibitedPerson

@srcRef "Article 47(3)"
rule_art47_3_management: art47.isProhibitedPerson & art47.isRelevantObligedEntity & art47.holdsManagementFunction => [F] art47.holdsManagementFunction

@srcRef "Article 47(3)"
rule_art47_3_beneficial: art47.isProhibitedPerson & art47.isRelevantObligedEntity & art47.isBeneficialOwner => [F] art47.isBeneficialOwner

// No text provided for Article 47

// Declarations
Atom art48.isMemberState "Is a Member State"
Atom art48.mustRequireEffectiveMonitoring "Must require competent authorities to monitor effectively"
Atom art48.mustRequireNecessaryMeasures "Must require competent authorities to take necessary measures to ensure compliance"

// Rules
@srcRef "Article 48(1)"
rule_art48_1_monitoring: art48.isMemberState => [O] art48.mustRequireEffectiveMonitoring

@srcRef "Article 48(1)"
rule_art48_1_measures: art48.isMemberState => [O] art48.mustRequireNecessaryMeasures

// Declarations
Atom art48_2.isMemberState "Is a Member State"
Atom art48_2.hasAdequatePowers "Competent authority has adequate powers"
Atom art48_2.canCompelProduction "Power to compel production of relevant information"
Atom art48_2.canPerformChecks "Power to perform checks"
Atom art48_2.hasFinancialResources "Has adequate financial resources"
Atom art48_2.hasHumanResources "Has adequate human resources"
Atom art48_2.hasTechnicalResources "Has adequate technical resources"
Atom art48_2.maintainsHighStandards "Staff maintain high professional standards"
Atom art48_2.maintainsConfidentiality "Staff maintain standards of confidentiality"
Atom art48_2.maintainsDataProtection "Staff maintain standards of data protection"
Atom art48_2.hasHighIntegrity "Staff are of high integrity"
Atom art48_2.isAppropriatelySkilled "Staff are appropriately skilled"

// Rules
@srcRef "Article 48(2)"
rule_art48_2_powers: art48_2.isMemberState => [O] art48_2.hasAdequatePowers

@srcRef "Article 48(2)"
rule_art48_2_powers_compel: art48_2.isMemberState => [O] art48_2.canCompelProduction

@srcRef "Article 48(2)"
rule_art48_2_powers_checks: art48_2.isMemberState => [O] art48_2.canPerformChecks

@srcRef "Article 48(2)"
rule_art48_2_res_financial: art48_2.isMemberState => [O] art48_2.hasFinancialResources

@srcRef "Article 48(2)"
rule_art48_2_res_human: art48_2.isMemberState => [O] art48_2.hasHumanResources

@srcRef "Article 48(2)"
rule_art48_2_res_technical: art48_2.isMemberState => [O] art48_2.hasTechnicalResources

@srcRef "Article 48(2)"
rule_art48_2_staff_standards: art48_2.isMemberState => [O] art48_2.maintainsHighStandards

@srcRef "Article 48(2)"
rule_art48_2_staff_conf: art48_2.isMemberState => [O] art48_2.maintainsConfidentiality

@srcRef "Article 48(2)"
rule_art48_2_staff_data: art48_2.isMemberState => [O] art48_2.maintainsDataProtection

@srcRef "Article 48(2)"
rule_art48_2_staff_integrity: art48_2.isMemberState => [O] art48_2.hasHighIntegrity

@srcRef "Article 48(2)"
rule_art48_2_staff_skill: art48_2.isMemberState => [O] art48_2.isAppropriatelySkilled

// Article 48
// No substantive text provided in the input to encode into rules or declarations.

// Declarations
Atom art4.isProfession "Is a profession"
Atom art4.isUndertakingCategory "Is a category of undertakings"
Atom art4.isObligedEntityArt2 "Is an obliged entity referred to in Article 2(1)"
Atom art4.engagesHighRiskMLTFActivity "Engages in activities particularly likely to be used for money laundering or terrorist financing"
Atom art4.scopeExtended "Scope of Directive is extended to this entity"

// Rules
@srcRef "Article 4(1)"
rule_art4_1: art4.isProfession & ~art4.isObligedEntityArt2 & art4.engagesHighRiskMLTFActivity | art4.isUndertakingCategory & ~art4.isObligedEntityArt2 & art4.engagesHighRiskMLTFActivity => [O] art4.scopeExtended

// Declarations
Atom art4_2.extendsScopeToOtherProfessions "Member State extends scope to professions other than those referred to in Article 2(1)"
Atom art4_2.extendsScopeToOtherUndertakings "Member State extends scope to categories of undertaking other than those referred to in Article 2(1)"
Atom art4_2.informCommission "Member State informs the Commission"

// Rules
@srcRef "Article 4(2)"
rule_art4_2_notification: art4_2.extendsScopeToOtherProfessions | art4_2.extendsScopeToOtherUndertakings => [O] art4_2.informCommission

// Article 4
// No regulatory text provided to encode.

// Declarations
Atom art50.isCompetentAuthority "Entity is a competent authority"
Atom art50.mustProvideNecessaryInfoToESAs "Must provide ESAs with all information necessary to allow them to carry out their duties"

// Rules
@srcRef "Article 50"
rule_art50_1: art50.isCompetentAuthority => [O] art50.mustProvideNecessaryInfoToESAs

// Declarations
Atom art51.isCommission "Is the European Commission"
Atom art51.coordinationAssistanceNeeded "Assistance is needed to facilitate coordination"
Atom art51.mayLendCoordinationAssistance "May lend assistance to facilitate coordination including exchange of information between FIUs"
Atom art51.mayConveneFIUPlatformMeetings "May convene meetings of the EU FIUs Platform"

// Rules
@srcRef "Article 51"
rule_art51_assistance: art51.isCommission & art51.coordinationAssistanceNeeded => [P] art51.mayLendCoordinationAssistance

@srcRef "Article 51"
rule_art51_convene: art51.isCommission => [P] art51.mayConveneFIUPlatformMeetings

// Declarations
Atom art52.isMemberState "Is a Member State"
Atom art52.ensureFIUCooperation "Ensure FIUs cooperate with each other to the greatest extent possible regardless of organisational status"

// Rules
@srcRef "Article 52"
rule_art52_1: art52.isMemberState => [O] art52.ensureFIUCooperation

// Article 53 contains no substantive regulatory text to encode.

// Declarations
Atom art53.isFIU "Is a Financial Intelligence Unit"
Atom art53.hasRelevantInfoMLTF "Has information relevant for processing or analysis of money laundering or terrorist financing"
Atom art53.exchangeInformation "Exchange information spontaneously or upon request"
Atom art53.containsRequestDetails "Request contains relevant facts, background, reasons, and usage purpose"
Atom art53.agreedExchangeMechanism "Different exchange mechanisms agreed between FIUs"
Atom art53.useDifferentExchangeMechanisms "Use different exchange mechanisms"
Atom art53.receivesReportArt33_1_a "Receives a report pursuant to Article 33(1)(a)"
Atom art53.reportConcernsAnotherMemberState "Report concerns another Member State"
Atom art53.mustPromptlyForwardToFIU "Must promptly forward report to the FIU of that Member State"

// Rules
@srcRef "Article 53(1)"
rule_art53_1: art53.isFIU & art53.hasRelevantInfoMLTF => [O] art53.exchangeInformation

@srcRef "Article 53(1)"
rule_art53_2: art33_1_b.fiuRequest => [O] art53.containsRequestDetails

@srcRef "Article 53(1)"
rule_art53_3: art53.isFIU & art53.agreedExchangeMechanism => [P] art53.useDifferentExchangeMechanisms

@srcRef "Article 53(1)"
rule_art53_4: art53.isFIU & art53.receivesReportArt33_1_a & art53.reportConcernsAnotherMemberState => [O] art53.mustPromptlyForwardToFIU

// Declarations
Atom art53_2.requestFromAnotherFIU "FIU has received a request for information from another FIU under paragraph 1"
Atom art53_2.useDomesticPowers "Use the whole range of available powers normally used domestically for receiving and analysing information"
Atom art53_2.respondTimely "Respond in a timely manner"
Atom art53_2.seeksInfoFromCrossBorderEntity "FIU seeks to obtain additional information from obliged entity established in another Member State"
Atom art53_2.addressToHostFIU "Address the request to the FIU of the Member State where the obliged entity is established"
Atom art53_2.hostFIUReceivesRequest "Host FIU receives a request to obtain information from an obliged entity established in its territory"
Atom art53_2.transferPromptly "Transfer requests and answers promptly"

// Rules
@srcRef "Article 53(2) sentence 1"
rule_art53_2_powers: art53_2.requestFromAnotherFIU => [O] art53_2.useDomesticPowers

@srcRef "Article 53(2) sentence 2"
rule_art53_2_timely: art53_2.requestFromAnotherFIU => [O] art53_2.respondTimely

@srcRef "Article 53(2) sentence 3"
rule_art53_2_addressing: art53_2.seeksInfoFromCrossBorderEntity => [O] art53_2.addressToHostFIU

@srcRef "Article 53(2) sentence 4"
rule_art53_2_transfer: art53_2.hostFIUReceivesRequest => [O] art53_2.transferPromptly

// Declarations
Atom s53_3.isFIU "Is a Financial Intelligence Unit"
Atom s53_3.exceptionalCircumstances "Existence of exceptional circumstances"
Atom s53_3.exchangeContraryToFundamentalPrinciples "Exchange is contrary to fundamental principles of national law"
Atom s53_3.mayRefuseExchange "May refuse to exchange information"
Atom s53_3.specifiesExceptions "Specifies exceptions to information exchange"
Atom s53_3.preventsMisuse "Prevents misuse of information exchange"
Atom s53_3.preventsUndueLimitations "Prevents undue limitations on information exchange"

// Rules
@srcRef "Article 53(3)"
rule_s53_3_refusal: s53_3.isFIU & s53_3.exceptionalCircumstances & s53_3.exchangeContraryToFundamentalPrinciples => [P] s53_3.mayRefuseExchange

@srcRef "Article 53(3)"
rule_s53_3_spec_misuse: s53_3.specifiesExceptions => [O] s53_3.preventsMisuse

@srcRef "Article 53(3)"
rule_s53_3_spec_limits: s53_3.specifiesExceptions => [O] s53_3.preventsUndueLimitations

// Declarations
Atom art54.receivedPursuantToArt52 "Information and documents received pursuant to Article 52"
Atom art54.receivedPursuantToArt53 "Information and documents received pursuant to Article 53"
Atom art54.usedForFIUTasks "Information used for accomplishment of FIU tasks"
Atom art54.exchangingUnderArt52 "Exchanging information pursuant to Article 52"
Atom art54.exchangingUnderArt53 "Exchanging information pursuant to Article 53"
Atom art54.isTransmittingFIU "Is the transmitting FIU"
Atom art54.restrictionsImposed "Restrictions and conditions imposed for use of information"
Atom art54.isReceivingFIU "Is the receiving FIU"
Atom art54.compliesWithRestrictions "Complies with restrictions and conditions"

// Rules
@srcRef "Article 54"
rule_art54_1: art54.receivedPursuantToArt52 | art54.receivedPursuantToArt53 => [O] art54.usedForFIUTasks

@srcRef "Article 54"
rule_art54_2_art52: art54.exchangingUnderArt52 & art54.isTransmittingFIU => [P] art54.restrictionsImposed

@srcRef "Article 54"
rule_art54_2_art53: art54.exchangingUnderArt53 & art54.isTransmittingFIU => [P] art54.restrictionsImposed

@srcRef "Article 54"
rule_art54_3: art54.restrictionsImposed & art54.isReceivingFIU => [O] art54.compliesWithRestrictions

// Declarations
Atom art55.infoExchanged52_53 "Information exchanged pursuant to Articles 52 and 53"
Atom art55.usedOnlyForSoughtPurpose "Information used only for the purpose for which it was sought or provided"
Atom art55.disseminationToOtherAuthority "Dissemination of information by receiving FIU to any other authority agency or department"
Atom art55.useBeyondOriginalApproval "Use of information for purposes beyond those originally approved"
Atom art55.hasPriorConsent "Has prior consent by the FIU providing the information"
Atom art55.disseminationToCompetentAuthorities "Dissemination of information to competent authorities"
Atom art55.consentMustBeGranted "Consent to disseminate must be granted promptly and to the largest extent possible"
Atom art55.beyondAMLCFTScope "Dissemination falls beyond scope of application of AML/CFT provisions"
Atom art55.impairsCriminalInvestigation "Dissemination could lead to impairment of a criminal investigation"
Atom art55.clearlyDisproportionate "Dissemination is clearly disproportionate to legitimate interests"
Atom art55.violatesNationalLawPrinciples "Dissemination is not in accordance with fundamental principles of national law"
Atom art55.refusalOfConsent "Refusal of consent to disseminate"
Atom art55.refusalExplained "Refusal to grant consent is appropriately explained"

// Rules
@srcRef "Article 55(1)"
rule_art55_1: art55.infoExchanged52_53 => [O] art55.usedOnlyForSoughtPurpose

@srcRef "Article 55(1)"
rule_art55_2: art55.disseminationToOtherAuthority | art55.useBeyondOriginalApproval => [O] art55.hasPriorConsent

@srcRef "Article 55(2)"
rule_art55_3: art55.disseminationToCompetentAuthorities => [O] art55.consentMustBeGranted

@srcRef "Article 55(2)"
rule_art55_4_exception: art55.beyondAMLCFTScope | art55.impairsCriminalInvestigation | art55.clearlyDisproportionate | art55.violatesNationalLawPrinciples => [E] art55.consentMustBeGranted

rule_art55_4_exception >> rule_art55_3

@srcRef "Article 55(2)"
rule_art55_5: art55.refusalOfConsent => [O] art55.refusalExplained

// Declarations
Atom art56.isMemberState "Is a Member State"
Atom art56.isFIU "Is a Financial Intelligence Unit"
Atom art56.usesProtectedChannels "Uses protected channels of communication between FIUs"
Atom art56.encouragesFIUNetOrSuccessor "Encourages use of FIU.net or its successor"
Atom art56.cooperatesInStateOfTheArtTech "Cooperates in application of state-of-the-art technologies"
Atom art56.inAccordanceWithNationalLaw "Is in accordance with national law"
Atom art56.allowsAnonymousDataMatching "Allows matching data with other FIUs anonymously"
Atom art56.ensuresFullDataProtection "Ensures full protection of personal data"
Atom art56.detectsSubjectsOfInterest "Aims to detect subjects of FIU's interests in other Member States"
Atom art56.identifiesProceedsAndFunds "Aims to identify proceeds and funds"

// Rules
@srcRef "Article 56 - protected channels"
rule_art56_1: art56.isFIU => [O] art56.usesProtectedChannels

@srcRef "Article 56 - FIU.net encouragement"
rule_art56_2: art56.isMemberState => [O] art56.encouragesFIUNetOrSuccessor

@srcRef "Article 56 - technology cooperation"
rule_art56_3: art56.isFIU & art56.inAccordanceWithNationalLaw => [O] art56.cooperatesInStateOfTheArtTech

@srcRef "Article 56 - anonymous matching"
rule_art56_4: art56.cooperatesInStateOfTheArtTech => [O] art56.allowsAnonymousDataMatching

@srcRef "Article 56 - data protection"
rule_art56_5: art56.cooperatesInStateOfTheArtTech => [O] art56.ensuresFullDataProtection

@srcRef "Article 56 - detecting subjects"
rule_art56_6: art56.cooperatesInStateOfTheArtTech => [O] art56.detectsSubjectsOfInterest

@srcRef "Article 56 - identifying proceeds"
rule_art56_7: art56.cooperatesInStateOfTheArtTech => [O] art56.identifiesProceedsAndFunds

// Declarations
Atom art57.hasDefinitionDifference "Differences between national law definitions of tax crimes exist"
Atom art57.impedesInfoExchange "Impedes the ability of FIUs to exchange information"
Atom art57.impedesAssistance "Impedes the ability of FIUs to provide assistance to another FIU"

// Rules
@srcRef "Article 57"
rule_art57_1: art57.hasDefinitionDifference => [F] art57.impedesInfoExchange

@srcRef "Article 57"
rule_art57_2: art57.hasDefinitionDifference => [F] art57.impedesAssistance

// Article 58 Declarations
Atom art58.isMemberState "Is a Member State"
Atom art58.isObligedEntity "Is an obliged entity"
Atom art58.breachOccurred "Breach of national provisions transposing this Directive"
Atom art58.liabilityEnsured "Liability is ensured for the breach"
Atom art58.sanctionIsEffective "Sanction or measure is effective"
Atom art58.sanctionIsProportionate "Sanction or measure is proportionate"
Atom art58.sanctionIsDissuasive "Sanction or measure is dissuasive"
Atom art58.adminRulesLaidDown "Rules on administrative sanctions and measures are laid down"
Atom art58.competentAuthorityCanImpose "Competent authorities may impose administrative sanctions"
Atom art58.sanctionsApplied "Administrative sanctions are ensured to be applied"
Atom art58.criminalSanctionsExist "Criminal sanctions exist for the breach in national law"
Atom art58.usingCriminalOnly "Member State decided not to lay down administrative rules (relying on criminal sanctions)"
Atom art58.criminalProvisionsCommunicated "Relevant criminal law provisions communicated to Commission"

// Rules
@srcRef "Article 58"
rule_art58_liability: art58.isMemberState & art58.isObligedEntity & art58.breachOccurred => [O] art58.liabilityEnsured

@srcRef "Article 58"
rule_art58_effective: art58.liabilityEnsured => [O] art58.sanctionIsEffective

@srcRef "Article 58"
rule_art58_proportionate: art58.liabilityEnsured => [O] art58.sanctionIsProportionate

@srcRef "Article 58"
rule_art58_dissuasive: art58.liabilityEnsured => [O] art58.sanctionIsDissuasive

@srcRef "Article 58"
rule_art58_admin_rules: art58.isMemberState => [O] art58.adminRulesLaidDown

@srcRef "Article 58"
rule_art58_competent_authority: art58.isMemberState => [O] art58.competentAuthorityCanImpose

@srcRef "Article 58"
rule_art58_applied: art58.isMemberState => [O] art58.sanctionsApplied

@srcRef "Article 58"
rule_art58_exception: art58.criminalSanctionsExist => [E] art58.adminRulesLaidDown

rule_art58_exception >> rule_art58_admin_rules

@srcRef "Article 58"
rule_art58_communicate: art58.isMemberState & art58.usingCriminalOnly => [O] art58.criminalProvisionsCommunicated

// Declarations
Atom art59.breachIsSerious "Breach is serious"
Atom art59.breachIsRepeated "Breach is repeated"
Atom art59.breachIsSystematic "Breach is systematic"
Atom art59.breachOfCDD "Breach of Articles 10 to 24 regarding customer due diligence"
Atom art59.breachOfSTR "Breach of Articles 33 to 35 regarding suspicious transaction reporting"
Atom art59.breachOfRecordKeeping "Breach of Article 40 regarding record-keeping"
Atom art59.breachOfInternalControls "Breach of Articles 45 and 46 regarding internal controls"

Atom art59.breachIsQualified "Breach is serious, repeated, systematic, or a combination thereof"
Atom art59.breachIsOfRelevantProvision "Breach of provisions listed in Article 59(1)"
Atom art59.sanctionRegimeApplies "Article 59 sanctions and measures apply"

Atom art59.isCreditInstitution "Is a credit institution"
Atom art59.isFinancialInstitution "Is a financial institution"
Atom art59.isCreditOrFinancialInstitution "Is a credit institution or financial institution"
Atom art59.isLegalPerson "Is a legal person"
Atom art59.isNaturalPerson "Is a natural person"
Atom art59.subjectToAuthorisation "Is subject to an authorisation"

Atom art59.canIssuePublicStatement "Can issue public statement identifying person and breach"
Atom art59.canOrderCeaseDesist "Can order cessation and desistance from conduct"
Atom art59.canSuspendAuthorisation "Can withdraw or suspend authorisation"
Atom art59.canBanManagement "Can impose temporary ban on exercising managerial functions"
Atom art59.canApplyPecuniarySanctionBenefit "Can apply pecuniary sanction of at least twice the benefit derived"
Atom art59.canApplyPecuniarySanction1M "Can apply pecuniary sanction of at least EUR 1 000 000"
Atom art59.canApplyPecuniarySanction5M "Can apply pecuniary sanction of at least EUR 5 000 000"
Atom art59.canApplyPecuniarySanctionTurnover "Can apply pecuniary sanction of at least 10% of total annual turnover"

Numeric art59.benefitDerived "Benefit derived from the breach in EUR"
Atom art59.benefitCanDetermine "Benefit derived from the breach can be determined"
Numeric art59.totalAnnualTurnover "Total annual turnover in EUR"

// Rules
@srcRef "Article 59(1)"
rule_art59_qual_1: art59.breachIsSerious => [O] art59.breachIsQualified
@srcRef "Article 59(1)"
rule_art59_qual_2: art59.breachIsRepeated => [O] art59.breachIsQualified
@srcRef "Article 59(1)"
rule_art59_qual_3: art59.breachIsSystematic => [O] art59.breachIsQualified

@srcRef "Article 59(1)"
rule_art59_prov_1: art59.breachOfCDD => [O] art59.breachIsOfRelevantProvision
@srcRef "Article 59(1)"
rule_art59_prov_2: art59.breachOfSTR => [O] art59.breachIsOfRelevantProvision
@srcRef "Article 59(1)"
rule_art59_prov_3: art59.breachOfRecordKeeping => [O] art59.breachIsOfRelevantProvision
@srcRef "Article 59(1)"
rule_art59_prov_4: art59.breachOfInternalControls => [O] art59.breachIsOfRelevantProvision

@srcRef "Article 59(1)"
rule_art59_1: art40.isObligedEntity & art59.breachIsQualified & art59.breachIsOfRelevantProvision => [O] art59.sanctionRegimeApplies

@srcRef "Article 59(2)(a)"
rule_art59_2a: art59.sanctionRegimeApplies => [P] art59.canIssuePublicStatement

@srcRef "Article 59(2)(b)"
rule_art59_2b: art59.sanctionRegimeApplies => [P] art59.canOrderCeaseDesist

@srcRef "Article 59(2)(c)"
rule_art59_2c: art59.sanctionRegimeApplies & art59.subjectToAuthorisation => [P] art59.canSuspendAuthorisation

@srcRef "Article 59(2)(d)"
rule_art59_2d: art59.sanctionRegimeApplies => [P] art59.canBanManagement

@srcRef "Article 59(2)(e)"
rule_art59_2e_1: art59.sanctionRegimeApplies & art59.benefitCanDetermine => [P] art59.canApplyPecuniarySanctionBenefit

@srcRef "Article 59(2)(e)"
rule_art59_2e_2: art59.sanctionRegimeApplies => [P] art59.canApplyPecuniarySanction1M

@srcRef "Article 59(3)"
rule_art59_cf_1: art59.isCreditInstitution => [O] art59.isCreditOrFinancialInstitution
@srcRef "Article 59(3)"
rule_art59_cf_2: art59.isFinancialInstitution => [O] art59.isCreditOrFinancialInstitution

@srcRef "Article 59(3)"
rule_art59_3a: art59.sanctionRegimeApplies & art59.isCreditOrFinancialInstitution & art59.isLegalPerson => [P] art59.canApplyPecuniarySanction5M

@srcRef "Article 59(3)"
rule_art59_3b: art59.sanctionRegimeApplies & art59.isCreditOrFinancialInstitution & art59.isLegalPerson => [P] art59.canApplyPecuniarySanctionTurnover

// Overrides
rule_art59_3a >> rule_art59_2e_1
rule_art59_3a >> rule_art59_2e_2
rule_art59_3b >> rule_art59_2e_1
rule_art59_3b >> rule_art59_2e_2

// Declarations
Atom art5.isMemberState "Is a Member State"
Atom art5.areStricterProvisions "Are stricter provisions"
Atom art5.inCoveredField "In the field covered by this Directive"
Atom art5.purposePreventMLTF "Purpose is to prevent money laundering and terrorist financing"
Atom art5.withinUnionLawLimits "Within the limits of Union law"
Atom art5.mayAdoptRetainStricterProvisions "May adopt or retain stricter provisions in force"

// Rules
@srcRef "Article 5"
rule_art5_permission: art5.isMemberState & art5.areStricterProvisions & art5.inCoveredField & art5.purposePreventMLTF & art5.withinUnionLawLimits => [P] art5.mayAdoptRetainStricterProvisions

// Declarations
Atom art60_1_a.decisionToImposeSanctionExists "Decision to impose administrative sanction or measure exists"
Atom art60_1_a.reasonsForNotPublishingExist "Reasons for not publishing the decision exist"
Atom art60_1_a.publicationDelayed "Publication of the decision is delayed"

// Rules
@srcRef "Article 60(1)(a)"
rule_art60_1_a: art60_1_a.decisionToImposeSanctionExists & art60_1_a.reasonsForNotPublishingExist => [P] art60_1_a.publicationDelayed

// Declarations
Atom art60_1_b.decisionToImposeSanction "Decision to impose an administrative sanction or measure"
Atom art60_1_b.publishAnonymously "Publish the decision on an anonymous basis"
Atom art60_1_b.inAccordanceWithNationalLaw "Publication is in accordance with national law"
Atom art60_1_b.protectsPersonalData "Anonymous publication ensures effective protection of personal data concerned"
Atom art60_1_b.reasonsForAnonymityCease "Foreseen that reasons for anonymous publication shall cease to exist"
Atom art60_1_b.mayPostponePublication "Publication of relevant data may be postponed"

// Rules
@srcRef "Article 60(1)(b)"
rule_art60_1_b_1: art60_1_b.decisionToImposeSanction & art60_1_b.inAccordanceWithNationalLaw & art60_1_b.protectsPersonalData => [P] art60_1_b.publishAnonymously

@srcRef "Article 60(1)(b)"
rule_art60_1_b_2: art60_1_b.publishAnonymously & art60_1_b.reasonsForAnonymityCease => [P] art60_1_b.mayPostponePublication

// Declarations
Atom art60.optionsABInsufficient "Options set out in points (a) and (b) are considered insufficient"
Atom art60.publishDecision "Publish the decision to impose an administrative sanction or measure"

// Rules
@srcRef "Article 60(1)(c)"
rule_art60_1c: art60.optionsABInsufficient => [F] art60.publishDecision

// Declarations
Atom art60_1_c_i.stabilityFinancialMarketsNotJeopardized "Stability of financial markets would not be put in jeopardy"

// Declarations
Atom art60.measureIsOfMinorNature "Measures are deemed to be of a minor nature"
Atom art60.decisionMustBePublished "Decision must be published"

// Rules
@srcRef "Article 60(1)(c)(ii)"
rule_art60_1c_ii: art60.measureIsOfMinorNature => [E] art60.decisionMustBePublished

// Declarations
Atom art60_1.adminSanctionOrMeasure "Is a decision imposing an administrative sanction or measure"
Atom art60_1.breachOfNationalProvisions "Breach of national provisions transposing Directive"
Atom art60_1.noAppeal "Decision against which there is no appeal"
Atom art60_1.personInformed "Person sanctioned is informed of the decision"
Atom art60_1.isInvestigatoryNature "Decision imposes measures that are of an investigatory nature"
Atom art60_1.mustPublishDecision "Obligation to publish decision on official website"
Atom art60_1.mustIncludeIdentity "Publication must include identity of persons responsible"
Atom art60_1.publicationDisproportionate "Publication of identity or personal data is considered disproportionate"
Atom art60_1.jeopardisesStability "Publication jeopardises the stability of financial markets"
Atom art60_1.jeopardisesInvestigation "Publication jeopardises an on-going investigation"

// Rules
@srcRef "Article 60(1)"
rule_art60_1_publish: art60_1.adminSanctionOrMeasure & art60_1.breachOfNationalProvisions & art60_1.noAppeal & art60_1.personInformed => [O] art60_1.mustPublishDecision

@srcRef "Article 60(1)"
rule_art60_1_content: art60_1.mustPublishDecision => [O] art60_1.mustIncludeIdentity

@srcRef "Article 60(1)"
rule_art60_1_except_inv: art60_1.isInvestigatoryNature => [E] art60_1.mustPublishDecision

@srcRef "Article 60(1)"
rule_art60_1_except_id: art60_1.publicationDisproportionate | art60_1.jeopardisesStability | art60_1.jeopardisesInvestigation => [E] art60_1.mustIncludeIdentity

// Overrides
rule_art60_1_except_inv >> rule_art60_1_publish
rule_art60_1_except_id >> rule_art60_1_content

// Declarations
Atom art60_2.msPermitsPubAppealDecisions "Member State permits publication of decisions subject to appeal"
Atom art60_2.mustPublishAppealInfo "Competent authority must publish appeal information and outcome immediately on official website"
Atom art60_2.isAnnulmentDecision "Decision annulling a previous decision to impose administrative sanction or measure"
Atom art60_2.mustPublishAnnulment "Must publish annulment decision"

// Rules
@srcRef "Article 60(2)"
rule_art60_2_appeal: art60_2.msPermitsPubAppealDecisions => [O] art60_2.mustPublishAppealInfo

@srcRef "Article 60(2)"
rule_art60_2_annulment: art60_2.isAnnulmentDecision => [O] art60_2.mustPublishAnnulment

// Article 60
// No substantive regulatory text provided for encoding

// Declarations
Atom art60.isCompetentAuthority "Is a competent authority"
Atom art60.isPublication "Is a publication in accordance with Article 60"
Atom art60.mustRetainForFiveYears "Must ensure publication remains on website for five years"
Atom art60.containsPersonalData "Publication contains personal data"
Atom art60.mustRetainPerDataProtection "Must retain personal data only for necessary period per data protection rules"

// Rules
@srcRef "Article 60(3) first sentence"
rule_art60_3_general: art60.isCompetentAuthority & art60.isPublication => [O] art60.mustRetainForFiveYears

@srcRef "Article 60(3) second sentence"
rule_art60_3_exception: art60.isCompetentAuthority & art60.isPublication & art60.containsPersonalData => [E] art60.mustRetainForFiveYears

@srcRef "Article 60(3) second sentence"
rule_art60_3_dataprotection: art60.isCompetentAuthority & art60.isPublication & art60.containsPersonalData => [O] art60.mustRetainPerDataProtection

rule_art60_3_exception >> rule_art60_3_general

// Declarations
Atom art60_4_a.breachExists "A breach exists"
Atom art60_4_a.gravityConsidered "Gravity of the breach is considered"
Atom art60_4_a.durationConsidered "Duration of the breach is considered"

// Rules
@srcRef "Article 60(4)(a)"
rule_art60_4_a_gravity: art60_4_a.breachExists => [O] art60_4_a.gravityConsidered

@srcRef "Article 60(4)(a)"
rule_art60_4_a_duration: art60_4_a.breachExists => [O] art60_4_a.durationConsidered

// Declarations
Atom art60_4b.personHeldResponsible "Natural or legal person held responsible"
Numeric art60_4b.degreeOfResponsibility "Degree of responsibility of the person held responsible"
Atom art60_4b.mustConsiderDegreeOfResponsibility "Must consider the degree of responsibility"

// Rules
@srcRef "Article 60(4)(b)"
rule_art60_4b_consider: art60_4b.personHeldResponsible => [O] art60_4b.mustConsiderDegreeOfResponsibility

// Declarations
Atom art60_4_c.isNaturalPersonHeldResponsible "Is a natural person held responsible"
Atom art60_4_c.isLegalPersonHeldResponsible "Is a legal person held responsible"
Numeric art60_4_c.totalTurnover "Total turnover of the legal person held responsible"
Numeric art60_4_c.annualIncome "Annual income of the natural person held responsible"
Atom art60_4_c.mustConsiderFinancialStrength "Must consider the financial strength of the person held responsible"

// Rules
@srcRef "Article 60(4)(c)"
rule_art60_4_c_legal: art60_4_c.isLegalPersonHeldResponsible & art60_4_c.totalTurnover > 0 => [O] art60_4_c.mustConsiderFinancialStrength

@srcRef "Article 60(4)(c)"
rule_art60_4_c_natural: art60_4_c.isNaturalPersonHeldResponsible & art60_4_c.annualIncome > 0 => [O] art60_4_c.mustConsiderFinancialStrength

// Declarations
Atom art60.responsiblePerson "Natural or legal person held responsible"
Numeric art60.benefitDerived "Benefit derived from the breach"
Atom art60.benefitCanBeDetermined "Benefit derived can be determined"
Atom art60.mustConsiderBenefit "Must consider benefit derived from breach"

// Rules
@srcRef "Article 60(4)(d)"
rule_art60_4_d: art60.responsiblePerson & art60.benefitCanBeDetermined => [O] art60.mustConsiderBenefit

// Declarations
Atom art60_4_e.lossesToThirdPartiesCausedByBreach "Losses to third parties caused by the breach exist"
Atom art60_4_e.lossesCanBeDetermined "The losses to third parties can be determined"
Atom art60_4_e.mustConsiderLossesToThirdParties "Must consider losses to third parties when determining the sanction"

// Rules
@srcRef "Article 60(4)(e)"
rule_art60_4e_1: art60_4_e.lossesToThirdPartiesCausedByBreach & art60_4_e.lossesCanBeDetermined => [O] art60_4_e.mustConsiderLossesToThirdParties

// Declarations
Atom art60.isCompetentAuthority "Is a competent authority"
Atom art60.determiningSanctions "Determining the type and level of administrative sanctions or measures"
Atom art60.mustTakeIntoAccountCircumstances "Must take into account all relevant circumstances"

// Rules
@srcRef "Article 60(4)"
rule_art60_4: art60.isCompetentAuthority & art60.determiningSanctions => [O] art60.mustTakeIntoAccountCircumstances

// No regulatory text provided in Section Article 61 to encode.

// Declarations
Atom s61.isMemberState "Is a Member State"
Atom s61.effectiveReportingMechanismsEstablished "Effective and reliable mechanisms to encourage reporting of potential or actual breaches to competent authorities are established"

// Rules
@srcRef "Article 61(1)"
rule_s61_1: s61.isMemberState => [O] s61.effectiveReportingMechanismsEstablished

// Declarations
Atom art61.mechanisms "The mechanisms referred to in paragraph 1"
Atom art61.includeMinimumElements "Shall include at least the minimum elements"

// Rules
@srcRef "Article 61(2)"
rule_art61_2: art61.mechanisms => [O] art61.includeMinimumElements

// Declarations
Atom art61_2_a.isSubjectEntity "Is an entity subject to Article 61(2)(a)"
Atom art61_2_a.hasReceiptProcedures "Has specific procedures for receipt of reports on breaches"
Atom art61_2_a.hasFollowUpProcedures "Has specific procedures for follow-up of reports"

// Rules
@srcRef "Article 61(2)(a)"
rule_art61_2_a_receipt: art61_2_a.isSubjectEntity => [O] art61_2_a.hasReceiptProcedures

@srcRef "Article 61(2)(a)"
rule_art61_2_a_followup: art61_2_a.isSubjectEntity => [O] art61_2_a.hasFollowUpProcedures

// Declarations
Atom art61.isEmployeeOrComparable "Is an employee or person in a comparable position"
Atom art61.reportingInternalBreach "Reports breaches committed within the obliged entity"
Atom art61.appropriateProtection "Appropriate protection is provided"

// Rules
@srcRef "Article 61(2)(b)"
rule_art61_2_b: art61.isEmployeeOrComparable & art61.reportingInternalBreach => [O] art61.appropriateProtection

// Declarations
Atom art61_2c.accusedPerson "Person is an accused"
Atom art61_2c.appropriateProtection "Appropriate protection is provided for the accused person"

// Rules
@srcRef "Article 61(2)(c)"
rule_art61_2c_1: art61_2c.accusedPerson => [O] art61_2c.appropriateProtection

// Declarations
Atom art61_2d.dataConcernsReporter "Personal data concerns the person who reports the breaches"
Atom art61_2d.dataConcernsAllegedResponsible "Personal data concerns the natural person who is allegedly responsible for a breach"
Atom art61_2d.compliesWithDirective95_46 "Protection complies with the principles laid down in Directive 95/46/EC"
Atom art61_2d.protectsPersonalData "Must ensure protection of personal data"

// Rules
@srcRef "Article 61(2)(d)"
rule_art61_2d_1: art61_2d.dataConcernsReporter | art61_2d.dataConcernsAllegedResponsible => [O] art61_2d.protectsPersonalData

@srcRef "Article 61(2)(d)"
rule_art61_2d_2: art61_2d.protectsPersonalData => [O] art61_2d.compliesWithDirective95_46

// Declarations
Atom art61_2_e.isReporter "Is the person who reports breaches committed within the obliged entity"
Atom art61_2_e.confidentialityGuaranteed "Confidentiality is guaranteed for the reporter"
Atom art61_2_e.disclosureRequiredByNationalLaw "Disclosure is required by national law"
Atom art61_2_e.inFurtherInvestigations "In the context of further investigations"
Atom art61_2_e.inJudicialProceedings "In the context of subsequent judicial proceedings"

// Rules
@srcRef "Article 61(2)(e)"
rule_art61_2_e_1: art61_2_e.isReporter => [O] art61_2_e.confidentialityGuaranteed

@srcRef "Article 61(2)(e) - exception"
rule_art61_2_e_2: art61_2_e.disclosureRequiredByNationalLaw & art61_2_e.inFurtherInvestigations | art61_2_e.disclosureRequiredByNationalLaw & art61_2_e.inJudicialProceedings => [E] art61_2_e.confidentialityGuaranteed

rule_art61_2_e_2 >> rule_art61_2_e_1

// Declarations
Atom a61_3.isObligedEntity "Is an obliged entity"
Atom a61_3.mustHaveInternalReportingProcedures "Must have appropriate procedures for employees to report breaches internally through a specific, independent and anonymous channel"

// Rules
@srcRef "Article 61(3)"
rule_a61_3_1: a61_3.isObligedEntity => [O] a61_3.mustHaveInternalReportingProcedures

// Declarations
Atom art62.isCreditInstitution "Entity is a credit institution"
Atom art62.isFinancialInstitution "Entity is a financial institution"
Atom art62.sanctionOrMeasureImposed "Administrative sanction or measure is imposed"
Atom art62.pursuantToArt58Or59 "Sanction or measure imposed in accordance with Article 58 or 59"
Atom art62.hasAppeal "There is an appeal relating to the sanction or measure"
Atom art62.appealOutcome "There is an outcome of an appeal"
Atom art62.mustInformESA "Competent authority must inform ESA"
Atom art62.mustInformAppealDetails "Competent authority must inform ESA of appeal and outcome"

// Rules
@srcRef "Article 62(1)"
rule_art62_1_credit: art62.sanctionOrMeasureImposed & art62.pursuantToArt58Or59 & art62.isCreditInstitution => [O] art62.mustInformESA

@srcRef "Article 62(1)"
rule_art62_1_financial: art62.sanctionOrMeasureImposed & art62.pursuantToArt58Or59 & art62.isFinancialInstitution => [O] art62.mustInformESA

@srcRef "Article 62(1)"
rule_art62_1_appeal: art62.mustInformESA & art62.hasAppeal => [O] art62.mustInformAppealDetails

@srcRef "Article 62(1)"
rule_art62_1_outcome: art62.mustInformESA & art62.appealOutcome => [O] art62.mustInformAppealDetails

// Declarations
Atom art62_2.isMemberState "Is a Member State"
Atom art62_2.relevantConvictionChecked "Check existence of relevant conviction in criminal record in accordance with national law"
Atom art62_2.exchangeInformation "Exchange of information for those purposes"
Atom art62_2.exchangeCompliesWithDecisions "Exchange complies with Decision 2009/316/JHA and Framework Decision 2009/315/JHA as implemented in national law"

// Rules
@srcRef "Article 62(2)"
rule_art62_2_ensure_check: art62_2.isMemberState => [O] art62_2.relevantConvictionChecked

@srcRef "Article 62(2)"
rule_art62_2_exchange_compliance: art62_2.exchangeInformation => [O] art62_2.exchangeCompliesWithDecisions

// Declarations
Atom art62.isESA "Is a European Supervisory Authority"
Atom art62.mustMaintainWebsiteWithLinks "Must maintain a website with links to competent authority publications of sanctions and measures"
Atom art62.mustShowPublicationDuration "Must show the time period for which each Member State publishes sanctions and measures"

// Rules
@srcRef "Article 62(3)"
rule_art62_3a: art62.isESA => [O] art62.mustMaintainWebsiteWithLinks

@srcRef "Article 62(3)"
rule_art62_3b: art62.isESA => [O] art62.mustShowPublicationDuration

// Article 62: No substantive text provided for encoding

// Declarations
Atom art63.isCCP "Is a Central Counterparty"
Atom art63.establishedInThirdCountry "CCP is established or authorised in a third country"
Atom art63.countryHasStrategicDeficiencies "Third country considered by Commission to have strategic AML/CFT deficiencies posing threats to Union financial system"
Atom art63.compliesWithArt25_2_d "Complies with Article 25(2)(d) of Regulation (EU) No 648/2012"

// Rules
@srcRef "Article 63"
rule_art63_1: art63.isCCP & art63.establishedInThirdCountry & ~art63.countryHasStrategicDeficiencies => [O] art63.compliesWithArt25_2_d

// Declarations
Atom art64.powerConferred "Power to adopt delegated acts under Article 9 is conferred on Commission"
Atom art64.revocationByEP "European Parliament revokes the power"
Atom art64.revocationByCouncil "Council revokes the power"
Atom art64.revocationEffective "Revocation is effective"
Atom art64.validityAffected "Validity of existing delegated acts is affected"
Atom art64.delegatedActAdopted "Commission adopts a delegated act"
Atom art64.notifiedEP "Commission notifies European Parliament"
Atom art64.notifiedCouncil "Commission notifies Council"
Atom art64.objectionEP "European Parliament objects to delegated act"
Atom art64.objectionCouncil "Council objects to delegated act"
Atom art64.periodExpired "One month period from notification has expired"
Atom art64.informedNoObjectionEP "European Parliament informs Commission it will not object"
Atom art64.informedNoObjectionCouncil "Council informs Commission it will not object"
Atom art64.delegatedActInForce "Delegated act enters into force"
Atom art64.extensionByEP "European Parliament initiates extension of period"
Atom art64.extensionByCouncil "Council initiates extension of period"
Atom art64.periodExtended "Period is extended by one month"

// Rules
@srcRef "Article 64(2)"
rule_art64_2: true => [O] art64.powerConferred

@srcRef "Article 64(3) first sentence"
rule_art64_3_perm_ep: true => [P] art64.revocationByEP
rule_art64_3_perm_council: true => [P] art64.revocationByCouncil

@srcRef "Article 64(3) fourth sentence"
rule_art64_3_savings: art64.revocationEffective => [F] art64.validityAffected

@srcRef "Article 64(4)"
rule_art64_4_ep: art64.delegatedActAdopted => [O] art64.notifiedEP
rule_art64_4_council: art64.delegatedActAdopted => [O] art64.notifiedCouncil

@srcRef "Article 64(5) condition 1"
rule_art64_5_entry1: ~art64.objectionEP & ~art64.objectionCouncil & art64.periodExpired => [O] art64.delegatedActInForce

@srcRef "Article 64(5) condition 2"
rule_art64_5_entry2: art64.informedNoObjectionEP & art64.informedNoObjectionCouncil & ~art64.periodExpired => [O] art64.delegatedActInForce

@srcRef "Article 64(5) extension permission"
rule_art64_5_ext_perm_ep: true => [P] art64.extensionByEP
rule_art64_5_ext_perm_council: true => [P] art64.extensionByCouncil

@srcRef "Article 64(5) extension obligation"
rule_art64_5_ext_obl: art64.extensionByEP | art64.extensionByCouncil => [O] art64.periodExtended

// Declarations
Atom art65.isCommission "Is the Commission"
Atom art65.mustDrawUpAndSubmitReport "Must draw up and submit report on implementation to Parliament and Council by 26 June 2019"

// Rules
@srcRef "Article 65"
rule_art65_1: art65.isCommission => [O] art65.mustDrawUpAndSubmitReport

// Declarations
Atom art66.referenceToRepealedDirectives "Reference to repealed Directives 2005/60/EC or 2006/70/EC"
Atom art66.repealEffective "Repeal is effective from 26 June 2017"
Atom art66.mustConstrainAsThisDirective "Must construe reference as reference to this Directive"
Atom art66.mustReadWithAnnexIV "Must read reference in accordance with Annex IV correlation table"

// Rules
@srcRef "Article 66"
rule_art66_construction: art66.referenceToRepealedDirectives & art66.repealEffective => [O] art66.mustConstrainAsThisDirective

@srcRef "Article 66"
rule_art66_reading: art66.referenceToRepealedDirectives & art66.repealEffective => [O] art66.mustReadWithAnnexIV

// Declarations
Atom art67.isMemberState "Is a Member State"
Atom art67.bringIntoForceMeasures "Bring into force laws regulations and administrative provisions necessary to comply"
Atom art67.adoptedMeasures "Member State has adopted measures"
Atom art67.communicateMeasuresToCommission "Communicate the text of measures to the Commission immediately"
Atom art67.measuresContainReference "Measures contain a reference to this Directive or accompanied by reference on publication"
Atom art67.layDownReferenceMethods "Lay down methods of making reference to this Directive"
Atom art67.communicateNationalLawProvisions "Communicate to the Commission the text of main provisions of national law adopted in the field covered by this Directive"

// Rules
@srcRef "Article 67(1)"
rule_art67_1: art67.isMemberState => [O] art67.bringIntoForceMeasures

@srcRef "Article 67(1)"
rule_art67_2: art67.isMemberState & art67.adoptedMeasures => [O] art67.communicateMeasuresToCommission

@srcRef "Article 67(1)"
rule_art67_3: art67.isMemberState & art67.adoptedMeasures => [O] art67.measuresContainReference

@srcRef "Article 67(1)"
rule_art67_4: art67.isMemberState => [O] art67.layDownReferenceMethods

@srcRef "Article 67(2)"
rule_art67_5: art67.isMemberState & art67.adoptedMeasures => [O] art67.communicateNationalLawProvisions

// Declarations
Atom art68.isPublishedInOJ "Directive has been published in the Official Journal of the European Union"
Numeric art68.daysSincePublication "Days elapsed since publication"
Atom art68.isInForce "Directive is in force"

// Rules
@srcRef "Article 68"
rule_art68_1: art68.isPublishedInOJ & art68.daysSincePublication >= 20 => [O] art68.isInForce

// Declarations
Atom art69.isMemberState "Is a Member State"
Atom art69.isAddressee "Is an addressee of the Directive"

// Rules
@srcRef "Article 69"
rule_art69_1: art69.isMemberState => [O] art69.isAddressee

// Declarations
Atom art6_1_b.isRelevantSector "Is a relevant sector"
Atom art6_1_b.mustIdentifySectorRisks "Must identify risks associated with each relevant sector"

// Rules
@srcRef "Article 6(1)(b)"
rule_art6_1_b: art6_1_b.isRelevantSector => [O] art6_1_b.mustIdentifySectorRisks

// Declarations
Atom art6_1.commission "The Commission"
Atom art6_1.mustConductAssessment "Must conduct assessment of the risks of money laundering and terrorist financing affecting the internal market and relating to cross-border activities"
Atom art6_1.mustDrawUpReport "Must draw up report identifying analysing and evaluating those risks at Union level"
Atom art6_1.updateReport "Update the report"
Atom art6_1.twoYearsElapsed "Two years have elapsed since the last report"
Atom art6_1.appropriateToUpdate "More frequent update is appropriate"
Numeric art6_1.currentDate "Current date as YYYYMMDD"

// Rules
@srcRef "Article 6(1) first sentence"
rule_art6_1_assess: art6_1.commission => [O] art6_1.mustConductAssessment

@srcRef "Article 6(1) second sentence"
rule_art6_1_initial_report: art6_1.commission & art6_1.currentDate <= 20170626 => [O] art6_1.mustDrawUpReport

@srcRef "Article 6(1) third sentence - biennial obligation"
rule_art6_1_biennial: art6_1.commission & art6_1.twoYearsElapsed => [O] art6_1.updateReport

@srcRef "Article 6(1) third sentence - frequent update permission"
rule_art6_1_frequent: art6_1.commission & art6_1.appropriateToUpdate => [P] art6_1.updateReport

// Declarations
Atom art6_1_c.isMostWidespreadMeans "Is the most widespread means used by criminals by which to launder illicit proceeds"
Atom art6_1_c.isPredicateOffence "Qualifies as a predicate offence"

// Rules
@srcRef "Article 6(1)(c)"
rule_art6_1_c: art6_1_c.isMostWidespreadMeans => [O] art6_1_c.isPredicateOffence

// Declarations
Atom art6.report "The report referred to in paragraph 1"
Atom art6.coversMinimumContent "Covers at least the following items"

// Rules
@srcRef "Article 6(2)"
rule_art6_2: art6.report => [O] art6.coversMinimumContent

// Declarations
Atom art6_2_a.internalMarketArea "Is an area of the internal market"
Atom art6_2_a.atGreatestRisk "Is at greatest risk"
Atom art6_2_a.requiresRegulatoryPriority "Requires regulatory priority"

// Rules
@srcRef "Article 6(2)(a)"
rule_art6_2_a_1: art6_2_a.internalMarketArea & art6_2_a.atGreatestRisk => [O] art6_2_a.requiresRegulatoryPriority

// Declarations
Atom art6.isCommission "The European Commission"
Atom art6.reportParagraph1 "The report referred to in paragraph 1"
Atom art6.makeReportAvailable "Make the report available to Member States and obliged entities and other stakeholders"

// Rules
@srcRef "Article 6(3)"
rule_art6_3: art6.isCommission => [O] art6.makeReportAvailable

// Declarations
Atom art6_4.risksIdentified "Risks have been identified"
Atom art6_4.commissionShallMakeRecommendations "Commission shall make recommendations to Member States on suitable measures"
Atom art6_4.memberStateDecidesNotApplyRecommendations "Member State decides not to apply any recommendations in national AML/CFT regime"
Atom art6_4.memberStateNotifiesCommission "Member State notifies the Commission"
Atom art6_4.memberStateProvidesJustification "Member State provides justification for not applying recommendations"

// Rules
@srcRef "Article 6(4)"
rule_art6_4_1: art6_4.risksIdentified => [O] art6_4.commissionShallMakeRecommendations

@srcRef "Article 6(4)"
rule_art6_4_2: art6_4.memberStateDecidesNotApplyRecommendations => [O] art6_4.memberStateNotifiesCommission

@srcRef "Article 6(4)"
rule_art6_4_3: art6_4.memberStateDecidesNotApplyRecommendations => [O] art6_4.memberStateProvidesJustification

// Declarations
Atom art6.isESA "Is a European Supervisory Authority"
Atom art6.actingThroughJointCommittee "Acting through the Joint Committee"
Atom art6.mustIssueJointOpinion "Must issue an opinion on risks of money laundering and terrorist financing"
Atom art6.isInitialDeadline "Is deadline by 26 December 2016"
Atom art6.isBiennialDeadline "Is deadline every two years thereafter"

// Rules
@srcRef "Article 6(5)"
rule_art6_5_initial: art6.isESA & art6.actingThroughJointCommittee & art6.isInitialDeadline => [O] art6.mustIssueJointOpinion

@srcRef "Article 6(5)"
rule_art6_5_recurring: art6.isESA & art6.actingThroughJointCommittee & art6.isBiennialDeadline => [O] art6.mustIssueJointOpinion

// Declarations
Atom art6.assessmentConducted "Commission is conducting the assessment referred to in paragraph 1"
Atom art6.workOrganisedAtUnionLevel "Commission organises the work at Union level"
Atom art6.jointOpinionsExist "Joint opinions referred to in paragraph 5 exist"
Atom art6.takesIntoAccountJointOpinions "Commission takes into account the joint opinions"
Atom art6.involvementAppropriate "Involvement of Member States' experts, FIU representatives and other Union level bodies is appropriate"
Atom art6.involvedExpertsAndBodies "Commission involves Member States' experts in AML/CFT, representatives from FIUs and other Union level bodies"
Atom art6.jointOpinionsMadeAvailable "Commission makes the joint opinions available to Member States and obliged entities"

// Rules
@srcRef "Article 6(6) - organise work at Union level"
rule_art6_6_organise: art6.assessmentConducted => [O] art6.workOrganisedAtUnionLevel

@srcRef "Article 6(6) - take into account joint opinions"
rule_art6_6_take_into_account: art6.assessmentConducted & art6.jointOpinionsExist => [O] art6.takesIntoAccountJointOpinions

@srcRef "Article 6(6) - involve experts where appropriate"
rule_art6_6_involve: art6.assessmentConducted & art6.involvementAppropriate => [O] art6.involvedExpertsAndBodies

@srcRef "Article 6(6) - make joint opinions available"
rule_art6_6_make_available: art6.jointOpinionsExist => [O] art6.jointOpinionsMadeAvailable

// Declarations
Atom art6_7.isCommission "The entity is the Commission"
Atom art6_7.twoYearPeriodElapsed "Two years have elapsed since the last report"
Atom art6_7.moreFrequentReportingAppropriate "More frequent reporting is appropriate"
Atom art6_7.submitReportToParliamentCouncil "Submit report to European Parliament and Council on risk assessment findings and actions taken"

// Rules
@srcRef "Article 6(7)"
rule_art6_7_biennial: art6_7.isCommission & art6_7.twoYearPeriodElapsed => [O] art6_7.submitReportToParliamentCouncil

@srcRef "Article 6(7)"
rule_art6_7_adhoc: art6_7.isCommission & art6_7.moreFrequentReportingAppropriate => [O] art6_7.submitReportToParliamentCouncil

// Section: Article 6
// No regulatory text provided for rule extraction.

// Declarations
Atom art7_1.isMemberState "Is a Member State"
Atom art7_1.mustIdentifyMLTFRisks "Must identify risks of money laundering and terrorist financing"
Atom art7_1.mustAssessMLTFRisks "Must assess risks of money laundering and terrorist financing"
Atom art7_1.mustUnderstandMLTFRisks "Must understand risks of money laundering and terrorist financing"
Atom art7_1.mustMitigateMLTFRisks "Must mitigate risks of money laundering and terrorist financing"
Atom art7_1.mustAddressDataProtection "Must address data protection concerns in that regard"
Atom art7_1.mustKeepRiskAssessmentUpdated "Must keep the risk assessment up to date"

// Rules
@srcRef "Article 7(1)"
rule_art7_1_identify: art7_1.isMemberState => [O] art7_1.mustIdentifyMLTFRisks

@srcRef "Article 7(1)"
rule_art7_1_assess: art7_1.isMemberState => [O] art7_1.mustAssessMLTFRisks

@srcRef "Article 7(1)"
rule_art7_1_understand: art7_1.isMemberState => [O] art7_1.mustUnderstandMLTFRisks

@srcRef "Article 7(1)"
rule_art7_1_mitigate: art7_1.isMemberState => [O] art7_1.mustMitigateMLTFRisks

@srcRef "Article 7(1)"
rule_art7_1_dataprotection: art7_1.isMemberState => [O] art7_1.mustAddressDataProtection

@srcRef "Article 7(1)"
rule_art7_1_update: art7_1.isMemberState => [O] art7_1.mustKeepRiskAssessmentUpdated

// Declarations
Atom art7.memberState "Is a Member State"
Atom art7.risksParagraph1 "Risks referred to in paragraph 1 exist"
Atom art7.hasDesignatedAuthority "Has designated an authority to coordinate national response"
Atom art7.hasEstablishedMechanism "Has established a mechanism to coordinate national response"
Atom art7.hasNotifiedCommission "Has notified the Commission of the authority identity or mechanism description"
Atom art7.hasNotifiedESAs "Has notified the ESAs of the authority identity or mechanism description"
Atom art7.hasNotifiedOtherMemberStates "Has notified other Member States of the authority identity or mechanism description"

// Rules
@srcRef "Article 7(2)"
rule_art7_2_designate: art7.memberState & art7.risksParagraph1 => [O] art7.hasDesignatedAuthority

@srcRef "Article 7(2)"
rule_art7_2_establish: art7.memberState & art7.risksParagraph1 => [O] art7.hasEstablishedMechanism

@srcRef "Article 7(2)"
rule_art7_2_notification_commission: art7.hasDesignatedAuthority | art7.hasEstablishedMechanism => [O] art7.hasNotifiedCommission

@srcRef "Article 7(2)"
rule_art7_2_notification_esas: art7.hasDesignatedAuthority | art7.hasEstablishedMechanism => [O] art7.hasNotifiedESAs

@srcRef "Article 7(2)"
rule_art7_2_notification_others: art7.hasDesignatedAuthority | art7.hasEstablishedMechanism => [O] art7.hasNotifiedOtherMemberStates

// Declarations
Atom art7.carryingOutRiskAssessment "Member State is carrying out the risk assessment referred to in Article 7(1)"
Atom art7.mustUseFindingsOfArticle6Report "Member State shall make use of the findings of the report referred to in Article 6(1)"

// Rules
@srcRef "Article 7(3)"
rule_art7_3: art7.carryingOutRiskAssessment => [O] art7.mustUseFindingsOfArticle6Report

// Declarations
Atom art7_4a.hasInformation "Has the relevant information"
Atom art7_4a.improveRegime "Improve its AML/CFT regime"
Atom art7_4a.identifyEnhancedAreas "Identify areas where obliged entities are to apply enhanced measures"
Atom art7_4a.isAppropriate "It is appropriate to specify measures"
Atom art7_4a.specifyMeasures "Specify measures to be taken"

// Rules
@srcRef "Article 7(4)(a)"
rule_art7_4a_improve: art7_4a.hasInformation => [O] art7_4a.improveRegime

@srcRef "Article 7(4)(a)"
rule_art7_4a_identify: art7_4a.improveRegime => [O] art7_4a.identifyEnhancedAreas

@srcRef "Article 7(4)(a)"
rule_art7_4a_specify: art7_4a.improveRegime & art7_4a.isAppropriate => [O] art7_4a.specifyMeasures

// Declarations
Atom art7_4_b.isAppropriate "Where appropriate"
Atom art7_4_b.mustIdentifyRiskSectors "Must identify sectors or areas of lower or greater risk of money laundering and terrorist financing"

// Rules
@srcRef "Article 7(4)(b)"
rule_art7_4_b: art7_4_b.isAppropriate => [O] art7_4_b.mustIdentifyRiskSectors

// Declarations
Atom art7_4_c.hasInformation "The authority has access to or holds the information"
Atom art7_4_c.useToAssistAllocation "Use the information to assist in the allocation and prioritisation of resources to combat money laundering and terrorist financing"

// Rules
@srcRef "Article 7(4)(c)"
rule_art7_4_c: art7_4_c.hasInformation => [O] art7_4_c.useToAssistAllocation

// Declarations
Atom art7_4d.riskAssessmentAvailable "Risk assessment is available (the 'it' referred to in preceding subparagraphs)"
Atom art7_4d.mustUseToEnsureSectorRules "Must use the risk assessment to ensure appropriate rules are drawn up for each sector or area in accordance with ML/TF risks"

// Rules
@srcRef "Article 7(4)(d)"
rule_art7_4d_1: art7_4d.riskAssessmentAvailable => [O] art7_4d.mustUseToEnsureSectorRules

// Declarations
Atom art7_4_e.subject "The entity required to make information available"
Atom art7_4_e.mustMakeInfoAvailable "Make appropriate information available promptly to obliged entities to facilitate their own money laundering and terrorist financing risk assessments"

// Rules
@srcRef "Article 7(4)(e)"
rule_art7_4_e_1: art7_4_e.subject => [O] art7_4_e.mustMakeInfoAvailable

// Declarations
Atom art7.isMemberState "Entity is a Member State"
Atom art7.riskAssessmentReferredInParagraph1 "Risk assessment referred to in paragraph 1"
Atom art7.compliesWithRiskAssessmentObligations "Complies with obligations regarding risk assessment under Article 7(4)"

// Rules
@srcRef "Article 7(4)"
rule_art7_4: art7.isMemberState & art7.riskAssessmentReferredInParagraph1 => [O] art7.compliesWithRiskAssessmentObligations

// Article 7 contains no substantive provisions requiring encoding

// Declarations
Atom art10.isCreditInstitution "Is a credit institution"
Atom art10.isFinancialInstitution "Is a financial institution"
Atom art10.keepsAnonymousAccount "Keeps an anonymous account"
Atom art10.keepsAnonymousPassbook "Keeps an anonymous passbook"
Atom art10.isOwner "Is an owner"
Atom art10.isBeneficiary "Is a beneficiary"
Atom art10.isExistingAnonymousAccount "Is an existing anonymous account"
Atom art10.isExistingAnonymousPassbook "Is an existing anonymous passbook"
Atom art10.isSubjectToCDDMeasures "Is subject to customer due diligence measures"
Atom art10.isBearerShare "Is a bearer share"
Atom art10.isBearerShareWarrant "Is a bearer share warrant"
Atom art10.mustTakeMeasuresPreventMisuse "Must take measures to prevent misuse"

// Rules
@srcRef "Article 10(1)"
rule_art10_1_prohibit_account: art10.isCreditInstitution | art10.isFinancialInstitution => [F] art10.keepsAnonymousAccount

@srcRef "Article 10(1)"
rule_art10_1_prohibit_passbook: art10.isCreditInstitution | art10.isFinancialInstitution => [F] art10.keepsAnonymousPassbook

@srcRef "Article 10(1)"
rule_art10_1_cdd_owner_account: art10.isOwner & art10.isExistingAnonymousAccount => [O] art10.isSubjectToCDDMeasures

@srcRef "Article 10(1)"
rule_art10_1_cdd_beneficiary_account: art10.isBeneficiary & art10.isExistingAnonymousAccount => [O] art10.isSubjectToCDDMeasures

@srcRef "Article 10(1)"
rule_art10_1_cdd_owner_passbook: art10.isOwner & art10.isExistingAnonymousPassbook => [O] art10.isSubjectToCDDMeasures

@srcRef "Article 10(1)"
rule_art10_1_cdd_beneficiary_passbook: art10.isBeneficiary & art10.isExistingAnonymousPassbook => [O] art10.isSubjectToCDDMeasures

@srcRef "Article 10(2)"
rule_art10_2_shares: art10.isBearerShare => [O] art10.mustTakeMeasuresPreventMisuse

@srcRef "Article 10(2)"
rule_art10_2_warrants: art10.isBearerShareWarrant => [O] art10.mustTakeMeasuresPreventMisuse

// Declarations
Atom art11.isObligedEntity "Is an obliged entity"
Atom art11.applyCDD "Apply customer due diligence measures"
Atom art11.establishingBusinessRelationship "Establishing a business relationship"
Atom art11.carryingOutOccasionalTransaction "Carrying out an occasional transaction"
Numeric art11.transactionAmount "Transaction amount in EUR"
Atom art11.isTransferOfFunds "Constitutes a transfer of funds as defined in Regulation (EU) 2015/847"
Atom art11.isPersonTradingInGoods "Is a person trading in goods"
Atom art11.isCashTransaction "Is a cash transaction"
Atom art11.isGamblingServiceProvider "Is a provider of gambling services"
Atom art11.collectingWinnings "Collection of winnings"
Atom art11.wageringStake "Wagering of a stake"
Atom art11.suspicionOfMLTF "Suspicion of money laundering or terrorist financing"
Atom art11.doubtsAboutIDData "Doubts about veracity or adequacy of previously obtained customer identification data"

// Rules
@srcRef "CHAPTER II.SECTION 1.Article 11(a)"
rule_art11_a: art11.isObligedEntity & art11.establishingBusinessRelationship => [O] art11.applyCDD

@srcRef "CHAPTER II.SECTION 1.Article 11(b)(i)"
rule_art11_b_i: art11.isObligedEntity & art11.carryingOutOccasionalTransaction & art11.transactionAmount >= 15000 => [O] art11.applyCDD

@srcRef "CHAPTER II.SECTION 1.Article 11(b)(ii)"
rule_art11_b_ii: art11.isObligedEntity & art11.carryingOutOccasionalTransaction & art11.isTransferOfFunds & art11.transactionAmount > 1000 => [O] art11.applyCDD

@srcRef "CHAPTER II.SECTION 1.Article 11(c)"
rule_art11_c: art11.isObligedEntity & art11.isPersonTradingInGoods & art11.carryingOutOccasionalTransaction & art11.isCashTransaction & art11.transactionAmount >= 10000 => [O] art11.applyCDD

@srcRef "CHAPTER II.SECTION 1.Article 11(d)"
rule_art11_d_collect: art11.isObligedEntity & art11.isGamblingServiceProvider & art11.collectingWinnings & art11.transactionAmount >= 2000 => [O] art11.applyCDD

@srcRef "CHAPTER II.SECTION 1.Article 11(d)"
rule_art11_d_wager: art11.isObligedEntity & art11.isGamblingServiceProvider & art11.wageringStake & art11.transactionAmount >= 2000 => [O] art11.applyCDD

@srcRef "CHAPTER II.SECTION 1.Article 11(e)"
rule_art11_e: art11.isObligedEntity & art11.suspicionOfMLTF => [O] art11.applyCDD

@srcRef "CHAPTER II.SECTION 1.Article 11(f)"
rule_art11_f: art11.isObligedEntity & art11.doubtsAboutIDData => [O] art11.applyCDD

// Declarations
Atom art12.isElectronicMoney "Is electronic money"
Atom art12.hasLowRiskAssessment "Appropriate risk assessment demonstrates low risk"
Atom art12.isReloadable "Payment instrument is reloadable"
Numeric art12.monthlyPaymentLimit "Maximum monthly payment transactions limit in EUR"
Atom art12.isRestrictedToMemberState "Payment instrument can be used only in that Member State"
Numeric art12.maxAmountStored "Maximum amount stored electronically in EUR"
Atom art13.applyCDDMeasures "Apply customer due diligence measures under Article 13(1)(a)-(c)"
Atom art14.applyCDDMeasures "Apply customer due diligence measures under Article 14"

// Rules
@srcRef "Article 12"
rule_art12_exemption_art13_not_reloadable: art12.isElectronicMoney & art12.hasLowRiskAssessment & ~art12.isReloadable & art12.maxAmountStored <= 250 => [E] art13.applyCDDMeasures

@srcRef "Article 12"
rule_art12_exemption_art13_reloadable: art12.isElectronicMoney & art12.hasLowRiskAssessment & art12.monthlyPaymentLimit <= 250 & art12.isRestrictedToMemberState & art12.maxAmountStored <= 250 => [E] art13.applyCDDMeasures

@srcRef "Article 12"
rule_art12_exemption_art14_not_reloadable: art12.isElectronicMoney & art12.hasLowRiskAssessment & ~art12.isReloadable & art12.maxAmountStored <= 250 => [E] art14.applyCDDMeasures

@srcRef "Article 12"
rule_art12_exemption_art14_reloadable: art12.isElectronicMoney & art12.hasLowRiskAssessment & art12.monthlyPaymentLimit <= 250 & art12.isRestrictedToMemberState & art12.maxAmountStored <= 250 => [E] art14.applyCDDMeasures

// CHAPTER II SECTION 1
// General provisions

// No substantive rules or declarations found in the provided text

// No substantive regulatory text provided for CHAPTER III.BENEFICIAL OWNERSHIP INFORMATION to encode into Turnip DSL rules

// No regulatory text provided in CHAPTER III to encode.

// Chapter II Customer Due Diligence: Provided text contains only section heading; no substantive provisions available for encoding

// Declarations
Atom sVI_1_1_1_45_1.isObligedEntity "Is an obliged entity"
Atom sVI_1_1_1_45_1.isPartOfGroup "Is part of a group"
Atom sVI_1_1_1_45_1.mustImplementGroupWidePolicies "Must implement group-wide policies and procedures"
Atom sVI_1_1_1_45_1.mustIncludeDataProtectionPolicies "Must include data protection policies in group-wide policies"
Atom sVI_1_1_1_45_1.mustIncludeAMLCFTSharingPolicies "Must include AML/CFT information sharing policies in group-wide policies"
Atom sVI_1_1_1_45_1.mustEnsureEffectiveImplementationAtBranchesAndSubsidiaries "Must ensure effective implementation at branches and majority-owned subsidiaries"

// Rules
@srcRef "CHAPTER VI.1.1.1.45.1, para 1 (group-wide policies)"
rule_sVI_1_1_1_45_1_policies: sVI_1_1_1_45_1.isObligedEntity & sVI_1_1_1_45_1.isPartOfGroup => [O] sVI_1_1_1_45_1.mustImplementGroupWidePolicies

@srcRef "CHAPTER VI.1.1.1.45.1, para 1 (data protection)"
rule_sVI_1_1_1_45_1_dataprotection: sVI_1_1_1_45_1.isObligedEntity & sVI_1_1_1_45_1.isPartOfGroup => [O] sVI_1_1_1_45_1.mustIncludeDataProtectionPolicies

@srcRef "CHAPTER VI.1.1.1.45.1, para 1 (AML/CFT sharing)"
rule_sVI_1_1_1_45_1_amlcft: sVI_1_1_1_45_1.isObligedEntity & sVI_1_1_1_45_1.isPartOfGroup => [O] sVI_1_1_1_45_1.mustIncludeAMLCFTSharingPolicies

@srcRef "CHAPTER VI.1.1.1.45.1, para 1 (effective implementation)"
rule_sVI_1_1_1_45_1_effective: sVI_1_1_1_45_1.isObligedEntity & sVI_1_1_1_45_1.isPartOfGroup => [O] sVI_1_1_1_45_1.mustEnsureEffectiveImplementationAtBranchesAndSubsidiaries

// Declarations
Atom ch45_2.isObligedEntity "Is an obliged entity"
Atom ch45_2.operatesEstablishmentInOtherMS "Operates an establishment in another Member State"
Atom ch45_2.mustEnsureEstablishmentRespectsHostLaw "Must ensure establishment respects national provisions of the host Member State transposing this Directive"

// Rules
@srcRef "CHAPTER VI.1.1.1.45.2"
rule_ch45_2_1: ch45_2.isObligedEntity & ch45_2.operatesEstablishmentInOtherMS => [O] ch45_2.mustEnsureEstablishmentRespectsHostLaw

// Declarations
Atom sVI_1_1_1_45_3.isBranchOfObligedEntity "Is a branch of an obliged entity"
Atom sVI_1_1_1_45_3.isMajorityOwnedSubsidiaryOfObligedEntity "Is a majority-owned subsidiary of an obliged entity"
Atom sVI_1_1_1_45_3.isLocatedInThirdCountry "Is located in a third country"
Atom sVI_1_1_1_45_3.thirdCountryHasLessStrictAMLRequirements "Third country has less strict AML/CFT requirements than Member State"
Atom sVI_1_1_1_45_3.thirdCountryLawAllowsImplementation "Third country's law allows implementation of Member State requirements"
Atom sVI_1_1_1_45_3.mustImplementMemberStateRequirements "Must implement the requirements of the Member State including data protection"

// Rules
@srcRef "CHAPTER VI.1.1.1.45.3"
rule_sVI_1_1_1_45_3_branch: sVI_1_1_1_45_3.isBranchOfObligedEntity & sVI_1_1_1_45_3.isLocatedInThirdCountry & sVI_1_1_1_45_3.thirdCountryHasLessStrictAMLRequirements & sVI_1_1_1_45_3.thirdCountryLawAllowsImplementation => [O] sVI_1_1_1_45_3.mustImplementMemberStateRequirements

@srcRef "CHAPTER VI.1.1.1.45.3"
rule_sVI_1_1_1_45_3_subsidiary: sVI_1_1_1_45_3.isMajorityOwnedSubsidiaryOfObligedEntity & sVI_1_1_1_45_3.isLocatedInThirdCountry & sVI_1_1_1_45_3.thirdCountryHasLessStrictAMLRequirements & sVI_1_1_1_45_3.thirdCountryLawAllowsImplementation => [O] sVI_1_1_1_45_3.mustImplementMemberStateRequirements

// Declarations
Atom ch6_1_1_1_45_4.isMemberState "Entity is a Member State"
Atom ch6_1_1_1_45_4.isESA "Entity is an ESA"
Atom ch6_1_1_1_45_4.thirdCountryProhibitsPara1 "Third country law does not permit implementation of policies and procedures required under paragraph 1"
Atom ch6_1_1_1_45_4.mustInformCounterparties "Must inform each other of instances"
Atom ch6_1_1_1_45_4.mayTakeCoordinatedAction "May take coordinated action to pursue a solution"

// Rules
@srcRef "CHAPTER VI.1.1.1.45.4"
rule_ch6_1_1_1_45_4_obligation_ms: ch6_1_1_1_45_4.isMemberState & ch6_1_1_1_45_4.thirdCountryProhibitsPara1 => [O] ch6_1_1_1_45_4.mustInformCounterparties

@srcRef "CHAPTER VI.1.1.1.45.4"
rule_ch6_1_1_1_45_4_obligation_esa: ch6_1_1_1_45_4.isESA & ch6_1_1_1_45_4.thirdCountryProhibitsPara1 => [O] ch6_1_1_1_45_4.mustInformCounterparties

@srcRef "CHAPTER VI.1.1.1.45.4"
rule_ch6_1_1_1_45_4_permission: ch6_1_1_1_45_4.thirdCountryProhibitsPara1 => [P] ch6_1_1_1_45_4.mayTakeCoordinatedAction

// Declarations
Atom sVI111455.isObligedEntity "Is an obliged entity"
Atom sVI111455.thirdCountryLawRestricts "Third country law does not permit implementation of policies and procedures required under paragraph 1"
Atom sVI111455.hasBranchInThirdCountry "Has branch in third country"
Atom sVI111455.hasMajorityOwnedSubsidiaryInThirdCountry "Has majority-owned subsidiary in third country"
Atom sVI111455.mustEnsureAdditionalMeasures "Must ensure branches and majority-owned subsidiaries apply additional measures to handle ML/TF risk"
Atom sVI111455.mustInformCompetentAuthorities "Must inform competent authorities of home Member State"
Atom sVI111455.additionalMeasuresSufficient "Additional measures are sufficient"
Atom sVI111455.isCompetentAuthorityHomeMemberState "Is competent authority of home Member State"
Atom sVI111455.mustRequireNoEstablishBusinessRelationships "Must require that the group does not establish business relationships"
Atom sVI111455.mustRequireTerminateBusinessRelationships "Must require that the group terminates business relationships"
Atom sVI111455.mustRequireNoUndertakeTransactions "Must require that the group does not undertake transactions"
Atom sVI111455.necessaryToCloseOperations "Necessary to close down operations"
Atom sVI111455.mustRequestCloseOperations "Must request the group to close down its operations in the third country"

// Rules
@srcRef "CHAPTER VI.1.1.1.45.5"
rule_sVI111455_1a: sVI111455.isObligedEntity & sVI111455.thirdCountryLawRestricts & sVI111455.hasBranchInThirdCountry => [O] sVI111455.mustEnsureAdditionalMeasures

@srcRef "CHAPTER VI.1.1.1.45.5"
rule_sVI111455_1b: sVI111455.isObligedEntity & sVI111455.thirdCountryLawRestricts & sVI111455.hasMajorityOwnedSubsidiaryInThirdCountry => [O] sVI111455.mustEnsureAdditionalMeasures

@srcRef "CHAPTER VI.1.1.1.45.5"
rule_sVI111455_2a: sVI111455.isObligedEntity & sVI111455.thirdCountryLawRestricts & sVI111455.hasBranchInThirdCountry => [O] sVI111455.mustInformCompetentAuthorities

@srcRef "CHAPTER VI.1.1.1.45.5"
rule_sVI111455_2b: sVI111455.isObligedEntity & sVI111455.thirdCountryLawRestricts & sVI111455.hasMajorityOwnedSubsidiaryInThirdCountry => [O] sVI111455.mustInformCompetentAuthorities

@srcRef "CHAPTER VI.1.1.1.45.5"
rule_sVI111455_3: sVI111455.isCompetentAuthorityHomeMemberState & ~sVI111455.additionalMeasuresSufficient => [O] sVI111455.mustRequireNoEstablishBusinessRelationships

@srcRef "CHAPTER VI.1.1.1.45.5"
rule_sVI111455_4: sVI111455.isCompetentAuthorityHomeMemberState & ~sVI111455.additionalMeasuresSufficient => [O] sVI111455.mustRequireTerminateBusinessRelationships

@srcRef "CHAPTER VI.1.1.1.45.5"
rule_sVI111455_5: sVI111455.isCompetentAuthorityHomeMemberState & ~sVI111455.additionalMeasuresSufficient => [O] sVI111455.mustRequireNoUndertakeTransactions

@srcRef "CHAPTER VI.1.1.1.45.5"
rule_sVI111455_6: sVI111455.isCompetentAuthorityHomeMemberState & ~sVI111455.additionalMeasuresSufficient & sVI111455.necessaryToCloseOperations => [O] sVI111455.mustRequestCloseOperations

// Declarations
Atom s_vi_1_1_1_45_6.isESA "Entity is a European Supervisory Authority"
Atom s_vi_1_1_1_45_6.mustDevelopDraftRTS "Must develop draft regulatory technical standards"
Atom s_vi_1_1_1_45_6.mustSubmitRTSToCommission "Must submit draft regulatory technical standards to the Commission by 26 December 2016"
Atom s_vi_1_1_1_45_6.rtsSpecifiesAdditionalMeasures "RTS specifies type of additional measures referred to in paragraph 5"
Atom s_vi_1_1_1_45_6.rtsSpecifiesMinAction "RTS specifies minimum action for institutions where third country law blocks implementation"

// Rules
@srcRef "CHAPTER VI.1.1.1.45.6"
rule_s_vi_1_1_1_45_6_1: s_vi_1_1_1_45_6.isESA => [O] s_vi_1_1_1_45_6.mustDevelopDraftRTS

@srcRef "CHAPTER VI.1.1.1.45.6"
rule_s_vi_1_1_1_45_6_2a: s_vi_1_1_1_45_6.mustDevelopDraftRTS => [O] s_vi_1_1_1_45_6.rtsSpecifiesAdditionalMeasures

@srcRef "CHAPTER VI.1.1.1.45.6"
rule_s_vi_1_1_1_45_6_2b: s_vi_1_1_1_45_6.mustDevelopDraftRTS => [O] s_vi_1_1_1_45_6.rtsSpecifiesMinAction

@srcRef "CHAPTER VI.1.1.1.45.6"
rule_s_vi_1_1_1_45_6_3: s_vi_1_1_1_45_6.isESA => [O] s_vi_1_1_1_45_6.mustSubmitRTSToCommission

// Declarations
Atom sVI1111457.rtsReferredInPara6 "Regulatory technical standards referred to in paragraph 6 of this Article"
Atom sVI1111457.compliesWithArts10To14 "Adoption complies with Articles 10 to 14 of Regulations (EU) No 1093/2010, (EU) No 1094/2010 and (EU) No 1095/2010"
Atom sVI1111457.commissionPowerToAdopt "Commission has power to adopt regulatory technical standards"

// Rules
@srcRef "CHAPTER VI.1.1.1.45.7"
rule_sVI1111457_delegation: sVI1111457.rtsReferredInPara6 & sVI1111457.compliesWithArts10To14 => [P] sVI1111457.commissionPowerToAdopt

// Declarations
Atom ch45_8.sharingAllowed "Sharing of information within the group is allowed"
Atom ch45_8.isSuspicionOfCriminalProceeds "Information on suspicions that funds are the proceeds of criminal activity"
Atom ch45_8.isRelatedToTerroristFinancing "Information related to terrorist financing"
Atom ch45_8.reportedToFIU "Information reported to the FIU"
Atom ch45_8.fiuInstructedOtherwise "FIU instructed otherwise regarding sharing"
Atom ch45_8.mustShareWithinGroup "Information must be shared within the group"

// Rules
@srcRef "CHAPTER VI.1.1.1.45.8"
rule_ch45_8_permission: => [P] ch45_8.sharingAllowed

@srcRef "CHAPTER VI.1.1.1.45.8"
rule_ch45_8_obligation_1: ch45_8.isSuspicionOfCriminalProceeds & ch45_8.reportedToFIU => [O] ch45_8.mustShareWithinGroup

@srcRef "CHAPTER VI.1.1.1.45.8"
rule_ch45_8_obligation_2: ch45_8.isRelatedToTerroristFinancing & ch45_8.reportedToFIU => [O] ch45_8.mustShareWithinGroup

@srcRef "CHAPTER VI.1.1.1.45.8"
rule_ch45_8_exception: ch45_8.fiuInstructedOtherwise => [E] ch45_8.mustShareWithinGroup

rule_ch45_8_exception >> rule_ch45_8_obligation_1
rule_ch45_8_exception >> rule_ch45_8_obligation_2

// Declarations
Atom sVI_1_1_1_45_9.isElectronicMoneyIssuer "Is an electronic money issuer as defined in point (3) of Article 2 of Directive 2009/110/EC"
Atom sVI_1_1_1_45_9.isPaymentServiceProvider "Is a payment service provider as defined in point (9) of Article 4 of Directive 2007/64/EC"
Atom sVI_1_1_1_45_9.isEstablishedInMemberStateTerritory "Is established on the Member State's territory"
Atom sVI_1_1_1_45_9.isFormOtherThanBranch "Is established in a form other than a branch"
Atom sVI_1_1_1_45_9.hasHeadOfficeInAnotherMemberState "Has head office situated in another Member State"
Atom sVI_1_1_1_45_9.mayRequireCentralContactPointAppointment "Member State may require appointment of central contact point to ensure AML/CFT compliance and facilitate supervision"

// Rules
@srcRef "CHAPTER VI.1.1.1.45.9"
rule_sVI_1_1_1_45_9_1: sVI_1_1_1_45_9.isElectronicMoneyIssuer & sVI_1_1_1_45_9.isEstablishedInMemberStateTerritory & sVI_1_1_1_45_9.isFormOtherThanBranch & sVI_1_1_1_45_9.hasHeadOfficeInAnotherMemberState | sVI_1_1_1_45_9.isPaymentServiceProvider & sVI_1_1_1_45_9.isEstablishedInMemberStateTerritory & sVI_1_1_1_45_9.isFormOtherThanBranch & sVI_1_1_1_45_9.hasHeadOfficeInAnotherMemberState => [P] sVI_1_1_1_45_9.mayRequireCentralContactPointAppointment

// Declarations

// Rules

// Chapter VI.1.1.1 - Internal procedures, training and feedback
Atom sVI_1_1_1.internalProcedures "Internal procedures"
Atom sVI_1_1_1.training "Training"
Atom sVI_1_1_1.feedback "Feedback"

// No regulatory text found in section CHAPTER VI.1.1 to encode.

// Chapter VI.1 — Policies, Procedures and Supervision
// Input text contains only section heading; no operative provisions to encode

// CHAPTER VII - FINAL PROVISIONS
// No substantive legal rules or obligations found in this section for encoding

// No rules or declarations can be generated from the provided text as it only contains a chapter heading.

// Section CHAPTER V contains only the title "DATA PROTECTION, RECORD-RETENTION AND STATISTICAL DATA"
// No specific regulatory provisions, articles, or rules text was provided for encoding

// Declarations
Atom art1.isMemberState "Is a Member State"
Atom art1.moneyLaunderingProhibited "Money laundering is prohibited"
Atom art1.terroristFinancingProhibited "Terrorist financing is prohibited"
Atom art1.intentionalConduct "Conduct is committed intentionally"
Atom art1.conversionTransferProperty "Conversion or transfer of property"
Atom art1.knowledgePropertyFromCriminal "Knowledge that property is derived from criminal activity or participation in such activity"
Atom art1.purposeConcealOrigin "Purpose of concealing or disguising illicit origin of property"
Atom art1.purposeAssistEvasion "Purpose of assisting person to evade legal consequences"
Atom art1.isMoneyLaundering "Conduct constitutes money laundering"
Atom art1.concealmentDisguiseNature "Concealment or disguise of true nature source location disposition movement rights or ownership of property"
Atom art1.acquisitionPossessionUse "Acquisition possession or use of property"
Atom art1.knowledgeAtReceipt "Knowledge at time of receipt that property derived from criminal activity"
Atom art1.participationAssociation "Participation in association to commit attempts to commit aiding abetting facilitating or counselling"
Atom art1.conversionTransferAction "Action of conversion or transfer as described in point a"
Atom art1.concealmentDisguiseAction "Action of concealment or disguise as described in point b"
Atom art1.acquisitionPossessionAction "Action of acquisition possession or use as described in point c"
Atom art1.provisionOrCollectionFunds "Provision or collection of funds"
Atom art1.intentionTerrorismUse "Intention that funds be used for terrorism offences"
Atom art1.knowledgeTerrorismUse "Knowledge that funds to be used for terrorism offences"
Atom art1.offencesFrameworkDecision2002_475 "Offences within meaning of Articles 1 to 4 of Council Framework Decision 2002/475/JHA"
Atom art1.isTerroristFinancing "Conduct constitutes terrorist financing"
Atom art1.objectiveFactualCircumstances "Objective factual circumstances exist"
Atom art1.mayInferMentalState "Knowledge intent or purpose may be inferred"

// Paragraph 2 - Prohibition obligation on Member States
@srcRef "Article 1(2)"
rule_art1_2_ml: art1.isMemberState => [O] art1.moneyLaunderingProhibited

@srcRef "Article 1(2)"
rule_art1_2_tf: art1.isMemberState => [O] art1.terroristFinancingProhibited

// Paragraph 3(a) - Conversion or transfer
@srcRef "Article 1(3)(a)"
rule_art1_3a_action_1: art1.intentionalConduct & art1.conversionTransferProperty & art1.knowledgePropertyFromCriminal & art1.purposeConcealOrigin => [O] art1.conversionTransferAction

@srcRef "Article 1(3)(a)"
rule_art1_3a_action_2: art1.intentionalConduct & art1.conversionTransferProperty & art1.knowledgePropertyFromCriminal & art1.purposeAssistEvasion => [O] art1.conversionTransferAction

rule_art1_3a_ml: art1.conversionTransferAction => [O] art1.isMoneyLaundering

// Paragraph 3(b) - Concealment or disguise
@srcRef "Article 1(3)(b)"
rule_art1_3b_action: art1.intentionalConduct & art1.concealmentDisguiseNature & art1.knowledgePropertyFromCriminal => [O] art1.concealmentDisguiseAction

rule_art1_3b_ml: art1.concealmentDisguiseAction => [O] art1.isMoneyLaundering

// Paragraph 3(c) - Acquisition possession or use
@srcRef "Article 1(3)(c)"
rule_art1_3c_action: art1.intentionalConduct & art1.acquisitionPossessionUse & art1.knowledgeAtReceipt & art1.knowledgePropertyFromCriminal => [O] art1.acquisitionPossessionAction

rule_art1_3c_ml: art1.acquisitionPossessionAction => [O] art1.isMoneyLaundering

// Paragraph 3(d) - Participation association etc.
@srcRef "Article 1(3)(d)"
rule_art1_3d_1: art1.intentionalConduct & art1.participationAssociation & art1.conversionTransferAction => [O] art1.isMoneyLaundering

@srcRef "Article 1(3)(d)"
rule_art1_3d_2: art1.intentionalConduct & art1.participationAssociation & art1.concealmentDisguiseAction => [O] art1.isMoneyLaundering

@srcRef "Article 1(3)(d)"
rule_art1_3d_3: art1.intentionalConduct & art1.participationAssociation & art1.acquisitionPossessionAction => [O] art1.isMoneyLaundering

// Paragraph 5 - Terrorist financing definition
@srcRef "Article 1(5)"
rule_art1_5_1: art1.provisionOrCollectionFunds & art1.intentionTerrorismUse & art1.offencesFrameworkDecision2002_475 => [O] art1.isTerroristFinancing

@srcRef "Article 1(5)"
rule_art1_5_2: art1.provisionOrCollectionFunds & art1.knowledgeTerrorismUse & art1.offencesFrameworkDecision2002_475 => [O] art1.isTerroristFinancing

// Paragraph 6 - Inference of knowledge intent or purpose
@srcRef "Article 1(6)"
rule_art1_6: art1.objectiveFactualCircumstances => [P] art1.mayInferMentalState

// Declarations
Atom art2.isObligedEntity "Entity is an obliged entity subject to this Directive"
Atom art2.isCreditInstitution "Is a credit institution"
Atom art2.isFinancialInstitution "Is a financial institution"
Atom art2.isPersonActingProfessionally "Is a natural or legal person acting in the exercise of their professional activities"
Atom art2.isAuditor "Is an auditor"
Atom art2.isExternalAccountant "Is an external accountant"
Atom art2.isTaxAdvisor "Is a tax advisor"
Atom art2.isNotary "Is a notary"
Atom art2.isIndependentLegalProfessional "Is an independent legal professional"
Atom art2.participatesInFinancialRealEstateTransaction "Participates in any financial or real estate transaction for client"
Atom art2.assistsBuySellRealPropertyBusiness "Assists in planning or carrying out buying and selling of real property or business entities"
Atom art2.assistsManageClientAssets "Assists in planning or carrying out managing of client money, securities or other assets"
Atom art2.assistsManageAccounts "Assists in planning or carrying out opening or management of bank, savings or securities accounts"

// Rules

// Article 2(1)(1)
@srcRef "Article 2(1)(1)"
rule_art2_1_1: art2.isCreditInstitution => [O] art2.isObligedEntity

// Article 2(1)(2)
@srcRef "Article 2(1)(2)"
rule_art2_1_2: art2.isFinancialInstitution => [O] art2.isObligedEntity

// Article 2(1)(3)(a) - Auditors, Accountants, Tax Advisors
// Condition: Person acting professionally AND (Auditor OR Accountant OR Tax Advisor)
// Note: Parentheses are forbidden, so we distribute the common condition
@srcRef "Article 2(1)(3)(a)"
rule_art2_1_3a_auditor: art2.isPersonActingProfessionally & art2.isAuditor => [O] art2.isObligedEntity

@srcRef "Article 2(1)(3)(a)"
rule_art2_1_3a_accountant: art2.isPersonActingProfessionally & art2.isExternalAccountant => [O] art2.isObligedEntity

@srcRef "Article 2(1)(3)(a)"
rule_art2_1_3a_advisor: art2.isPersonActingProfessionally & art2.isTaxAdvisor => [O] art2.isObligedEntity

// Article 2(1)(3)(b) - Notaries and Legal Professionals
// Condition: Person acting professionally AND (Notary OR LegalProf) AND (Participate OR Assist...)
// Note: Distributing conditions to avoid parentheses

// Notaries
@srcRef "Article 2(1)(3)(b)"
rule_art2_1_3b_notary_participate: art2.isPersonActingProfessionally & art2.isNotary & art2.participatesInFinancialRealEstateTransaction => [O] art2.isObligedEntity

@srcRef "Article 2(1)(3)(b)"
rule_art2_1_3b_notary_assist_prop: art2.isPersonActingProfessionally & art2.isNotary & art2.assistsBuySellRealPropertyBusiness => [O] art2.isObligedEntity

@srcRef "Article 2(1)(3)(b)"
rule_art2_1_3b_notary_assist_asset: art2.isPersonActingProfessionally & art2.isNotary & art2.assistsManageClientAssets => [O] art2.isObligedEntity

@srcRef "Article 2(1)(3)(b)"
rule_art2_1_3b_notary_assist_acct: art2.isPersonActingProfessionally & art2.isNotary & art2.assistsManageAccounts => [O] art2.isObligedEntity

// Independent Legal Professionals
@srcRef "Article 2(1)(3)(b)"
rule_art2_1_3b_legal_participate: art2.isPersonActingProfessionally & art2.isIndependentLegalProfessional & art2.participatesInFinancialRealEstateTransaction => [O] art2.isObligedEntity

@srcRef "Article 2(1)(3)(b)"
rule_art2_1_3b_legal_assist_prop: art2.isPersonActingProfessionally & art2.isIndependentLegalProfessional & art2.assistsBuySellRealPropertyBusiness => [O] art2.isObligedEntity

@srcRef "Article 2(1)(3)(b)"
rule_art2_1_3b_legal_assist_asset: art2.isPersonActingProfessionally & art2.isIndependentLegalProfessional & art2.assistsManageClientAssets => [O] art2.isObligedEntity

@srcRef "Article 2(1)(3)(b)"
rule_art2_1_3b_legal_assist_acct: art2.isPersonActingProfessionally & art2.isIndependentLegalProfessional & art2.assistsManageAccounts => [O] art2.isObligedEntity

// SECTION 1
// Subject-matter, scope and definitions

// No substantive rules or definitions found in the provided text to encode.

// No substantive rules or declarations found in Chapter IV text provided.

// Chapter I - General Provisions
// This section contains only a chapter heading with no substantive provisions to encode.

// No substantive provisions to encode in General provisions section

// Reporting Obligations section - no specific regulatory text provided to encode into formal rules

// Declarations
Atom s2.simplifiedDueDiligenceApplies "Simplified customer due diligence applies"
Atom s2.lowRiskCustomer "Customer presents low risk of money laundering or terrorist financing"

// Rules
@srcRef "Section 2"
rule_s2_1: s2.lowRiskCustomer => [P] s2.simplifiedDueDiligenceApplies

// Declarations
Atom s2.disclose "Disclose information"

// Rules
@srcRef "SECTION 2"
rule_s2_prohibition: s2.disclose => [F] s2.disclose

// Declarations
Atom s3.enhancedCustomerDueDiligence "Enhanced customer due diligence"

// Rules
// No specific rules encoded as the source text for Section 3 contained no operative clauses.

// Section 4: Sanctions
// The provided text for this section contains only the title "Sanctions".
// No specific legal rules (obligations, permissions, or prohibitions) were found to encode.

// Section 4 contains no substantive regulatory content requiring formal encoding

// Section 1
// No rules or declarations to encode from the provided text.

// Declarations
Atom s2.riskAssessment "Risk assessment"

// Section 2: Supervision
// This section contains no substantive regulatory obligations, permissions, or prohibitions requiring formal encoding.

// No regulatory content provided in Section 2 to encode.

// Declarations
Atom art49.isPolicyMaker "Is a policy maker involved in AML/CFT"
Atom art49.isFIU "Is a Financial Intelligence Unit involved in AML/CFT"
Atom art49.isSupervisor "Is a supervisor involved in AML/CFT"
Atom art49.isOtherCompetentAuthority "Is another competent authority involved in AML/CFT"
Atom art49.hasEffectiveDomesticCooperationMechanism "Has effective mechanisms to cooperate and coordinate domestically concerning development and implementation of AML/CFT policies and activities"
Atom art49.mustEnsureEffectiveCooperationMechanisms "Member State must ensure that policy makers FIUs supervisors and other competent authorities involved in AML/CFT have effective mechanisms for domestic cooperation and coordination"

// Rules
@srcRef "Article 49"
rule_art49_ensure_mechanisms: art7.isMemberState => [O] art49.mustEnsureEffectiveCooperationMechanisms

// Section 3.Cooperation.Subsection I.National cooperation
// No substantive rules or definitions found in the provided text to encode.

// Section 3.Cooperation.Subsection I: No substantive regulatory content to encode

// No formalizable rules or declarations found in the text "Cooperation".
// This section appears to be a heading or a general principle without specific conditions or actions suitable for Turnip encoding.

// Section 3 contains no substantive regulatory text to encode

// Declarations
Atom art25.memberStatePermitsReliance "Member State permits reliance on third parties"
Atom art25.relyOnThirdParty "Rely on third party to meet Article 13(1)(a)-(c) requirements"
Atom art25.ultimateResponsibilityRemains "Ultimate responsibility for meeting requirements remains with the obliged entity"

// Rules
@srcRef "Section 4.Article 25"
rule_art25_1: art13_4.isMemberState => [P] art25.memberStatePermitsReliance

@srcRef "Section 4.Article 25"
rule_art25_2: art13_1.isObligedEntity & art25.memberStatePermitsReliance => [P] art25.relyOnThirdParty

@srcRef "Section 4.Article 25"
rule_art25_3: art25.relyOnThirdParty => [O] art25.ultimateResponsibilityRemains

// Section 4: Performance by third parties
Atom s4.obligationExists "An obligation to perform exists"
Atom s4.thirdPartyPerforms "Performance of the obligation by a third party"

@srcRef "Section 4"
rule_s4_1: s4.obligationExists => [P] s4.thirdPartyPerforms

// No content provided in Section 4 to encode.

// SECTION: Subsection III — Subsection III
// TEXT: Cooperation between FIUs and with the Commission
// NOTE: The provided text contains only a section title/header.
// No normative rules, obligations, or definitions are present to encode.

// Subsection II: Cooperation with the ESAs
// The provided text contains only the section title and cross-reference metadata.
// No substantive legal rules or obligations were present to encode.

// Declarations
Atom s11.isPersonKnownToBeCloseAssociate "Person is a person known to be a close associate"

// Declarations
Atom s11a.isNaturalPerson "Is a natural person"
Atom s11a.hasJointBeneficialOwnershipLegalEntityWithPEP "Known to have joint beneficial ownership of legal entities with a politically exposed person"
Atom s11a.hasJointBeneficialOwnershipLegalArrangementWithPEP "Known to have joint beneficial ownership of legal arrangements with a politically exposed person"
Atom s11a.hasCloseBusinessRelationsWithPEP "Known to have close business relations with a politically exposed person"
Atom s11a.isCloseAssociateOfPEP "Is a close associate of a politically exposed person"

// Rules
@srcRef "section (11)(a)"
rule_s11a_1a: s11a.isNaturalPerson & s11a.hasJointBeneficialOwnershipLegalEntityWithPEP => [O] s11a.isCloseAssociateOfPEP
rule_s11a_1b: s11a.isNaturalPerson & s11a.hasJointBeneficialOwnershipLegalArrangementWithPEP => [O] s11a.isCloseAssociateOfPEP
rule_s11a_1c: s11a.isNaturalPerson & s11a.hasCloseBusinessRelationsWithPEP => [O] s11a.isCloseAssociateOfPEP

// Declarations
Atom s11b.isNaturalPerson "Is a natural person"
Atom s11b.hasSoleBeneficialOwnership "Has sole beneficial ownership of a legal entity or legal arrangement"
Atom s11b.isSetupForPepBenefit "Entity or arrangement known to be set up for the de facto benefit of a politically exposed person"
Atom s11b.isPoliticallyExposedPerson "Is a politically exposed person"

// Rules
@srcRef "Section (11)(b)"
rule_s11b_b: s11b.isNaturalPerson & s11b.hasSoleBeneficialOwnership & s11b.isSetupForPepBenefit => [O] s11b.isPoliticallyExposedPerson

// Declarations
Atom s12.isSeniorManagement "Is senior management"
Atom s12.isOfficerOrEmployee "Is an officer or employee"
Atom s12.hasSufficientKnowledgeMLTFRisk "Has sufficient knowledge of the institution's money laundering and terrorist financing risk exposure"
Atom s12.hasSufficientSeniority "Has sufficient seniority to take decisions affecting its risk exposure"

// Rules
@srcRef "section (12)"
rule_s12_definition: s12.isOfficerOrEmployee & s12.hasSufficientKnowledgeMLTFRisk & s12.hasSufficientSeniority -strict-> s12.isSeniorManagement

// Declarations
Atom s13.isBusinessRelationship "Relationship is a business relationship"
Atom s13.isBusinessProfessionalOrCommercial "Is a business, professional or commercial relationship"
Atom s13.connectedWithProfessionalActivities "Connected with professional activities of an obliged entity"
Atom s13.expectedToHaveDuration "Expected to have an element of duration when contact is established"

// Rules
@srcRef "(13)"
rule_s13_definition: s13.isBusinessProfessionalOrCommercial & s13.connectedWithProfessionalActivities & s13.expectedToHaveDuration => [O] s13.isBusinessRelationship

// Declarations
Atom s14.isService "Is a service"
Atom s14.involvesWageringStakeWithMonetaryValue "Involves wagering a stake with monetary value"
Atom s14.isGameOfChance "Is a game of chance"
Atom s14.isLottery "Is a lottery"
Atom s14.isCasinoGame "Is a casino game"
Atom s14.isPokerGame "Is a poker game"
Atom s14.isBettingTransaction "Is a betting transaction"
Atom s14.providedAtPhysicalLocation "Provided at a physical location"
Atom s14.providedAtDistance "Provided by any means at a distance"
Atom s14.providedByElectronicMeans "Provided by electronic means"
Atom s14.providedByCommunicationTechnology "Provided by any other technology for facilitating communication"
Atom s14.atIndividualRequestOfRecipient "At the individual request of a recipient of services"
Atom s14.isGamblingServices "Is gambling services"
Atom s14.isGamblingGameType "Is a lottery, casino game, poker game, betting transaction, or game of chance"
Atom s14.isProvidedAtSomeLocation "Provided at physical location or distance"
Atom s14.isProvidedBySomeTechnology "Provided by electronic means or communication technology"

// Intermediate rules for game type disjunction
rule_lottery_type: s14.isLottery => [O] s14.isGamblingGameType
rule_casino_type: s14.isCasinoGame => [O] s14.isGamblingGameType
rule_poker_type: s14.isPokerGame => [O] s14.isGamblingGameType
rule_betting_type: s14.isBettingTransaction => [O] s14.isGamblingGameType
rule_chance_type: s14.isGameOfChance => [O] s14.isGamblingGameType

// Intermediate rules for location disjunction
rule_physical_loc: s14.providedAtPhysicalLocation => [O] s14.isProvidedAtSomeLocation
rule_distance_loc: s14.providedAtDistance => [O] s14.isProvidedAtSomeLocation

// Intermediate rules for technology disjunction
rule_electronic_tech: s14.providedByElectronicMeans => [O] s14.isProvidedBySomeTechnology
rule_comm_tech: s14.providedByCommunicationTechnology => [O] s14.isProvidedBySomeTechnology

// Main rule
@srcRef "Section (14)"
rule_s14_definition: s14.isService & s14.involvesWageringStakeWithMonetaryValue & s14.isGamblingGameType & s14.isProvidedAtSomeLocation & s14.isProvidedBySomeTechnology & s14.atIndividualRequestOfRecipient -strict-> s14.isGamblingServices

// Declarations
Atom sec15.isMemberState "Is a Member State"
Atom sec15.mayAllowWiderAccess "May allow wider access under national law"
Atom sec15.isGroup "Is a group of undertakings"
Atom sec15.hasParentUndertaking "Consists of a parent undertaking"
Atom sec15.hasSubsidiaries "Consists of subsidiaries"
Atom sec15.hasParticipationEntities "Consists of entities in which parent or subsidiaries hold participation"
Atom sec15.hasLinkedUndertakings "Consists of undertakings linked per Article 22 of Directive 2013/34/EU"

// Rules
@srcRef "(15)"
rule_sec15_permission: sec15.isMemberState => [P] sec15.mayAllowWiderAccess

@srcRef "(15)"
rule_sec15_group_def: sec15.hasParentUndertaking & sec15.hasSubsidiaries & sec15.hasParticipationEntities & sec15.hasLinkedUndertakings -strict-> sec15.isGroup

Atom s16.beneficialOwnershipInformation "Information on beneficial ownership"
Atom s16.timelyAccessEnsured "Timely access to beneficial ownership information is ensured"
Atom s16.companyConcerned "The company concerned"
Atom s16.tippingOffCompany "Tipping off the company concerned"
Atom s16.electronicMoney "Electronic money as defined in point (2) of Article 2 of Directive 2009/110/EC"

@srcRef "section (16)"
rule_s16_1: s16.beneficialOwnershipInformation => [O] s16.timelyAccessEnsured

@srcRef "section (16)"
rule_s16_2: s16.timelyAccessEnsured => [F] s16.tippingOffCompany

// Declarations
Atom s17.isTrustee "Is a trustee"
Atom s17.isFoundation "Is a foundation"
Atom s17.isLegalArrangementSimilarToTrust "Is a legal arrangement similar to a trust"
Atom s17.mustObtainBeneficialOwnershipInfo "Must obtain beneficial ownership information"
Atom s17.mustHoldBeneficialOwnershipInfo "Must hold beneficial ownership information"
Atom s17.mustProvideBeneficialOwnershipInfo "Must provide beneficial ownership information to obliged entities taking customer due diligence measures"
Atom s17.mustCommunicateToCentralRegister "Must communicate beneficial ownership information to a central register or database"
Atom s17.mustDiscloseStatus "Must disclose status to obliged entities"
Atom s17.isCreditInstitution "Is a credit institution"
Atom s17.isFinancialInstitution "Is a financial institution"
Atom s17.isEquivalentActivityInstitution "Institution carrying out activities equivalent to credit or financial institutions"
Atom s17.incorporatedInJurisdiction "Incorporated in a jurisdiction"
Atom s17.hasNoPhysicalPresence "Has no physical presence involving meaningful mind and management"
Atom s17.isUnaffiliatedWithRegulatedGroup "Is unaffiliated with a regulated financial group"
Atom s17.isShellBank "Is a shell bank"

// Rules
@srcRef "(17)"
rule_s17_obtain: s17.isTrustee | s17.isFoundation | s17.isLegalArrangementSimilarToTrust => [O] s17.mustObtainBeneficialOwnershipInfo

@srcRef "(17)"
rule_s17_hold: s17.isTrustee | s17.isFoundation | s17.isLegalArrangementSimilarToTrust => [O] s17.mustHoldBeneficialOwnershipInfo

@srcRef "(17)"
rule_s17_provide: s17.isTrustee | s17.isFoundation | s17.isLegalArrangementSimilarToTrust => [O] s17.mustProvideBeneficialOwnershipInfo

@srcRef "(17)"
rule_s17_communicate: s17.isTrustee | s17.isFoundation | s17.isLegalArrangementSimilarToTrust => [O] s17.mustCommunicateToCentralRegister

@srcRef "(17)"
rule_s17_disclose: s17.isTrustee | s17.isFoundation | s17.isLegalArrangementSimilarToTrust => [O] s17.mustDiscloseStatus

@srcRef "(17)"
rule_s17_shell_bank_credit: s17.isCreditInstitution & s17.incorporatedInJurisdiction & s17.hasNoPhysicalPresence & s17.isUnaffiliatedWithRegulatedGroup => s17.isShellBank

@srcRef "(17)"
rule_s17_shell_bank_financial: s17.isFinancialInstitution & s17.incorporatedInJurisdiction & s17.hasNoPhysicalPresence & s17.isUnaffiliatedWithRegulatedGroup => s17.isShellBank

@srcRef "(17)"
rule_s17_shell_bank_equiv: s17.isEquivalentActivityInstitution & s17.incorporatedInJurisdiction & s17.hasNoPhysicalPresence & s17.isUnaffiliatedWithRegulatedGroup => s17.isShellBank

// Declarations
Atom s18.isActivityOfObligedEntity "Is an activity of an obliged entity"
Atom s18.isPerformedOnInternet "Is performed on the internet"
Atom s18.directiveApplies "This Directive applies to the activity"

// Rules
@srcRef "section (18)"
rule_s18_1: s18.isActivityOfObligedEntity & s18.isPerformedOnInternet => [O] s18.directiveApplies

// Declarations
Atom s19.isCompetentAuthority "Is a competent authority"
Atom s19.isObligedEntity "Is an obliged entity"
Atom s19.evaluatingRisk "Is evaluating risk"
Atom s19.newTechProvidesSolutions "New technologies provide time-effective and cost-effective solutions"
Atom s19.takeIntoAccountNewTech "Take new technologies into account"
Atom s19.beProactiveCombatingML "Be proactive in combating new and innovative ways of money laundering"

// Rules
@srcRef "(19)"
rule_s19_1: s19.evaluatingRisk & s19.newTechProvidesSolutions => [O] s19.takeIntoAccountNewTech

@srcRef "(19)"
rule_s19_2: s19.isCompetentAuthority | s19.isObligedEntity => [O] s19.beProactiveCombatingML

// Declarations
Atom s1a.isPublicCompany "Is a public company"
Atom s1a.isListedOnStockExchange "Is listed on a stock exchange"
Atom s1a.disclosureByStockExchangeRules "Disclosure requirements imposed by stock exchange rules"
Atom s1a.disclosureByLaw "Disclosure requirements imposed by law"
Atom s1a.disclosureByEnforceableMeans "Disclosure requirements imposed by enforceable means"
Atom s1a.disclosureEnsuresAdequateTransparencyOfBeneficialOwnership "Disclosure requirements ensure adequate transparency of beneficial ownership"
Atom s1a.mustVerifyBeneficialOwnership "Must verify beneficial ownership"
Atom s1a.isUnusualCircumstances "Business relationship is conducted in unusual circumstances"
Atom s1a.mustApplyEnhancedDueDiligence "Must apply enhanced due diligence"

// Rules
@srcRef "(1)(a)"
rule_s1a_1_stockexchange: s1a.isPublicCompany & s1a.isListedOnStockExchange & s1a.disclosureByStockExchangeRules & s1a.disclosureEnsuresAdequateTransparencyOfBeneficialOwnership => [E] s1a.mustVerifyBeneficialOwnership

@srcRef "(1)(a)"
rule_s1a_1_law: s1a.isPublicCompany & s1a.isListedOnStockExchange & s1a.disclosureByLaw & s1a.disclosureEnsuresAdequateTransparencyOfBeneficialOwnership => [E] s1a.mustVerifyBeneficialOwnership

@srcRef "(1)(a)"
rule_s1a_1_enforceable: s1a.isPublicCompany & s1a.isListedOnStockExchange & s1a.disclosureByEnforceableMeans & s1a.disclosureEnsuresAdequateTransparencyOfBeneficialOwnership => [E] s1a.mustVerifyBeneficialOwnership

@srcRef "(1)(a)"
rule_s1a_2_unusual: s1a.isUnusualCircumstances => [O] s1a.mustApplyEnhancedDueDiligence

// Declarations
Atom s1b.isPublicAdministration "Is a public administration"
Atom s1b.isEnterprise "Is an enterprise"
Atom s1b.isResidentInHighRiskArea "Is a customer resident in geographical areas of higher risk as set out in point (3)"

// Declarations
Atom p3.isLowerRiskGeographicalArea "Geographical area is of lower risk as set out in point (3)"
Atom s1c.customerResidentInGeographicalArea "Customer is resident in the geographical area"
Atom s1c.isPersonalAssetHoldingVehicle "Legal person or arrangement is a personal asset-holding vehicle"
Atom s1c.simplifiedDueDiligencePermitted "Simplified due diligence measures are permitted"

// Rules
@srcRef "section (1)(c) - geographical areas"
rule_s1c_geo: s1c.customerResidentInGeographicalArea & p3.isLowerRiskGeographicalArea => [P] s1c.simplifiedDueDiligencePermitted

@srcRef "section (1)(c) - PAHV"
rule_s1c_pahv: s1c.isPersonalAssetHoldingVehicle => [P] s1c.simplifiedDueDiligencePermitted

Atom s1d.hasNomineeShareholders "Company has nominee shareholders"
Atom s1d.hasBearerShares "Company has shares in bearer form"
Atom s1d.isSection1dCompany "Company falls under section 1(d)"

@srcRef "(1)(d)"
rule_s1d: s1d.hasNomineeShareholders | s1d.hasBearerShares => [O] s1d.isSection1dCompany

// Declarations
Atom s1_e.isCashIntensive "Businesses that are cash-intensive"

// Declarations
Atom s1f.ownershipUnusualGivenBusiness "Ownership structure appears unusual given the nature of the company's business"
Atom s1f.ownershipExcessivelyComplexGivenBusiness "Ownership structure appears excessively complex given the nature of the company's business"
Atom s1f.isUnusualOrComplex "Ownership structure is unusual or excessively complex per section (1)(f)"

// Rules
@srcRef "(1)(f)"
rule_s1f: s1f.ownershipUnusualGivenBusiness | s1f.ownershipExcessivelyComplexGivenBusiness => [O] s1f.isUnusualOrComplex

// Section (1) contains only citation to Regulation (EU) No 1093/2010 and a section heading regarding Customer risk factors.
// No substantive obligations, permissions, prohibitions, or exceptions found to encode.

// Declarations
Atom s20.isUnionRepresentativeEBRD "Is a representative of the Union in the governing bodies of the European Bank for Reconstruction and Development"
Atom s20.implementDirective "Implement this Directive"
Atom s20.publishAMLCFTPolicies "Publish AML/CFT policies on website containing detailed procedures giving effect to this Directive"

// Rules
@srcRef "(20)"
rule_s20_implement: s20.isUnionRepresentativeEBRD => [P] s20.implementDirective

@srcRef "(20)"
rule_s20_publish: s20.isUnionRepresentativeEBRD => [P] s20.publishAMLCFTPolicies

// Declarations
Atom s21.gamblingServiceProvider "Provider of gambling services"
Atom s21.higherRiskProvider "Provider of gambling services posing higher risks"
Numeric s21.transactionAmount "Single transaction amount in EUR"
Atom s21.isCollectionOfWinnings "Transaction is collection of winnings"
Atom s21.isWageringStake "Transaction is wagering a stake"
Atom s21.isChipPurchaseExchange "Transaction is purchase or exchange of gambling chips"
Atom s21.applyCDD "Apply customer due diligence measures"
Atom s21.hasPhysicalPremises "Provider has physical premises"
Atom s21.cddAtPointOfEntry "CDD taken at point of entry"
Atom s21.linkCddToTransactions "Link CDD to transactions conducted on premises"
Atom s21.isMemberState "Is a Member State"
Atom s21.provenLowRisk "Proven low-risk circumstances"
Atom s21.strictlyLimitedCircumstances "Strictly limited and justified circumstances"
Atom s21.exemptionGranted "Exemption from requirements granted"
Atom s21.notifyCommission "Notify Commission of exemption"
Atom s21.conductSpecificRiskAssessment "Conduct specific risk assessment for exemption"

// Rules

@srcRef "Section (21)"
rule_s21_cdd_1: s21.higherRiskProvider & s21.isCollectionOfWinnings & s21.transactionAmount >= 2000 => [O] s21.applyCDD

@srcRef "Section (21)"
rule_s21_cdd_2: s21.higherRiskProvider & s21.isWageringStake & s21.transactionAmount >= 2000 => [O] s21.applyCDD

@srcRef "Section (21)"
rule_s21_cdd_3: s21.higherRiskProvider & s21.isChipPurchaseExchange & s21.transactionAmount >= 2000 => [O] s21.applyCDD

@srcRef "Section (21)"
rule_s21_physical: s21.hasPhysicalPremises & s21.cddAtPointOfEntry => [O] s21.linkCddToTransactions

@srcRef "Section (21)"
rule_s21_exempt_power: s21.isMemberState & s21.provenLowRisk => [P] s21.exemptionGranted

@srcRef "Section (21)"
rule_s21_exempt_effect_cdd: s21.exemptionGranted => [E] s21.applyCDD

@srcRef "Section (21)"
rule_s21_exempt_effect_physical: s21.exemptionGranted => [E] s21.linkCddToTransactions

rule_s21_exempt_effect_cdd >> rule_s21_cdd_1
rule_s21_exempt_effect_cdd >> rule_s21_cdd_2
rule_s21_exempt_effect_cdd >> rule_s21_cdd_3
rule_s21_exempt_effect_physical >> rule_s21_physical

@srcRef "Section (21)"
rule_s21_exempt_notify: s21.exemptionGranted => [O] s21.notifyCommission

@srcRef "Section (21)"
rule_s21_exempt_assess: s21.exemptionGranted => [O] s21.conductSpecificRiskAssessment

// Declarations
Atom s22.isMemberState "Is a Member State"
Atom s22.isObligedEntity "Is an obliged entity"
Atom s22.appliesRiskBasedApproach "Applies a holistic risk-based approach"
Atom s22.usesEvidenceBasedDecisionMaking "Uses evidence-based decision-making"

// Rules
@srcRef "section (22)"
rule_s22_1: s22.isMemberState | s22.isObligedEntity => [O] s22.appliesRiskBasedApproach

@srcRef "section (22)"
rule_s22_2: s22.appliesRiskBasedApproach => [O] s22.usesEvidenceBasedDecisionMaking

// Declarations
Atom s23.isMemberState "Is a Member State"
Atom s23.isUnion "Is the Union"
Atom s23.mustIdentifyRisks "Must identify risks of money laundering and terrorist financing"
Atom s23.mustUnderstandRisks "Must understand risks of money laundering and terrorist financing"
Atom s23.mustMitigateRisks "Must mitigate risks of money laundering and terrorist financing"

// Rules
@srcRef "Section (23)"
rule_s23_1: s23.isMemberState | s23.isUnion => [O] s23.mustIdentifyRisks

@srcRef "Section (23)"
rule_s23_2: s23.isMemberState | s23.isUnion => [O] s23.mustUnderstandRisks

@srcRef "Section (23)"
rule_s23_3: s23.isMemberState | s23.isUnion => [O] s23.mustMitigateRisks

// Declarations
Atom s2_2.productRiskFactor "Product risk factor"
Atom s2_2.serviceRiskFactor "Service risk factor"
Atom s2_2.transactionRiskFactor "Transaction risk factor"
Atom s2_2.deliveryChannelRiskFactor "Delivery channel risk factor"

// Declarations
Atom s2.isLowPremiumLifeInsurance "Life insurance policy for which the premium is low"
Atom s2.isPrivateBanking "Private banking"
Atom s2.isFinancialService "Is a financial service covered by section 2"

// Rules
@srcRef "Section 2(a)"
rule_s2_a_1: s2.isLowPremiumLifeInsurance => [P] s2.isFinancialService

@srcRef "Section 2(a)"
rule_s2_a_2: s2.isPrivateBanking => [P] s2.isFinancialService

// Declarations
Atom s2b.isInsurancePolicyForPensionScheme "Is an insurance policy for a pension scheme"
Atom s2b.hasNoEarlySurrenderOption "Has no early surrender option"
Atom s2b.cannotBeUsedAsCollateral "Cannot be used as collateral"
Atom s2b.mightFavourAnonymity "Might favour anonymity"
Atom s2b.isPermitted "Is permitted"
Atom s2b.mustComplyWithObligation "Must comply with obligation"

// Rules
@srcRef "section (2)(b) - pension schemes"
rule_s2b_pension_exempt: s2b.isInsurancePolicyForPensionScheme & s2b.hasNoEarlySurrenderOption & s2b.cannotBeUsedAsCollateral => [E] s2b.mustComplyWithObligation

@srcRef "section (2)(b) - anonymity"
rule_s2b_anonymity_prohibited: s2b.mightFavourAnonymity => [F] s2b.isPermitted

// Declarations
Atom s2c.isPensionScheme "Is a pension superannuation or similar scheme"
Atom s2c.providesRetirementBenefits "Provides retirement benefits to employees"
Atom s2c.contributionsByDeduction "Contributions are made by way of deduction from wages"
Atom s2c.assignmentNotPermitted "Scheme rules do not permit the assignment of a member interest"
Atom s2c.isQualifyingPensionScheme "Is a qualifying pension or superannuation scheme"

Atom s2c.isNonFaceToFace "Is a non-face-to-face business relationship or transaction"
Atom s2c.hasSafeguards "Has certain safeguards such as electronic signatures"
Atom s2c.mustHaveSafeguards "Must have certain safeguards"

// Rules
@srcRef "Section (2)(c) - Pension Scheme"
rule_s2c_pension: s2c.isPensionScheme & s2c.providesRetirementBenefits & s2c.contributionsByDeduction & s2c.assignmentNotPermitted => [P] s2c.isQualifyingPensionScheme

@srcRef "Section (2)(c) - Non-Face-to-Face"
rule_s2c_remote: s2c.isNonFaceToFace & ~s2c.hasSafeguards => [O] s2c.mustHaveSafeguards

// Declarations
Atom s2d.isFinancialInclusionService "Financial products or services that provide appropriately defined and limited services to certain types of customers for financial inclusion purposes"
Atom s2d.isUnknownThirdPartyPayment "Payment received from unknown or unassociated third parties"
Atom s2d.isPermittedActivity "The activity is permitted under this provision"
Atom s2d.isProhibitedActivity "The activity is prohibited under this provision"

// Rules
@srcRef "Section (2)(d) - financial inclusion"
rule_s2d_permitted: s2d.isFinancialInclusionService => [P] s2d.isPermittedActivity

@srcRef "Section (2)(d) - unknown third parties"
rule_s2d_forbidden: s2d.isUnknownThirdPartyPayment => [F] s2d.isProhibitedActivity

// Declarations
Atom s2e.isProduct "Is a product"
Atom s2e.hasPurseLimits "Has purse limits"
Atom s2e.hasTransparencyOfOwnership "Has transparency of ownership"
Atom s2e.isElectronicMoney "Is electronic money"
Atom s2e.isLowRiskProduct "Product where ML/TF risks are managed by other factors"
Atom s2e.isNewProduct "Is a new product"
Atom s2e.isNewBusinessPractice "Is a new business practice"
Atom s2e.isNewDeliveryMechanism "Is a new delivery mechanism"
Atom s2e.usesNewTechnology "Uses new technology"
Atom s2e.usesDevelopingTechnology "Uses developing technology"
Atom s2e.isNewActivity "Is a new product or practice involving new technologies"

// Rules
@srcRef "Section (2)(e)"
rule_s2e_low_risk_purse: s2e.isProduct & s2e.hasPurseLimits => [O] s2e.isLowRiskProduct

@srcRef "Section (2)(e)"
rule_s2e_low_risk_transparency: s2e.isProduct & s2e.hasTransparencyOfOwnership => [O] s2e.isLowRiskProduct

@srcRef "Section (2)(e)"
rule_s2e_low_risk_example: s2e.isElectronicMoney => [O] s2e.isLowRiskProduct

@srcRef "Section (2)(e)"
rule_s2e_new_activity: s2e.isNewProduct | s2e.isNewBusinessPractice | s2e.isNewDeliveryMechanism | s2e.usesNewTechnology | s2e.usesDevelopingTechnology => [O] s2e.isNewActivity

@srcRef "Section (3)"
// Geographical risk factors

// Declarations
Atom s3a.isMemberState "Is a Member State"
Atom s3a.identifiedByCredibleSources "Identified by credible sources such as mutual evaluations or reports"
Atom s3a.hasIneffectiveAMLSystem "Identified as not having effective AML/CFT systems"
Atom s3a.isIdentifiedCountry "Is an identified country under Section 3(a)"

// Rules
@srcRef "(3)(a)"
rule_s3a_member_states: s3a.isMemberState => [O] s3a.isIdentifiedCountry

@srcRef "(3)(a)"
rule_s3a_high_risk_countries: s3a.identifiedByCredibleSources & s3a.hasIneffectiveAMLSystem => [O] s3a.isIdentifiedCountry

// Declarations
Atom s3b.effectiveAMLSystem "Third country has effective AML/CFT systems"
Atom s3b.significantCorruption "Country identified by credible sources as having significant levels of corruption or other criminal activity"

// Declarations
Atom s3c.identifiedByCredibleSources "Identified by credible sources"
Atom s3c.hasLowCorruption "Has a low level of corruption"
Atom s3c.hasLowCriminalActivity "Has a low level of other criminal activity"
Atom s3c.hasLowRiskFactors "Has a low level of corruption or other criminal activity"
Atom s3c.isLowCorruptionThirdCountry "Third country identified by credible sources as having a low level of corruption or other criminal activity"

Atom s3c.hasSanctionsByUnion "Subject to sanctions, embargos or similar measures issued by the Union"
Atom s3c.hasSanctionsByUN "Subject to sanctions, embargos or similar measures issued by the United Nations"
Atom s3c.isSanctionedCountry "Country subject to sanctions, embargos or similar measures issued by the Union or the United Nations"

// Rules
@srcRef "Section (3)(c)"
rule_s3c_low_risk_factors: s3c.hasLowCorruption | s3c.hasLowCriminalActivity => [O] s3c.hasLowRiskFactors

@srcRef "Section (3)(c)"
rule_s3c_low_corruption_country: s3c.identifiedByCredibleSources & s3c.hasLowRiskFactors => [O] s3c.isLowCorruptionThirdCountry

@srcRef "Section (3)(c)"
rule_s3c_sanctioned_country: s3c.hasSanctionsByUnion | s3c.hasSanctionsByUN => [O] s3c.isSanctionedCountry

// Declarations
Atom s3d.isThirdCountry "Is a third country"
Atom s3d.hasMutualEvaluation "Has mutual evaluation as credible source"
Atom s3d.hasDetailedAssessmentReport "Has detailed assessment report as credible source"
Atom s3d.hasPublishedFollowUpReport "Has published follow-up report as credible source"
Atom s3d.hasFATFConsistentRequirements "Has AML/CFT requirements consistent with revised FATF Recommendations"
Atom s3d.effectivelyImplements "Effectively implements AML/CFT requirements"
Atom s3d.isCompliantThirdCountry "Is a compliant third country"
Atom s3d.providesTerroristFunding "Provides funding or support for terrorist activities"
Atom s3d.hasDesignatedTerroristOrgs "Has designated terrorist organisations operating within the country"
Atom s3d.isTerroristSupportingCountry "Is a terrorist-supporting country"

// Rules
@srcRef "section (3)(d)"
rule_s3d_compliant_1: s3d.isThirdCountry & s3d.hasMutualEvaluation & s3d.hasFATFConsistentRequirements & s3d.effectivelyImplements => [O] s3d.isCompliantThirdCountry

@srcRef "section (3)(d)"
rule_s3d_compliant_2: s3d.isThirdCountry & s3d.hasDetailedAssessmentReport & s3d.hasFATFConsistentRequirements & s3d.effectivelyImplements => [O] s3d.isCompliantThirdCountry

@srcRef "section (3)(d)"
rule_s3d_compliant_3: s3d.isThirdCountry & s3d.hasPublishedFollowUpReport & s3d.hasFATFConsistentRequirements & s3d.effectivelyImplements => [O] s3d.isCompliantThirdCountry

@srcRef "section (3)(d)"
rule_s3d_terrorist: s3d.providesTerroristFunding | s3d.hasDesignatedTerroristOrgs => [O] s3d.isTerroristSupportingCountry

// Declarations
Atom s4.unionMeasure "Union measure adopted in the field of money laundering and terrorist financing"
Atom s4.compatibleWithInternational "Compatible with actions undertaken in international fora"
Atom s4.atLeastAsStringent "At least as stringent as other actions in international fora"
Atom s4.fatfRecommendationsAccounted "FATF Recommendations taken into account"
Atom s4.otherInternationalInstrumentsAccounted "Instruments of other international bodies active in AML/CFT taken into account"
Atom s4.relevantUnionLegalAct "Relevant Union legal act"
Atom s4.appropriateToAlign "Appropriate to align with revised FATF Recommendations"
Atom s4.alignedWithRevisedFatf "Aligned with the International Standards on Combating Money Laundering and the Financing of Terrorism and Proliferation adopted by the FATF in February 2012"

// Rules
@srcRef "Section 4"
rule_s4_compatible: s4.unionMeasure => [O] s4.compatibleWithInternational

@srcRef "Section 4"
rule_s4_stringent: s4.unionMeasure => [O] s4.atLeastAsStringent

@srcRef "Section 4"
rule_s4_fatf_account: s4.unionMeasure => [O] s4.fatfRecommendationsAccounted

@srcRef "Section 4"
rule_s4_other_instruments: s4.unionMeasure => [O] s4.otherInternationalInstrumentsAccounted

@srcRef "Section 4"
rule_s4_alignment: s4.relevantUnionLegalAct & s4.appropriateToAlign => [O] s4.alignedWithRevisedFatf

// Declarations
Atom s5.isManipulationOfCriminalMoney "Activity involves the manipulation of money derived from serious crime"
Atom s5.isCollectionForTerroristPurposes "Activity involves the collection of money or property for terrorist purposes"
Atom s5.mustBeAddressedByPreventiveMeasures "Must be addressed by preventive measures laid down in the Directive"

// Rules
@srcRef "Section 5"
rule_s5_address_ml: s5.isManipulationOfCriminalMoney => [O] s5.mustBeAddressedByPreventiveMeasures

@srcRef "Section 5"
rule_s5_address_tf: s5.isCollectionForTerroristPurposes => [O] s5.mustBeAddressedByPreventiveMeasures

// Declarations
Atom s6.isTradingInGoods "Person is trading in goods"
Atom s6.isMakingCashPayment "Person is making a cash payment"
Atom s6.isReceivingCashPayment "Person is receiving a cash payment"
Numeric s6.cashPaymentAmountEUR "Cash payment amount in EUR"
Atom s6.coveredByDirective "Person is covered by this Directive"
Atom s6.isMemberState "Is a Member State"
Atom s6.mayAdoptLowerThresholds "May adopt lower thresholds"
Atom s6.mayAdoptAdditionalCashLimitations "May adopt additional general limitations to the use of cash"
Atom s6.mayAdoptStricterProvisions "May adopt further stricter provisions"

// Rules
@srcRef "section (6)"
rule_s6_coverage: s6.isTradingInGoods & s6.isMakingCashPayment & s6.cashPaymentAmountEUR >= 10000 | s6.isTradingInGoods & s6.isReceivingCashPayment & s6.cashPaymentAmountEUR >= 10000 => [O] s6.coveredByDirective

@srcRef "section (6)"
rule_s6_permission_lower: s6.isMemberState => [P] s6.mayAdoptLowerThresholds

@srcRef "section (6)"
rule_s6_permission_limitations: s6.isMemberState => [P] s6.mayAdoptAdditionalCashLimitations

@srcRef "section (6)"
rule_s6_permission_stricter: s6.isMemberState => [P] s6.mayAdoptStricterProvisions

// Declarations
Atom s7.isElectronicMoneyProduct "Product is an electronic money product"
Atom s7.subjectToAMLCFT "Subject to anti-money laundering and countering the financing of terrorism obligations"
Atom s7.isLowRisk "Proven low-risk circumstances"
Atom s7.usedExclusivelyForGoodsServices "Used exclusively for purchasing goods or services"
Atom s7.amountStoredIsLow "Amount stored electronically is low enough to preclude circumvention of AML/CFT rules"
Atom s7.memberStateMayExemptCDD "Member State may exempt from customer identification and verification"
Atom s7.mustMonitorTransactions "Must monitor transactions or business relationships"
Atom s7.posesLowerRisk "Product poses lower risks"
Atom s7.memberStateMayAllowSCDD "Member State may allow obliged entities to apply simplified customer due diligence"

// Rules
@srcRef "Section (7)"
rule_s7_1: s7.isElectronicMoneyProduct => [O] s7.subjectToAMLCFT

@srcRef "Section (7)"
rule_s7_2: s7.isElectronicMoneyProduct & s7.isLowRisk & s7.usedExclusivelyForGoodsServices & s7.amountStoredIsLow => [P] s7.memberStateMayExemptCDD

@srcRef "Section (7)"
rule_s7_3: s7.memberStateMayExemptCDD => [O] s7.mustMonitorTransactions

@srcRef "Section (7)"
rule_s7_4: s7.isElectronicMoneyProduct & s7.posesLowerRisk => [P] s7.memberStateMayAllowSCDD

// Declarations
Atom s8.isLettingAgent "Is a letting agent"
Atom s8.isEstateAgent "Is an estate agent"
Atom s8.isObligedEntitySubjectToDirective "Is an obliged entity subject to this Directive"

// Rules
@srcRef "Section 8"
rule_s8_1: s8.isLettingAgent & s8.isObligedEntitySubjectToDirective => [O] s8.isEstateAgent