Files & site map
Everything COMPOSE publishes, in one place.
Worksheet files
Every built-in worksheet is a plain .compose.json file — a
self-contained problem set (domain, lexicon, rules, trees, targets, and the
reading notes). These same files are what the app loads when
you unlock a collection with a code. Load one by hand on the starter page,
adapt it in the app's Author → Worksheet editor (no account needed), or
use it as the template for your own set. The format is documented in
FORMAT.md.
Whole-book bundles
| File | Contents |
|---|---|
| coppock-champollion.compose-bundle.json | All Coppock & Champollion worksheets (§6–§13) in one bundle |
| heim-kratzer.compose-bundle.json | All Heim & Kratzer worksheets in one bundle |
Coppock & Champollion — Invitation to Formal Semantics
| File | Worksheet | Derivations |
|---|---|---|
| ch6.1-fa.compose.json | Function Application (§6.1–6.3) | 15 |
| ch6.2-quant.compose.json | Quantifiers (§6.4) | 12 |
| ch7.1-adj.compose.json | Adjectives & Predicate Modification (§7.2) | 9 |
| ch7.2-adjts.compose.json | Adjective Type-Shifting: MOD (§7.2) | 9 |
| ch7.3-relcl.compose.json | Relative Clauses (§7.3) | 9 |
| ch7.4-objraise.compose.json | Quantifiers in Object Position (§7.4) | 6 |
| ch7.5-objts.compose.json | Object Type-Shifting: RaiseO/S (§7.4.2) | 6 |
| ch7.6-pron.compose.json | Pronouns & Binding (§7.5) | 6 |
| ch8.1-defn.compose.json | Definite Descriptions (§8.1–8.2) | 12 |
| ch8.4-definedness.compose.json | Definedness Conditions: the ∂ operator (§8.4) | 6 |
| ch10-coord.compose.json | 10.1 Coordination | 10 |
| ch10-cumulative.compose.json | 10.4 Cumulative Readings | 4 |
| ch10-lift.compose.json | 10.1 DP Coordination & Montague Lift | 5 |
| ch10-mereology.compose.json | 10.2 Mereology — Sums and Parthood | 9 |
| ch10-plural.compose.json | 10.3 Plurals & the Star Operator | 14 |
| ch10.5-fragment.compose.json | 10.5 The Full Fragment (L∗ with starred verbs) | 6 |
| ch11.1-dav.compose.json | Davidsonian Event Semantics (§11.1–11.2) | 18 |
| ch11.3-neodav.compose.json | Neo-Davidsonian Event Semantics (§11.3) | 21 |
| ch11.4-continuation.compose.json | Event Quantifiers — the Continuation Approach (§11.4–11.6) | 17 |
| ch11.5-conjneg.compose.json | Conjunction & Negation in Event Semantics (§11.5–11.6) | 9 |
| ch12.1-times.compose.json | Tense (§12.2.2.4) | 9 |
| ch12.2-aspects.compose.json | The Perfect (§12.2.2.5) | 3 |
| ch12.3-future.compose.json | The Future: WOLL, will & would (§12.2.2.4) | 5 |
| ch13.1-worlds.compose.json | World-Indexed Predicates (§13.4) | 9 |
| ch13.2-modals.compose.json | Modals: Necessity & Possibility (§13.4.4) | 8 |
| ch13.3-intensional.compose.json | Intensional Transitive Verbs (§13.4.4) | 6 |
| ch13.4-attitudes.compose.json | Propositional Attitudes (§13.5.2) | 7 |
| ch13.5-dere.compose.json | De dicto vs. De re (§13.6) | 9 |
| ch13.6-worlds-times.compose.json | Worlds & Times Combined (§12–13) | 6 |
| ch13.7-haveto.compose.json | Contextual Modal Base & Presupposition: have to (§13.5.1) | 6 |
Heim & Kratzer — Semantics in Generative Grammar
| File | Worksheet | Derivations |
|---|---|---|
| hk1-conventions.compose.json | Conventions: Types, ⟦·⟧, and =1 (§§1–2) | 3 |
| hk2-fa.compose.json | Function Application & Semantic Types (§2.1–2.4) | 9 |
| hk4-definites.compose.json | Predicates, Modifiers & the Definite Article (§4.3–4.5) | 7 |
| hk5-relatives.compose.json | Relative Clauses & Predicate Abstraction (§5.1–5.3) | 9 |
| hk6-quantifiers.compose.json | Quantifiers: Their Semantic Type (§6.3–6.4, §6.7) | 9 |
| hk7-quantification.compose.json | Quantification & Grammar (§7.1–7.3, §7.5) | 10 |
| hk9-pronouns.compose.json | Bound & Referential Pronouns (§9.1–9.2) | 7 |
| hk12-intensions.compose.json | First Steps Towards an Intensional Semantics (§12.1–12.3) | 7 |
Classic papers
| File | Worksheet | Derivations |
|---|---|---|
| barwise-cooper.compose.json | Barwise & Cooper 1981 — Generalized Quantifiers and Natural Language | 10 |
| davidson-events.compose.json | Davidson 1967 — The Logical Form of Action Sentences | 4 |
| krifka-telicity.compose.json | Krifka 1998 — The Origins of Telicity | 7 |
| link-plurals.compose.json | Link 1983 — The Logical Analysis of Plurals and Mass Terms | 9 |
| montague-ptq.compose.json | Montague's PTQ · A — The Extensional Core | 10 |
| montague-ptq-int.compose.json | Montague's PTQ · B — The Intensional Fragment (TY2) | 7 |
| partee-rooth-conj.compose.json | Partee & Rooth 1983 — Generalized Conjunction | 4 |
| partee-triangle.compose.json | Partee 1986 — The Type-Shifting Triangle | 10 |
Site map
- / — the app: sample worksheet, unlock codes, the whole library on demand
- Coppock & Champollion in the app (code
KT6WF4) · Heim & Kratzer (codeCETGZ4) · Classic papers (codeQIPYVM) - /guide — instructor guide with screenshots: navigation, authoring, sharing codes, hosting
- /help — student reference: rules, symbols, grading · /help/guides — worked walkthroughs
- /dash — instructor dashboard (invite-code registration): host your own versions
- /about — citation, credits, and how COMPOSE works
- /files — this page
Old bookmarks to /cc, /hk, /papers, their chapter pages and /editor redirect into the app and open the same content there.
COMPOSE v1.3.0 · how to cite · source on GitHub