SemanticCore
// TODO
