Semantics of form-oriented analysis