loading…

In general

1 rule

A contract of insurance or guarantee executed by the Secretary under this chapter shall be an obligation supported by the full faith and credit of the United States.

in view

Whole section

Encodings · 1

contract_obligation_supported_by_full_faith_and_credit7 USC § 1928 (a) · derived

7 USC 1928(a)

name: contract_obligation_supported_by_full_faith_and_credit
kind: derived
entity: SecretaryInsuranceOrGuaranteeContract
dtype: Judgment
period: Year
source: 7 USC 1928(a)
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: predicate
        source:
          corpus_citation_path: us/statute/7/1928
versions:
  - effective_from: '2008-10-01'
    formula: 'true'

open in graph ↗

▸rulespec code

Shown source

statutes/7/1928.yaml

Displaying the canonical repository encoding.

This encoding covers the parent provision us/statute/7/1928; no dedicated encoding exists for this exact provision yet.

View on GitHub

Rules

contract_obligation_supported_by_full_faith_and_credit

Derived

source: 7 USC 1928(a)

- name: contract_obligation_supported_by_full_faith_and_credit
  kind: derived
  entity: SecretaryInsuranceOrGuaranteeContract
  dtype: Judgment
  period: Year
  source: 7 USC 1928(a)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: predicate
          source:
            corpus_citation_path: us/statute/7/1928
  versions:
    - effective_from: '2008-10-01'
      formula: 'true'

contract_incontestable

Derived

source: 7 USC 1928(b)

- name: contract_incontestable
  kind: derived
  entity: SecretaryInsuranceOrGuaranteeContract
  dtype: Judgment
  period: Year
  source: 7 USC 1928(b)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: exception
          source:
            corpus_citation_path: us/statute/7/1928
  versions:
    - effective_from: '2008-10-01'
      formula: |-
        not (
          contract_involves_fraud_or_misrepresentation
          and (
            lender_or_holder_had_actual_knowledge_of_fraud_or_misrepresentation_at_execution
            or lender_or_holder_participated_in_or_condoned_fraud_or_misrepresentation
          )
        )

loading…

us/statute/7/1928/a — In general · Axiom

In general

1 rule

Official source

graph ↗build calculator ↗

A contract of insurance or guarantee executed by the Secretary under this chapter shall be an obligation supported by the full faith and credit of the United States.

in view

Whole section

Encodings · 1

contract_obligation_supported_by_full_faith_and_credit7 USC § 1928 (a) · derived

7 USC 1928(a)

name: contract_obligation_supported_by_full_faith_and_credit
kind: derived
entity: SecretaryInsuranceOrGuaranteeContract
dtype: Judgment
period: Year
source: 7 USC 1928(a)
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: predicate
        source:
          corpus_citation_path: us/statute/7/1928
versions:
  - effective_from: '2008-10-01'
    formula: 'true'

open in graph ↗

▸rulespec code

Shown source

statutes/7/1928.yaml

Displaying the canonical repository encoding.

This encoding covers the parent provision us/statute/7/1928; no dedicated encoding exists for this exact provision yet.

View on GitHub

Rules

contract_obligation_supported_by_full_faith_and_credit

Derived

source: 7 USC 1928(a)

- name: contract_obligation_supported_by_full_faith_and_credit
  kind: derived
  entity: SecretaryInsuranceOrGuaranteeContract
  dtype: Judgment
  period: Year
  source: 7 USC 1928(a)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: predicate
          source:
            corpus_citation_path: us/statute/7/1928
  versions:
    - effective_from: '2008-10-01'
      formula: 'true'

contract_incontestable

Derived

source: 7 USC 1928(b)

- name: contract_incontestable
  kind: derived
  entity: SecretaryInsuranceOrGuaranteeContract
  dtype: Judgment
  period: Year
  source: 7 USC 1928(b)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: exception
          source:
            corpus_citation_path: us/statute/7/1928
  versions:
    - effective_from: '2008-10-01'
      formula: |-
        not (
          contract_involves_fraud_or_misrepresentation
          and (
            lender_or_holder_had_actual_knowledge_of_fraud_or_misrepresentation_at_execution
            or lender_or_holder_participated_in_or_condoned_fraud_or_misrepresentation
          )
        )