REASONING ABOUT BIOCHEMICAL COMPOUNDS AND PROCESSES
Many biological questions require reasoning with structure and function. We have begun by developing representations for structures which can be extended in a symmetric manner to functions. Each structure is represented as an arrangement of functional groups in a layered grammar. Expressing the function of these groups will then be equivalent to forming the antigerund of a noun. We illustrate these points with a biochemical example.