When typing: write the words the grammar needs, even where English leaves them out.

A bare plural or mass noun takes a determiner: write the one you mean
A bare numeral takes a determiner: write the one you mean
A generic a, meaning every member of the kind, is written every: every lie has no legs for a lie has no legs
Only the words of the lexicon can be used: see the lexicon ↗

After loading: a card marked ⇄ has more than one reading; tap it until it shows the one you mean. Then tap Parse & Tag. The derivation is built for you, in normal form. If the sentence still has more than one reading, every reading is shown, the most likely one first.

Tap a card marked ⇄ to change its reading. When every card shows the reading you mean, parse and tag.

Test set

Each sentence is shown as its cards: one card per word, after a few fixed changes.

A generic a is written as every: every lie has no legs.
Some word groups are one card: more than, less than, at least, at most, fewer than.
everyone is two cards: every one; so are nothing, something, ...: no thing, some thing; nobody and everybody are no one and every one. any is not in the lexicon.
A negated auxiliary is two cards: didn't is did not, won't is will not, can't is can not.

Lexicon

Each class pairs a CCG category with a marking-enriched type; every word in the class gets that pair. A word listed in more than one class loads as a switch card (⇄): tap the card to change the reading. The first class listed is the default. The tagger accepts only the words listed here.

Two rows are schemas. In the coordinator row, x ranges over the conjoinable types: t, and the function types whose final result is t. In the negation row, x ranges over the same types and x̄ is x with every marking along its result spine inverted. Both are instantiated at the type of the argument when the derivation is enriched.

Two categories carry a bracketed label: S[adj] for predicative adjectives and S[ng] for present participles. Unlike in CCGbank, the label is not a feature: each is a separate atom that never matches S. So these cards can only be the argument of a copula. They can't end a sentence, be type-raised into, or follow an auxiliary or a relative pronoun.

The copula (is, are, was, were, be) has three readings: with an adjective, with a noun phrase, and with a present participle. The default is the adjective reading, so for fido is a dog or fido is sleeping, switch the card first.