Littleton visualizes the results of conveyances like O conveys to A for life, then to B. or Willy Wonka conveys Blackacre to Slughorn, but if Slughorn eats chocolate to Charlie.

To use, type a sequence of one or more conveyances and events in the input box and click "Interpret". The sequence must start by saying who owns the property initially, e.g. O owns Blackacre.

Types of Conveyances

A conveyance consists of the name of the grantor, the word conveys, and one or more grants describing the interests created. A grant must contain the word to, and the name of the grantee, e.g. to Aethelstan. A name consists of one or more words, each of which must start with capital letter, e.g. A, Agatha, or John Doe.

Grant can optionally contain:

Grants can be linked with the words , then or , but if. (The comma is optional but recommended for clarity.) On the one hand, then expressees straightforward succession, as in to A for life, then to B. On the other, but if is used to create executory interests that can divest preceding interests, as in to A, but if the property is used as a school to B. The condition in a but if clause is mandatory.

Parentheses can be placed around any grant or sequence of grants and are useful to resolve ambiguity in the scope of an executory limitation, e.g., (to A for life, then to B), but if C marries to C is different from to A for life, then (to B, but if C marries to C).


Littleton recognizes a limited but flexible set of conditions. Any condition on this list can be used as part of a special limitation (while x or until x), condition precedent (if x), or executory limitation (but if x):

Most conditions can be negated with not, e.g., A and B are not married or A does not graduate, or put in the perfeect tense, e.g., A has drunk alcohol.

Littleton does its best to update the state of title based on its knowledge of conditions. At the simplest level, this involves terminating posseessory interests when they expire: A's death will cause the life estate created by to A for life, then to B to terminate and make B's remainder possessory. Littleton also does its best to update the state of title to reflect possibilities that must eventually or cannot happen. So, for example, B's death will eliminate B's remainder from to A for life, then to B for life, then to C because it can never become possessory. Littleton will make this simplification even if takes place before A's death.


Littleton can calculate the consequences of events like A dies. Events and conveyances can be freely interwoven. Put each event on its own line.

A and B marry. O conveys to A while A is married, then to C. B and A divorce.

Events currently recognized by Littleton include:

Xavier dies. Yolanda and Zelda marry. Yolanda and Zelda divorce. Winnifred reenters. 5 years pass. the property is used as a school. Ahmed graduates. Bethanny has no living descendants.

The passage of time can be any positive integer, e.g. 2 years pass or 19 years pass.

Littleton is capable of limited reasoning about the consequences of events, and will ignore events that are physically or legally impossible. For example it knows that dead people cannot consume alcohol, and that married people cannot marry someone else without first divorcing or becoming widow(er)ed.

Littleton also recognizes generic events and conditions enclosed in parentheses, which it treats as black boxes that match corresponding generic conditions. For example, the event (the Moon explodes). triggers the condition in to A, but if (the Moon explodes) to B because what is betwen the parentheses matches exactly.

Multiple Conveyances

Conveyances can be combined, e.g.:

O conveys to A for life. A conveys to C. O conveys to D while D is married, then to E.

If the grantor is omitted from a conveyance, as in To A for life, then to B., Litteton assumes that the grantor is O. Conveyances can optionally contain the name of a property, as in O conveys Blackacre to P. but the name is ignored.

Naming, Vesting, and the Rule Against Perpetuities

Littleton does its best to name interests according to the system described in the Restatement (First) of Property. It computes a vesting status for every interest, but displays it only for remainders. It also applies the Rule Against Perpetuities to remainders and executory interests, doing its best with its limited knowledge of what is and is not possible in the real world. For example, it knows that the condition precedent if A consumes alcohol must be satisfied or permanently fail within the lifetime of A, but that until the property is used as a farm need not be satisfied within any life in being plus 21 years.