deduct · déduire / prélever

Hierarchy

Same inventory as English deduct. Not five-place. Not four sisters of one V. Surface count can name the game, 0,00368, ETH, every player in the dungeon, and the chat-rule violation — but Amount and Denomination share one Case object, Domain is one de/à partir de-PP, and Reason is high / outer.

0,00368 ETH = one MeasureP. Orthography is not extra arity. Amount and Denomination are both inner arguments of that object. Composition is V(MeasureP), not V(n)(U). Hom(e, ⟨n,U⟩): the decrement is measured by degree n on scale U. Romance quantity clitic en resumes quantity of the QP — not a unit stranded from its degree, and not Domain.

Working hierarchy: Agent-ish > MeasureP ⟨n,U⟩ > Domain > Reason. What Group B French changes is Case cloth (de/à partir de, pour, en). What it does not change is the inventory. Weather still fails Agent-ish. Settlement / destruction is still not entailed. Domain never promotes to ACC the way charge_FEE / fine promote Payer.

French frames · Case clothes

French puts the QP in ACC, Domain in de / à partir de, Reason in pour. There is no DOC cloth and no avec-cloth dual of credit_FIN. Primary lemma for the page: déduire (tax / logic / arithmetic hinge; WH §7.2 lead). Companion prélever wears the same FROM geometry in commercial / payroll / withholding talk — often more natural there; document both; do not invent a sense split.

1. ✓ Le jeu a déduit 0,00368 ETH de chaque joueur dans le donjon pour avoir violé les règles du chat. canonical · ACC MeasureP · de Domain · pour Reason · Parse B
2. ✓ Le jeu a déduit 0,00368 ETH de chaque joueur. Reason omitted
3. ✓ L’entreprise a prélevé de l’argent sur / de sa paie. value-mass object · payroll hinge · prélever
4. ✓ La paie a prélevé de l’argent / des impôts / des intérêts / du collatéral. value-mass · sortal OK
5. ✓ L’exchange a déduit 0,001 ETH de l’utilisateur qui a tenté d’utiliser l’effet de levier. Domain relative rides · WH §7.2
6. ✓ On a prélevé 0,00368 ETH de chaque joueur. prélever companion · same FROM cloth
7. ✓ Il a déduit les frais de la déclaration. tax / arithmetic companion
8. ✓ Ne lui a-t-on pas déduit / prélevé 0,00368 ETH ? DAT Affectee packing beside Domain · scout vs de-Domain default
9. ? Le jeu a déduit de l’ETH de chaque joueur. bare U · type / activity · marked
10. * Le jeu a déduit 0,00368 de chaque joueur. unit unbound
11. * Chaque joueur dans le donjon a été déduit 0,00368 ETH. Domain ≠ ACC · use facturer / faire payer / amender
12. * Le jeu a déduit chaque joueur avec 0,00368 ETH. no avec-cloth
13. * Le jeu a déduit 0,00368 ETH à chaque joueur. as TO-increment à = credit FIN polarity · not FROM default
14. * L’exchange a déduit de l’eau / du sable / un conseil de l’utilisateur. wrong-sort mass
15. * Le temps a déduit 0,00368 ETH de chaque joueur. weather / inanimate ≠ Agent-ish

MeasureP WH / NegQ · denomination diagnostics

WH forces Amount ≠ Denomination inside one Case object. Verbal WH sees the MeasureP under ACC, not unit and degree as two objects of deduct. Same MeasureP pattern as English / Japanese / Spanish deduct — here Domain stays a selected de/à partir de-PP (or DAT Affectee packing flagged open), and Reason stays pour.

1. ✓ Combien le jeu a-t-il déduit de chaque joueur ? unit bound
2. ✓ Combien d’ETH le jeu a-t-il déduit de chaque joueur ?
3. ✓ Combien de quoi a-t-on déduit de chaque joueur ? n and U inside host
4. ✓ En quoi / en quelle monnaie le lui a-t-on déduit ? U recoding · §7.2
5. ✓ Vous lui avez déduit / prélevé quoi ? bare WHAT · object hijack · §7.2
6. * Quoi a déduit l’exchange 0,001 de l’utilisateur … ? LBC · stranded n
7. * Combien l’exchange a-t-il déduit ETH de l’utilisateur ? LBC · U stranded
8. ✓ De qui / de quels joueurs le jeu a-t-il déduit 0,00368 ETH ? WH = Domain
9. ✓ Pourquoi a-t-on déduit 0,00368 ETH ? Reason
10. * À qui a-t-on déduit 0,00368 ETH ? as Domain-ACC / FEE cloth Domain needs de/à partir de · FEE promote is facturer
11. ✓ N’a-t-on pas déduit 0,00368 ETH de chaque joueur ? NegQ · MeasureP cheap associate
12. ✓ N’en a-t-on pas déduit 0,00368 ? quantity clitic en · §13.2
13. ✓ Ne lui a-t-on pas déduit 0,00368 ETH ? en / quantity + DAT · Group B cheap associate · Affectee packing

