deduct · detrarre

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 da/a partire da-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 ne 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 Italian changes is Case cloth (da/a partire da, per, ne). What it does not change is the inventory. Weather still fails Agent-ish. Settlement / destruction is still not entailed. Domain never promotes to ACC / DAT the way charge_FEE / fine promote Payer (addebitare).

Italian frames · Case clothes

Italian puts the QP in ACC, Domain in da / da parte di / a partire da, Reason in per. There is no DOC cloth and no con-cloth dual of credit_FIN. Primary lemma for the page: detrarre (tax / logic / arithmetic hinge; WH §7.2 Italian lead). Scout companions prelevare / trattenere may wear the same FROM geometry in commercial / payroll / withholding talk — document both; do not invent a sense split. Surface addebitare is contrast only (FEE).

1. ✓ Il gioco ha detratto 0,00368 ETH da ogni giocatore nel dungeon per aver violato le regole della chat. canonical · ACC MeasureP · da Domain · per Reason · Parse B
2. ✓ Il gioco ha detratto 0,00368 ETH da ogni giocatore. Reason omitted
3. ✓ L’azienda ha prelevato / trattenuto denaro dalla busta paga. value-mass object · payroll hinge · companion scout
4. ✓ La busta paga ha prelevato / trattenuto denaro / tasse / interessi / collaterale. value-mass · sortal OK · companion scout
5. ✓ L’exchange ha detratto 0,001 ETH dall’utente che ha tentato di usare la leva. Domain relative rides · WH §7.2
6. ✓ Hanno detratto 0,00368 ETH da ogni giocatore. detrarre primary · same FROM cloth
7. ✓ Ha detratto le spese dalla dichiarazione. tax / arithmetic companion
8. ✓ Non gli hanno detratto 0,00368 ETH? DAT Affectee packing beside Domain · scout vs da-Domain default · do not merge with addebitare FEE
9. ? Il gioco ha detratto ETH da ogni giocatore. bare U · type / activity · marked
10. * Il gioco ha detratto 0,00368 da ogni giocatore. unit unbound
11. * Ogni giocatore nel dungeon è stato detratto 0,00368 ETH. Domain ≠ ACC · use addebitare / far pagare / multare
12. * Il gioco ha detratto ogni giocatore con 0,00368 ETH. no con-cloth
13. * Il gioco ha detratto 0,00368 ETH a ogni giocatore. as TO-increment a = credit FIN polarity · not FROM default
14. * L’exchange ha detratto acqua / sabbia / un consiglio dall’utente. wrong-sort mass
15. * Il tempo ha detratto 0,00368 ETH da ogni giocatore. 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 / French deduct — here Domain stays a selected da/a partire da-PP (or DAT Affectee packing flagged open), and Reason stays per.

1. ✓ Quanto ha detratto il gioco da ogni giocatore? unit bound
2. ✓ Quanti ETH ha detratto il gioco da ogni giocatore?
3. ✓ Quanto di cosa hanno detratto da ogni giocatore? n and U inside host
4. ✓ In che / in che valuta glielo hanno detratto? U recoding · §7.2
5. ✓ Cosa gli ha detratto l’exchange? bare WHAT · object hijack · §7.2 · detrarre primary
6. ✓ Cosa gli ha addebitato / detratto l’exchange? WH §7.2 surface co-list · addebitare = FEE contrast · detrarre = √DEDUCT
7. * Cosa ha detratto l’exchange 0,001 dell’utente …? LBC · stranded n
8. * Quanto ha detratto l’exchange ETH dell’utente? LBC · U stranded
9. ✓ Da chi / da quali giocatori ha detratto il gioco 0,00368 ETH? WH = Domain
10. ✓ Perché hanno detratto 0,00368 ETH? Reason
11. * A chi hanno detratto 0,00368 ETH? as Domain-ACC / FEE cloth Domain needs da/a partire da · FEE promote is addebitare
12. ✓ Non hanno detratto 0,00368 ETH da ogni giocatore? NegQ · MeasureP cheap associate
13. ✓ Non ne hanno detratto 0,00368? quantity clitic ne · §13.2
14. ✓ Non gliene hanno detratto 0,00368? ne / 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 detrarre. Quantity clitic ne resumes the QP (Romance Group B map); venue clitics track venue, not Domain of loss. Reason-per does not lift a second unit the way charge’s Consideration-per can.

Geometry · detrarre ≠ addebitare ≠ accreditare_FIN ≠ scommettere ≠ destinare

In Il gioco ha detratto 0,00368 ETH da Pat, Pat is Domain of loss and stays inside a da-PP. In Il negozio ha addebitato venti euro a Pat, Pat is Payer and wears DAT beside ACC MeasureP. Shared FROM_SET arithmetic; different Case cloth. That is the FEE-overlap cut this tick is written to keep visible.

