Machine-readable end user license agreement with automated acceptance

A method of electronically representing a first electronic agreement and automatically responding to a subsequent electronic agreement, the method comprising:

• semantically representing at least one term of the first electronic agreement using a machine-readable form, the machine-readable form comprising a logical language including at least one parameter corresponding to the at least one term, at least one logical operator, and a capability to create a logical expression from at least one of the at least one parameter and at least one of the at least one logical operator;
• receiving a term preference indication of a user preference for the at least one term;
• automatically responding to the first electronic agreement including the term preference indication;
• and
• automatically responding to the subsequent electronic agreement including the term preference indication,
• wherein set of terms of the subsequent electronic agreement is deemed to be accepted by the user if a representative logical expression for the set of terms having a parameter for each member of the set of terms is evaluated to produce a result indicative of a user acceptance of the set of terms, the representative logical expression in the machine-readable form.

A computer-readable medium with computer-executable instructions thereon for a logical language for semantically representing a set of terms of an electronic agreement offered to a party, the logical language comprising:

• at least one parameter corresponding to at least one term of the set of terms of the electronic agreement;
• at least one logical operator;
• a capability to create a logical expression from at least one of the at least one parameter and at least one of the at least one logical operator;
• a capability to nest logical expressions;
• and
• a capability to sub-nest logical expressions;
• wherein a portion of the set of terms of the electronic agreement is deemed to be accepted by the party if a representative logical expression in the logical language is evaluated to produce a result indicative of the party's acceptance of the portion, the representative logical expression including a representative parameter for each term in the portion.