1. A computer readable media for instructing a programmable computer to implement a method for declarative specification, the method comprising: receiving an adjustment input through a user interface, the adjustment input indicating a change in a spatial relationship of a first predicate with respect to a second predicate; and altering a declarative specification as a function of the adjustment input.