deduct · 控除する (kōjo-suru)

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 kara-DP, and Reason is high / outer.

0.00368 ETH = one MeasureP. Orthography / #P morphology is not extra arity. Amount and Denomination are both inner arguments of that object. Composition is V(#P), not V(n)(U). Hom(e, ⟨n,U⟩): the decrement is measured by degree n on scale U. Floating counters under negation still split N from Num+# — they do not split Amount from unit as two verbal sisters (MeasureP_Japanese_Counters).

What Group A Japanese changes is particle cloth. What it does not change is the inventory. Weather still fails Agent-ish. Settlement / destruction is still not entailed. Domain and MeasureP still refuse Double-o. Domain never promotes to ACC the way charge_FEE / fine promote Payer.

Japanese frames · Case clothes

Japanese puts the QP in ACC, Domain in kara, Reason in de / sei-de. Double-o is unused: Domain does not become a second ACC under Neg any more than it does in the declarative. Counters ride the QP (Watanabe #). Primary lemma for the page: 控除する / kōjo-suru.

1. ✓ ゲームはダンジョン内の全プレイヤーから 0.00368 ETH を控除した。 canonical · ACC MeasureP · kara Domain
2. ✓ ゲームは全プレイヤーから 0.00368 ETH を控除しなかったのか。 NegQ · QP object · FROM oblique (§13.1)
3. ✓ 会社は給料から税金を控除した。 value-mass / sortal OK
4. ✓ スマートコントラクトがユーザーから 0.001 ETH を控除した。 Agent-ish = institution / contract · fine
5. ✓ チャットルール違反で、ゲームは全プレイヤーから 0.00368 ETH を控除した。 Reason · de / sei-de high
6. ? ゲームは全プレイヤーから ETH を控除した。 bare U · type / activity · marked
7. * ゲームは全プレイヤーから 0.00368 を控除した。 unit unbound
8. * ゲームは全プレイヤーを 0.00368 ETH を控除した。 no productive Double-o · Domain ≠ ACC
9. * ゲームは全プレイヤーに 0.00368 ETH を控除した。 ni = TO polarity · credit FIN cloth
10. * 天気は全プレイヤーから 0.00368 ETH を控除した。 weather as Agent-ish

A bare negative answer on the canonical NegQ most readily challenges the decrement event or the ACC MeasureP. Challenging the Domain wants that set already under discussion. Negation does not grow a double-object and does not promote Domain to ACC. DECREMENT updates the Domain members’ holdings; it does not entail destruction or house-credit.

MeasureP WH / NegQ · LBC and floating counters

Verbal MeasureP: Amount and Denomination compose one Case object. Whole-#P pied-piping is free under Neg. Amount-only is free when the unit is bound. Left-branch extraction of Amount leaving the unit next to V is still out — same LBC the English deduct map and the credit_FIN / sell notes record. Bare 何 cannot take the unit and leave the degree in situ without Abney-side rescue.

1. ✓ 何を全プレイヤーから控除したのか。 object-WH · wants QP or fee-kind (tesūryō, hoshōkin)
2. ✓ いくら / 何ドルを全プレイヤーから控除したのか。 nan-doru / ikura · ask the pair
3. ✓ 何の通貨で / 何通貨で 0.00368 を控除したのか。 nan-no tsūka-de · U recoding
4. ✓ どれだけの ETH を全プレイヤーから控除したのか。 Amount+unit as one #P
5. ✓ 誰から 0.00368 ETH を控除したのか。 WH = Domain
6. ✓ 誰が全プレイヤーから 0.00368 ETH を控除したのか。 WH = Agent-ish
7. * 何 二十 を全プレイヤーから控除したのか。 *nani nijū · LBC · stranded degree
8. * いくら ETH を全プレイヤーから控除したのか。 LBC-style strand · Amount leaving unit · JA float confirmation open
9. * 天気は全プレイヤーから 0.00368 ETH を控除したのか。 weather ≠ Agent-ish

Superiority ranks Agent-ish > MeasureP > Domain > Reason. Cheap NegQ association tracks the Case object: ACC MeasureP under 控除する. Reason-de does not lift a second unit the way charge’s Consideration can.

Geometry · kōjo ≠ nyūkin ≠ seikyū ≠ uru

In ゲームは全プレイヤーから 0.00368 ETH を控除した, the game writes 0.00368 ETH off each player’s holdings. That is MeasureP DECREMENT FROM a Domain, not ledger increment and not HAVE of goods. The player set is Domain. 0.00368 ETH is MeasureP. Decrement-true holds after the event; destruction / house-credit is not entailed.

• ≠ credit_FIN / 入金する. Shared MeasureP. Opposite polarity: deduct = FROM_SET decrement (kara); credit_FIN = TO_SET increment (ni). Same MeasureP object; opposite Appl direction. Live twin: credit-fin-ja.html. *全プレイヤーに…を控除した fails the polarity cut.
• ≠ charge_FEE / 請求する. Shared FROM_SET + MeasureP Hom. Split: deduct keeps Domain as kara-PP; charge_FEE / fine promote Payer/Domain to ACC or ni-Payer cloth (請求する). *全プレイヤーを 0.00368 ETH を控除した — use fine/charge cloth, not √DEDUCT.
• ≠ bet / 賭ける. 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. Shared MeasureP packaging available on Resource. Split: earmark’s for is Purpose (RESTRICTED_FOR); deduct’s de / sei-de is high Reason (JUSTIFIED_BY). No FROM-loss on earmark.
• ≠ pay_GIVE / 払う · ≠ 売る / sell. Pay writes MeasureP TO a Recipient (Appl_HAVE). Sell: Recipient HAS goods; Price stays inside de. Deduct: money/value is the ACC MeasureP of the decrement; Reason is JUSTIFIED_BY, not Price / Consideration.
• Missing defaults. Destruction, house-credit, and guilt-true are not entailed. 控除しなかったのか is compatible with the ETH never being destroyed — DECREMENT updates Domain holdings only.

English twin pointer: MeasureP ACC / Domain from; no with-cloth; no Domain-ACC promotion. Japanese spells the default as MeasureP o + Domain kara; there is no productive with-flip and no Double-o DOC cloth.

Shells, ApplP, and Case

VoiceP  [ Agent-ishNOM / ga
  vP / √DEDUCT
    ACC / o-marked    MeasureP ⟨n, U⟩   (0.00368 ETH …)
    PP_kara           Domain            (全プレイヤーから)
    (high Reason)     de / sei-de       (チャットルール違反で)
]

Light packaging:
  控除する (kōjo-suru)
  — one decrement geometry; Domain stays oblique

Japanese deduct never assigns four structural Cases. MeasureP is o; Domain is kara. Low Appl_FROM is available (Domain as applied set). No low Appl_HAVE of goods. No ACC promotion of Domain. High Appl / outer Reason is extra when present and is not a listed inner argument of √DEDUCT. The dungeon restrictor lives inside the Domain DP — Abney restrictor, not a verbal Loc sister of √DEDUCT.

Outer CAUSE_G (〜させる) over the deduct root is Type A wrap: outer Neg denies the causing; the causee sits in ni (like a DAT that is not the Domain). Weather still fails as inner Agent-ish. Clitic-climbing analogues under Neg diagnose Type A union only when that outer CAUSE wraps deduct; they do not fuse Domain into ACC.

Omission does not demote MeasureP to a pure adjunct. Selected P-layers are optional in the numeration; they are still arguments when present. The diagnostic is participanthood under Case, binding, and WH — not omitability.

Underivables (Japanese deduct)

1. * 天気は全プレイヤーから 0.00368 ETH を控除しなかったのか。 weather / inanimate as Agent-ish
2. * 上司は天気に全プレイヤーから 0.00368 ETH を控除させなかったのか。 〜させる does not wash Voice filter
3. * ゲームは全プレイヤーを 0.00368 ETH を控除した。 no productive Double-o · Domain ≠ ACC
4. * ゲームは全プレイヤーに 0.00368 ETH を控除した。 ni = TO · credit FIN polarity
5. * ゲームは全プレイヤーから 0.00368 を控除した。 unit unbound
6. * 何 二十 を全プレイヤーから控除したのか。 LBC · stranded degree
7. * ゲームは水をユーザーから控除した。 wrong-sort mass
8. ✓ institution / contract as Agent-ish: スマートコントラクトがユーザーから 0.001 ETH を控除した。 Initiator fine

Group A packaging · this tick Japanese only

Group A (Japanese, Mandarin, Navajo) is the packaging contrast set already used for WH and NegQ on deduct (§7.1 / §13.1). Same hierarchy as English deduct; different host of MeasureP/Domain Case. This tick is Japanese deduct only. Mandarin 把 fronts the whole QP under 没 / 没有; 从 marks Domain; 因为 / 为了 marks Reason — pointed, not deepened. Navajo keeps the unit in the classificatory stem; denomination WH may be stem alternation — predicted, not elicited. English deduct.html is the live FROM twin. Japanese credit_FIN is the live TO dual — keep the polarity split.

Open items

• Mandarin / Romance / Navajo micro-entries. Same Group A–B geometry; 把 / déduire / HANDLE packaging. Deferred — do not invent depth this tick.
• English twin. deduct.html is the live EN micro-entry (from-Domain, MeasureP LBC, Voice filter, NegQ). Keep Domain as from/kara; do not collapse to charge_FEE.
• Floating counters under -nakatta. Confirm float still splits N from Num+# rather than Amount from unit on 控除する — open item already listed in the MeasureP counters note.
• 差し引く / 天引きする companions. Packaging cousins of 控除する; relative naturalness 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 (〜させる). Site on the making vs on the decrement; Domain never becomes Causee Case under √DEDUCT’s Japanese cloth (causee = ni, Domain stays kara).

Corpus filenames

Primary extracts for this micro-entry are Group A Japanese packaging notes in the deduct WH and NegQ papers. Geometry is shared with the English lexical entry. MeasureP float: MeasureP_Japanese_Counters. Increment dual: Lexical_Entry_Credit_Argument_Structure / live credit-fin-ja.html. Text extracts under /tmp/deduct_extracts/; DOCX originals under the Tritransitive lit tree.