Symbol: KIND_ABSTRACT