• ≠ charge_FEE / addebitare / far pagare / fine. Shared FROM_SET + MeasureP Hom. Split: deduct keeps Domain as da/a partire da-PP; charge_FEE / fine promote Payer/Domain to DAT / ACC (gli ha addebitato venti euro). *Ogni giocatore è stato detratto 0,00368 ETH — use addebitare / far pagare / multare. Live twin: charge-fee-it.html. WH §7.2 co-lists both lemmas; keep √DEDUCT on detrarre.
• ≠ credit_FIN / accreditare. Shared MeasureP. Opposite polarity: deduct = FROM_SET decrement (da/a partire da); credit_FIN = TO_SET increment (a/su/di-MeasureP). credit_FIN has Account clothes; Italian deduct has no productive con-cloth dual (*detrarre ogni giocatore con 0,00368 ETH). Live twin: credit-fin-it.html.
• ≠ bet / scommettere. 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 / destinare / stanziare a. Shared MeasureP packaging available. Split: earmark’s per can be Purpose; allocate’s a is Goal; deduct’s per (when Reason) is high JUSTIFIED_BY. No FROM-loss on earmark / allocate.
• ≠ pay_GIVE / pagare · ≠ vendere / sell. Pay writes MeasureP TO a Recipient (Appl_HAVE). Sell: Recipient HAS goods; Price stays inside per. Deduct: money/value is the ACC MeasureP of the decrement; per aver violato … is Reason, not Price / Consideration.
• ≠ subtract / sottrarre / togliere. Same MeasureP family against a number/account Domain; Reason usually absent. Packaging cousins, not a fifth GF.
• Four pers. Deduct’s per aver violato … = Reason / ground (high). charge_FEE’s per il pasto = Consideration. Sell’s per venti euro = Price. Earmark / allocate keep Purpose readings of per / a. 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  [ il gioco
  (ReasonP)
  ApplP_FROM  [ da  [ ogni giocatore nel dungeon ]
    VP  [ √DEDUCT / √DETRAR-   [ MeasureP  [ Amount 0,00368 ] [ N ETH ] ] ]
  PP_per  [ per  [ aver violato le regole della chat ] ] ]

Packaging (same geometry):
  detrarre (tax / logic / arithmetic hinge)
  prelevare / trattenere (commercial / payroll scout companions)
  — Domain stays da / da parte di / a partire da; Reason stays per
  — addebitare = FEE contrast (DAT Payer), not √DEDUCT primary

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 / DAT promotion of Domain. Putting one in is how the fine / addebitare cloth is written — a different root packaging, not √DEDUCT growing a second object.

Italian assigns ACC to the MeasureP only (default). Domain stays oblique (da/da parte di/a partire da). Reason stays a per-PP. Quantity clitic ne resumes the MeasureP. No reverse DOC. Passive promotes the Measure QP as a whole — never Amount alone, never U alone, never Domain into subject (*Ogni giocatore è stato detratto …), 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 ogni / tutto 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, gioco)
  ∧ DEGREE(e, 0.00368) ∧ UNIT(e, ETH)
  ∧ FROM_SET(e, D) ∧ Hom(e, ⟨0.00368, ETH⟩)
  ∧ JUSTIFIED_BY(e, violare_regole_chat) ]

Underivables (Italian deduct)

1. * Il gioco ha detratto 0,00368 da ogni giocatore. unit unbound
2. * 0,00368 sono stati detratti ETH da ogni giocatore. Amount ≠ separate passive
3. * ETH sono stati detratti 0,00368 da ogni giocatore. U ≠ separate passive
4. * Ogni giocatore nel dungeon è stato detratto 0,00368 ETH. Domain ≠ ACC
5. * Aver violato le regole della chat è stato detratto 0,00368 ETH. Reason ≠ object
6. * Cosa ha detratto l’exchange 0,001 dell’utente? LBC · stranded n
7. * Quanto ha detratto l’exchange ETH dell’utente? LBC · U stranded
8. * A chi hanno detratto 0,00368 ETH? as Domain-ACC Domain needs da/a partire da
9. * Il gioco ha detratto ogni giocatore con 0,00368 ETH. no con-cloth
10. * Il gioco ha detratto 0,00368 ETH a ogni giocatore. as TO-increment a ≠ FROM default
11. * Il tempo ha detratto 0,00368 ETH da ogni giocatore. Voice filter
12. * L’exchange ha detratto acqua dall’utente. wrong-sort mass
13. ✓ institution / contract as Agent-ish: Il contratto intelligente ha detratto 0,001 ETH dall’utente. Initiator fine

Group B packaging · this tick Italian closes Romance deduct

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 Italian deduct only — and it finishes the Group B Romance deduct line (EN+JA+ES+FR+IT). Spanish descontar / deducir is live at deduct-es.html. French déduire / prélever is live at deduct-fr.html. Italian primary is detrarre; watch FEE overlap on surface addebitare (already live as charge_FEE · Italian) — pointed as contrast, not merged. English deduct.html and Japanese deduct-ja.html are the live FROM twins. Italian credit_FIN is the live TO dual — keep the polarity split.

Open items

• English / Japanese / Spanish / French twins. deduct.html, deduct-ja.html, deduct-es.html, and deduct-fr.html are live. Keep Domain as from/kara/de/desde/à partir de/da/a partire da; do not collapse to charge_FEE.
• FEE overlap on addebitare. Already live as charge_FEE · Italian. WH §7.2 co-lists addebitare / detrarre. Keep √DEDUCT on detrarre; Domain stays oblique FROM.
• DAT Affectee packing. WH §7.2 shows Cosa gli ha detratto …? beside da/a partire da Domain. Confirm whether gli/a is high Affectee, optional doubling, or a register path toward FEE — open; do not merge with addebitare.
• detrarre vs prelevare / trattenere productivity. Tax / logic / arithmetic vs payroll / commercial ranking needs controlled elicitation — flagged scout-leaning, not closed. 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 (fare). Site on the making vs on the decrement; Domain never becomes Causee Case under √DEDUCT’s Italian cloth. Romance fare on a ledger verb is usually fare-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-it.html. FEE contrast: live charge-fee-it.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.