deduct · descontar / deducir

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/desde-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 Spanish changes is Case cloth (de/desde, por, 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.

Spanish frames · Case clothes

Spanish puts the QP in ACC, Domain in de / desde, Reason in por. There is no DOC cloth and no con-cloth dual of credit_FIN. Primary lemma for the page: descontar (commercial / payroll decrement hinge). Companion deducir wears the same FROM geometry in tax / arithmetic / logic talk — document both; do not invent a sense split.

1. ✓ El juego descontó 0,00368 ETH de cada jugador en la mazmorra por violar las reglas del chat. canonical · ACC MeasureP · de Domain · por Reason · Parse B
2. ✓ El juego descontó 0,00368 ETH de cada jugador. Reason omitted
3. ✓ La empresa descontó dinero de su nómina. value-mass object · payroll hinge
4. ✓ Nómina descontó efectivo / impuestos / intereses / colateral. value-mass · sortal OK
5. ✓ El exchange descontó 0,001 ETH del usuario que intentó usar apalancamiento. Domain relative rides · WH §7.2
6. ✓ Dedujo 0,00368 ETH de cada jugador. deducir companion · same FROM cloth
7. ✓ Dedujo los gastos de la declaración. tax / arithmetic companion
8. ✓ ¿No le descontaron 0,00368 ETH al usuario? DAT Affectee packing beside Domain · scout vs de-Domain default
9. ? El juego descontó ETH de cada jugador. bare U · type / activity · marked
10. * El juego descontó 0,00368 de cada jugador. unit unbound
11. * Cada jugador en la mazmorra fue descontado 0,00368 ETH. Domain ≠ ACC · use cobrar / multar
12. * El juego descontó a cada jugador con 0,00368 ETH. no con-cloth
13. * El juego descontó 0,00368 ETH a cada jugador. as TO-increment a = credit FIN polarity · not FROM default
14. * El exchange descontó agua / arena / consejo del usuario. wrong-sort mass
15. * El tiempo descontó 0,00368 ETH de cada jugador. 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 deduct — here Domain stays a selected de/desde-PP (or DAT Affectee packing flagged open), and Reason stays por.

1. ✓ ¿Cuánto descontó el juego de cada jugador? unit bound
2. ✓ ¿Cuánto ETH descontó el juego de cada jugador?
3. ✓ ¿Cuánto de qué descontaron de cada jugador? n and U inside host
4. ✓ ¿En qué / de qué / en qué moneda se lo descontó? U recoding · §7.2
5. ✓ ¿Qué le descontó / dedujo el exchange al usuario que intentó usar apalancamiento? bare WHAT · object hijack · §7.2
6. * ¿Qué descontó el exchange 0,001 del usuario …? LBC · stranded n
7. * ¿Cuánto descontó el exchange ETH del usuario? LBC · U stranded
8. ✓ ¿De quién / de qué jugadores descontó el juego 0,00368 ETH? WH = Domain
9. ✓ ¿Por qué descontaron 0,00368 ETH? Reason
10. * ¿A quién descontaron 0,00368 ETH? as Domain-ACC / FEE cloth Domain needs de/desde · FEE promote is cobrar
11. ✓ ¿No descontaron 0,00368 ETH de cada jugador? NegQ · MeasureP cheap associate
12. ✓ ¿No se descontaron 0,00368 ETH de cada jugador? impersonal / QP promote
13. ✓ ¿No le descontaron 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 descontar / deducir. Quantity clitic en resumes the QP (Romance Group B map); y tracks venue, not Domain of loss. Reason-por does not lift a second unit the way charge’s Consideration-por can.

Geometry · descontar ≠ cobrar ≠ acreditar_FIN ≠ apostar ≠ destinar

In El juego descontó 0,00368 ETH de Pat, Pat is Domain of loss and stays inside a de-PP. In La tienda le cobró a Pat veinte dólares, Pat is Payer and wears DAT beside ACC MeasureP. Shared FROM_SET arithmetic; different Case cloth.

• ≠ charge_FEE / cobrar / fine. Shared FROM_SET + MeasureP Hom. Split: deduct keeps Domain as de/desde-PP; charge_FEE / fine promote Payer/Domain to DAT / ACC (le cobró a Pat veinte). *Cada jugador fue descontado 0,00368 ETH — use cobrar / multar.
• ≠ credit_FIN / acreditar / abonar. Shared MeasureP. Opposite polarity: deduct = FROM_SET decrement (de/desde); credit_FIN = TO_SET increment (a/en/con). credit_FIN has a con-cloth; Spanish deduct has none (*descontar a cada jugador con 0,00368 ETH). Live twin: credit-fin-es.html.
• ≠ bet / apostar. 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 / asignar / destinar. Shared MeasureP packaging available. Split: earmark’s para is Purpose; allocate’s a is Goal; deduct’s por is high Reason (JUSTIFIED_BY). No FROM-loss on earmark / allocate.
• ≠ pay_GIVE / pagar · ≠ vender / sell. Pay writes MeasureP TO a Recipient (Appl_HAVE). Sell: Recipient HAS goods; Price stays inside por. Deduct: money/value is the ACC MeasureP of the decrement; por violar … is Reason, not Price / Consideration.
• ≠ subtract / restar / sustraer. Same MeasureP family against a number/account Domain; Reason usually absent. Packaging cousins, not a fifth GF.
• Four pors. Deduct’s por violar … = Reason / ground (high). charge_FEE’s por la comida = Consideration. Sell’s por veinte dólares = Price. Earmark / allocate keep para for Purpose. 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  [ el juego
  (ReasonP)
  ApplP_FROM  [ de  [ cada jugador en la mazmorra ]
    VP  [ √DEDUCT / √DESCONT-   [ MeasureP  [ Amount 0,00368 ] [ N ETH ] ] ]
  PP_por  [ por  [ violar las reglas del chat ] ] ]

Packaging (same geometry):
  descontar (payroll / commercial hinge)
  deducir (tax / arithmetic / logic companion)
  — Domain stays de / desde; Reason stays por

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 / cobrar cloth is written — a different root packaging, not √DEDUCT growing a second object.

Spanish assigns ACC to the MeasureP only (default). Domain stays oblique (de/desde). Reason stays a por-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 (*Cada jugador fue descontado …), never Reason.

Proto-roles are shell-local. Agent-ish is a partial Proto-Agent (game, payroll, Hacienda, auto-mod, protocol — institutional cause, not required volition). Domain members are Proto-Source after cada / todo 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, juego)
  ∧ DEGREE(e, 0.00368) ∧ UNIT(e, ETH)
  ∧ FROM_SET(e, D) ∧ Hom(e, ⟨0.00368, ETH⟩)
  ∧ JUSTIFIED_BY(e, violar_reglas_chat) ]

