Abstract representation definitions, relation definitions for BOLT project.