Semestic AST