abstractsemantics