Superiority ranks Agent-ish > MeasureP > Domain > Reason. Amount and Denomination never compete as two verbal WH-items. Cheap NegQ association tracks the Case object: ACC MeasureP under déduire / prélever. Quantity clitic en resumes the QP (Romance Group B map); y tracks venue, not Domain of loss. Reason-pour does not lift a second unit the way charge’s Consideration-pour can.

Geometry · déduire ≠ facturer ≠ créditer_FIN ≠ parier ≠ allouer

In Le jeu a déduit 0,00368 ETH de Pat, Pat is Domain of loss and stays inside a de-PP. In Le magasin a facturé vingt euros à Pat, Pat is Payer and wears DAT beside ACC MeasureP. Shared FROM_SET arithmetic; different Case cloth.

• ≠ charge_FEE / facturer / faire payer / fine. Shared FROM_SET + MeasureP Hom. Split: deduct keeps Domain as de/à partir de-PP; charge_FEE / fine promote Payer/Domain to DAT / ACC (lui a facturé vingt euros). *Chaque joueur a été déduit 0,00368 ETH — use facturer / faire payer / amender. Live twin: charge-fee-fr.html.
• ≠ credit_FIN / créditer. Shared MeasureP. Opposite polarity: deduct = FROM_SET decrement (de/à partir de); credit_FIN = TO_SET increment (à/sur/de-MeasureP). credit_FIN has Account clothes; French deduct has no productive avec-cloth dual (*déduire chaque joueur avec 0,00368 ETH). Live twin: credit-fin-fr.html.
• ≠ bet / parier. Shared MeasureP (Stake vs decrement). Split: bet is 1+3 (Stake + Content + optional Platform); no FROM Domain of loss at e-time. Deduct has no selected Proposition.
• ≠ earmark / allocate_GOAL / allouer / affecter à. Shared MeasureP packaging available. Split: earmark’s pour can be Purpose; allocate’s à is Goal; deduct’s pour (when Reason) is high JUSTIFIED_BY. No FROM-loss on earmark / allocate.
• ≠ pay_GIVE / payer · ≠ vendre / sell. Pay writes MeasureP TO a Recipient (Appl_HAVE). Sell: Recipient HAS goods; Price stays inside pour. Deduct: money/value is the ACC MeasureP of the decrement; pour avoir violé … is Reason, not Price / Consideration.
• ≠ subtract / soustraire / retrancher. Same MeasureP family against a number/account Domain; Reason usually absent. Packaging cousins, not a fifth GF.
• Four pours. Deduct’s pour avoir violé … = Reason / ground (high). charge_FEE’s pour le repas = Consideration. Sell’s pour vingt euros = Price. Earmark / allocate keep Purpose readings of pour / à. Keep them apart.
• Decrement-true is e2. A follow-up that denies destruction, house-credit, or actual guilt does not deny the deduct event. Guilt-true is not entailed (Reason is JUSTIFIED_BY, not factive Content).

Shells, ApplP, and Case

