loading…

us-ca/regulation/mpp/63-503.132 — .132 After determining the prorated allotment, the CWD shall round the product down to the nearest lower whole dollar. If the computation results in an allotment of less than $10, then no issuance shall be made for the whole month. · Axiom

.132 After determining the prorated allotment, the CWD shall round the product down to the nearest lower whole dollar. If the computation results in an allotment of less than $10, then no issuance shall be made for the whole month.

3 rules

Official source

graph ↗build calculator ↗

After determining the prorated allotment, the CWD shall round the product down to the nearest lower whole dollar. If the computation results in an allotment of less than $10, then no issuance shall be made for the whole month.

in view

Whole section

Encodings · 3

Encoded from this provision

us-ca/regulation/mpp/63-503/132

minimum_prorated_allotment_issuance_thresholdCA reg. 63-503.132 · parameter

63-503.132, sentence 2

name: minimum_prorated_allotment_issuance_threshold
kind: parameter
dtype: Money
unit: USD
source: 63-503.132, sentence 2
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: amount
        source:
          corpus_citation_path: us-ca/regulation/mpp/63-503.132
          excerpt: >-
            If the computation results in an allotment of less than $10, then no
            issuance shall be made for the whole month.
versions:
  - effective_from: '0001-01-01'
    formula: '10'

monthly_issuance_after_minimum_prorated_allotment_ruleCA reg. 63-503.132 · derived

63-503.132, sentence 2

name: monthly_issuance_after_minimum_prorated_allotment_rule
kind: derived
entity: SnapUnit
dtype: Money
period: Month
unit: USD
source: 63-503.132, sentence 2
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: condition
        source:
          corpus_citation_path: us-ca/regulation/mpp/63-503.132
          excerpt: >-
            If the computation results in an allotment of less than $10, then no
            issuance shall be made for the whole month.
      - path: versions[0].formula
        kind: formula
        source:
          corpus_citation_path: us-ca/regulation/mpp/63-503.132
          excerpt: >-
            After determining the prorated allotment, the CWD shall round the
            product down to the nearest lower whole dollar.
versions:
  - effective_from: '0001-01-01'
    formula: >-
      if prorated_allotment_rounded_down_to_whole_dollar <
      minimum_prorated_allotment_issuance_threshold: 0 else:
      prorated_allotment_rounded_down_to_whole_dollar

prorated_allotment_rounded_down_to_whole_dollarCA reg. 63-503.132 · derived

63-503.132, sentence 1

name: prorated_allotment_rounded_down_to_whole_dollar
kind: derived
entity: SnapUnit
dtype: Money
period: Month
unit: USD
source: 63-503.132, sentence 1
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: formula
        source:
          corpus_citation_path: us-ca/regulation/mpp/63-503.132
          excerpt: >-
            After determining the prorated allotment, the CWD shall round the
            product down to the nearest lower whole dollar.
versions:
  - effective_from: '0001-01-01'
    formula: max(0, floor(determined_prorated_allotment))

▸rulespec code

Shown source

regulations/mpp/63-503

Displaying the canonical repository encoding.

View on GitHub

Rules

minimum_prorated_allotment_issuance_threshold

Parameter

source: 63-503.132, sentence 2

- name: minimum_prorated_allotment_issuance_threshold
  kind: parameter
  dtype: Money
  unit: USD
  source: 63-503.132, sentence 2
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: amount
          source:
            corpus_citation_path: us-ca/regulation/mpp/63-503.132
            excerpt: >-
              If the computation results in an allotment of less than $10, then no issuance shall be
              made for the whole month.
  versions:
    - effective_from: '0001-01-01'
      formula: '10'

monthly_issuance_after_minimum_prorated_allotment_rule

Derived

source: 63-503.132, sentence 2

- name: monthly_issuance_after_minimum_prorated_allotment_rule
  kind: derived
  entity: SnapUnit
  dtype: Money
  period: Month
  unit: USD
  source: 63-503.132, sentence 2
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: condition
          source:
            corpus_citation_path: us-ca/regulation/mpp/63-503.132
            excerpt: >-
              If the computation results in an allotment of less than $10, then no issuance shall be
              made for the whole month.
        - path: versions[0].formula
          kind: formula
          source:
            corpus_citation_path: us-ca/regulation/mpp/63-503.132
            excerpt: >-
              After determining the prorated allotment, the CWD shall round the product down to the
              nearest lower whole dollar.
  versions:
    - effective_from: '0001-01-01'
      formula: >-
        if prorated_allotment_rounded_down_to_whole_dollar <
        minimum_prorated_allotment_issuance_threshold: 0 else:
        prorated_allotment_rounded_down_to_whole_dollar

prorated_allotment_rounded_down_to_whole_dollar

Derived

source: 63-503.132, sentence 1

- name: prorated_allotment_rounded_down_to_whole_dollar
  kind: derived
  entity: SnapUnit
  dtype: Money
  period: Month
  unit: USD
  source: 63-503.132, sentence 1
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: formula
          source:
            corpus_citation_path: us-ca/regulation/mpp/63-503.132
            excerpt: >-
              After determining the prorated allotment, the CWD shall round the product down to the
              nearest lower whole dollar.
  versions:
    - effective_from: '0001-01-01'
      formula: max(0, floor(determined_prorated_allotment))