Underivables (Spanish deduct)

1. * El juego descontó 0,00368 de cada jugador. unit unbound
2. * 0,00368 fueron descontados ETH de cada jugador. Amount ≠ separate passive
3. * ETH fueron descontados 0,00368 de cada jugador. U ≠ separate passive
4. * Cada jugador en la mazmorra fue descontado 0,00368 ETH. Domain ≠ ACC
5. * Violar las reglas del chat fue descontado 0,00368 ETH. Reason ≠ object
6. * ¿Qué descontó el exchange 0,001 del usuario? LBC · stranded n
7. * ¿Cuánto descontó el exchange ETH del usuario? LBC · U stranded
8. * ¿A quién descontaron 0,00368 ETH? as Domain-ACC Domain needs de/desde
9. * El juego descontó a cada jugador con 0,00368 ETH. no con-cloth
10. * El juego descontó 0,00368 ETH a cada jugador. as TO-increment a ≠ FROM default
11. * El tiempo descontó 0,00368 ETH de cada jugador. Voice filter
12. * El exchange descontó agua del usuario. wrong-sort mass
13. ✓ institution / contract as Agent-ish: El contrato inteligente descontó 0,001 ETH del usuario. Initiator fine

Group B packaging · this tick Spanish 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 Spanish deduct only. French déduire / prélever: quantity clitic en; Domain de / à partir de; Reason pour — pointed, not deepened. Italian detrarre / addebitare: watch FEE overlap on surface addebitare (already live as charge_FEE · Italian) — pointed, not deepened. English deduct.html and Japanese deduct-ja.html are the live FROM twins. Spanish credit_FIN is the live TO dual — keep the polarity split.

Open items

• Italian micro-entry. Now live at deduct-it.html (detrarre). Watch Italian addebitare FEE overlap. French twin live: deduct-fr.html.
• English / Japanese twins. deduct.html and deduct-ja.html are live. Keep Domain as from/kara/de/desde; do not collapse to charge_FEE.
• DAT Affectee packing. WH §7.2 shows ¿Qué le descontó … al usuario …? beside de/desde Domain. Confirm whether le/a is high Affectee, optional doubling, or a register path toward FEE — open; do not merge with cobrar.
• descontar vs deducir productivity. Payroll / commercial vs tax / logic ranking needs controlled elicitation — flagged scout-leaning, not closed.
• Polish GEN-neg on odjąć / potrącić — GEN on the QP, not a stranded unit. Companion elicitation (Group C).
• Outer CAUSE (hacer). Site on the making vs on the decrement; Domain never becomes Causee Case under √DEDUCT’s Spanish cloth.
• 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-es.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.