VoiceP  [ le jeu
  (ReasonP)
  ApplP_FROM  [ de  [ chaque joueur dans le donjon ]
    VP  [ √DEDUCT / √DÉDU-   [ MeasureP  [ Amount 0,00368 ] [ N ETH ] ] ]
  PP_pour  [ pour  [ avoir violé les règles du chat ] ] ]

Packaging (same geometry):
  déduire (tax / logic / arithmetic hinge)
  prélever (commercial / payroll / withholding companion)
  — Domain stays de / à partir de; Reason stays pour

Voice introduces Agent-ish. Appl_FROM introduces Domain as a set. MeasureP sits as Incremental Theme of the decrement. Reason attaches above the inner FROM. There is no Recipient HAVE shell and no ACC promotion of Domain. Putting one in is how the fine / facturer cloth is written — a different root packaging, not √DEDUCT growing a second object.

French assigns ACC to the MeasureP only (default). Domain stays oblique (de/à partir de). Reason stays a pour-PP. Quantity clitic en resumes the MeasureP. No reverse DOC. Passive promotes the Measure QP as a whole — never Amount alone, never U alone, never Domain into subject (*Chaque joueur a été déduit …), never Reason.

Proto-roles are shell-local. Agent-ish is a partial Proto-Agent (game, payroll, fisc, auto-mod, protocol — institutional cause, not required volition). Domain members are Proto-Source after chaque / tout unfolds; the verbal argument is the bundled set. MeasureP is Incremental Theme; Hom on ⟨n,U⟩. Denomination is not a fifth theta role.

∃e [ DECREMENT(e)
  ∧ INIT(e, jeu)
  ∧ DEGREE(e, 0.00368) ∧ UNIT(e, ETH)
  ∧ FROM_SET(e, D) ∧ Hom(e, ⟨0.00368, ETH⟩)
  ∧ JUSTIFIED_BY(e, violer_regles_chat) ]

Underivables (French deduct)

1. * Le jeu a déduit 0,00368 de chaque joueur. unit unbound
2. * 0,00368 ont été déduits ETH de chaque joueur. Amount ≠ separate passive
3. * ETH ont été déduits 0,00368 de chaque joueur. U ≠ separate passive
4. * Chaque joueur dans le donjon a été déduit 0,00368 ETH. Domain ≠ ACC
5. * Avoir violé les règles du chat a été déduit 0,00368 ETH. Reason ≠ object
6. * Quoi a déduit l’exchange 0,001 de l’utilisateur ? LBC · stranded n
7. * Combien l’exchange a-t-il déduit ETH de l’utilisateur ? LBC · U stranded
8. * À qui a-t-on déduit 0,00368 ETH ? as Domain-ACC Domain needs de/à partir de
9. * Le jeu a déduit chaque joueur avec 0,00368 ETH. no avec-cloth
10. * Le jeu a déduit 0,00368 ETH à chaque joueur. as TO-increment à ≠ FROM default
11. * Le temps a déduit 0,00368 ETH de chaque joueur. Voice filter
12. * L’exchange a déduit de l’eau de l’utilisateur. wrong-sort mass
13. ✓ institution / contract as Agent-ish: Le contrat intelligent a déduit 0,001 ETH de l’utilisateur. Initiator fine

Group B packaging · this tick French only

Group B (Spanish, French, Italian) is the packaging contrast set already used for WH and NegQ on deduct (§7.2 / §13.2). Same hierarchy as English deduct; different host of MeasureP/Domain Case. This tick is French deduct only. Spanish descontar / deducir is live at deduct-es.html. Italian detrarre is live at deduct-it.html; watch FEE overlap on surface addebitare (already live as charge_FEE · Italian) — contrast only. English deduct.html and Japanese deduct-ja.html are the live FROM twins. French credit_FIN is the live TO dual — keep the polarity split.

Open items

• Italian micro-entry. Now live at deduct-it.html (detrarre; ACC MeasureP; da/a partire da Domain; per Reason; ne quantity). Watch Italian addebitare FEE overlap (already live as charge_FEE · IT).
• English / Japanese / Spanish twins. deduct.html, deduct-ja.html, and deduct-es.html are live. Keep Domain as from/kara/de/desde/à partir de; do not collapse to charge_FEE.
• DAT Affectee packing. WH §7.2 shows Vous lui avez déduit / prélevé quoi ? beside de/à partir de Domain. Confirm whether lui/à is high Affectee, optional doubling, or a register path toward FEE — open; do not merge with facturer.
• déduire vs prélever productivity. Tax / logic / arithmetic vs payroll / commercial ranking needs controlled elicitation — flagged scout-leaning, not closed. prélever often more natural for withholding; do not invent a sense split.
• Polish GEN-neg on odjąć / potrącić — GEN on the QP, not a stranded unit. Companion elicitation (Group C).
• Outer CAUSE (faire). Site on the making vs on the decrement; Domain never becomes Causee Case under √DEDUCT’s French cloth. Romance faire on a ledger verb is usually faire-par (§14).
• Mandarin / Navajo. 把 / HANDLE packaging. Deferred with Group A notes.

Corpus filenames

Primary extracts for this micro-entry are Group B Romance packaging notes in the deduct WH and NegQ papers. Geometry is shared with the English lexical entry. Increment dual: Lexical_Entry_Credit_Argument_Structure / live credit-fin-fr.html. Text extracts under /tmp/deduct_extracts/; DOCX originals under the Tritransitive lit tree. Chat extract: lit/grok-tritransitive/chats/16-wh-movement-denominations-in-deduct.md.