loading…

.132 After determining the prorated allotment, the CWD shall round the product down to the nearest lower whole dollar. If the computation results in an allotment of less than $10, then no issuance shall be made for the whole month.

3 rules

Official source

graph ↗build calculator ↗

in view

Whole section

Encodings · 3

Encoded from this provision

us-ca/regulation/mpp/63-503/132

minimum_prorated_allotment_issuance_thresholdCA reg. 63-503.132 · parameter

63-503.132, sentence 2

name: minimum_prorated_allotment_issuance_threshold
kind: parameter
dtype: Money
unit: USD
source: 63-503.132, sentence 2
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: amount
        source:
          corpus_citation_path: us-ca/regulation/mpp/63-503.132
          excerpt: >-
            If the computation results in an allotment of less than $10, then no
            issuance shall be made for the whole month.
versions:
  - effective_from: '0001-01-01'
    formula: '10'

monthly_issuance_after_minimum_prorated_allotment_ruleCA reg. 63-503.132 · derived

63-503.132, sentence 2

name: monthly_issuance_after_minimum_prorated_allotment_rule
kind: derived
entity: SnapUnit
dtype: Money
period: Month
unit: USD
source: 63-503.132, sentence 2
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: condition
        source:
          corpus_citation_path: us-ca/regulation/mpp/63-503.132
          excerpt: >-
            If the computation results in an allotment of less than $10, then no
            issuance shall be made for the whole month.
      - path: versions[0].formula
        kind: formula
        source:
          corpus_citation_path: us-ca/regulation/mpp/63-503.132
          excerpt: >-
            After determining the prorated allotment, the CWD shall round the
            product down to the nearest lower whole dollar.
versions:
  - effective_from: '0001-01-01'
    formula: >-
      if prorated_allotment_rounded_down_to_whole_dollar <
      minimum_prorated_allotment_issuance_threshold: 0 else:
      prorated_allotment_rounded_down_to_whole_dollar

prorated_allotment_rounded_down_to_whole_dollarCA reg. 63-503.132 · derived

63-503.132, sentence 1

name: prorated_allotment_rounded_down_to_whole_dollar
kind: derived
entity: SnapUnit
dtype: Money
period: Month
unit: USD
source: 63-503.132, sentence 1
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: formula
        source:
          corpus_citation_path: us-ca/regulation/mpp/63-503.132
          excerpt: >-
            After determining the prorated allotment, the CWD shall round the
            product down to the nearest lower whole dollar.
versions:
  - effective_from: '0001-01-01'
    formula: max(0, floor(determined_prorated_allotment))

▸rulespec code

Shown source

regulations/mpp/63-503

Displaying the canonical repository encoding.

View on GitHub

Rules

minimum_prorated_allotment_issuance_threshold

Parameter

source: 63-503.132, sentence 2

- name: minimum_prorated_allotment_issuance_threshold
  kind: parameter
  dtype: Money
  unit: USD
  source: 63-503.132, sentence 2
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: amount
          source:
            corpus_citation_path: us-ca/regulation/mpp/63-503.132
            excerpt: >-
              If the computation results in an allotment of less than $10, then no issuance shall be
              made for the whole month.
  versions:
    - effective_from: '0001-01-01'
      formula: '10'

monthly_issuance_after_minimum_prorated_allotment_rule

Derived

source: 63-503.132, sentence 2

- name: monthly_issuance_after_minimum_prorated_allotment_rule
  kind: derived
  entity: SnapUnit
  dtype: Money
  period: Month
  unit: USD
  source: 63-503.132, sentence 2
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: condition
          source:
            corpus_citation_path: us-ca/regulation/mpp/63-503.132
            excerpt: >-
              If the computation results in an allotment of less than $10, then no issuance shall be
              made for the whole month.
        - path: versions[0].formula
          kind: formula
          source:
            corpus_citation_path: us-ca/regulation/mpp/63-503.132
            excerpt: >-
              After determining the prorated allotment, the CWD shall round the product down to the
              nearest lower whole dollar.
  versions:
    - effective_from: '0001-01-01'
      formula: >-
        if prorated_allotment_rounded_down_to_whole_dollar <
        minimum_prorated_allotment_issuance_threshold: 0 else:
        prorated_allotment_rounded_down_to_whole_dollar

prorated_allotment_rounded_down_to_whole_dollar

Derived

source: 63-503.132, sentence 1

- name: prorated_allotment_rounded_down_to_whole_dollar
  kind: derived
  entity: SnapUnit
  dtype: Money
  period: Month
  unit: USD
  source: 63-503.132, sentence 1
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: formula
          source:
            corpus_citation_path: us-ca/regulation/mpp/63-503.132
            excerpt: >-
              After determining the prorated allotment, the CWD shall round the product down to the
              nearest lower whole dollar.
  versions:
    - effective_from: '0001-01-01'
      formula: max(0, floor(determined_prorated_allotment))