Proof Automation in the Theory of Finite Sets and Finite Set Relation Algebra

{log} ('setlog') is a satisfiability solver for formulas of the theory of finite sets and finite set relation algebra (FSTRA). As such, it can be used as an automated theorem prover (ATP) for this theory. {log} is able to automatically prove a number of FSTRA theorems, but not all of them. Nevertheless, we have observed that many theorems that {log} cannot automatically prove can be divided into a few subgoals automatically dischargeable by {log}. The purpose of this work is to present a prototype interactive theorem prover (ITP), called {log}-ITP, providing evidence that a proper integration of {log} into world-class ITP's can deliver a great deal of proof automation concerning FSTRA. An empirical evaluation based on 210 theorems from the TPTP and Coq's SSReflect libraries shows a noticeable reduction in the size and complexity of the proofs with respect to Coq

The Drosophila insulin-degrading enzyme restricts growth by modulating the PI3K pathway in a cell-autonomous manner

Mammalian insulin-degrading enzyme (IDE) cleaves insulin, among other peptidic substrates, but its function in insulin signaling is elusive. We use the Drosophila system to define the function of IDE in the regulation of growth and metabolism. We find that either loss or gain of function of Drosophila IDE (dIDE) can restrict growth in a cell-autonomous manner by affecting both cell size and cell number. dIDE can modulate Drosophila insulin-like peptide 2 levels, thereby restricting activation of the phosphatidylinositol-3-phosphate kinase pathway and promoting activation of Drosophila forkhead box, subgroup O transcription factor. Larvae reared in high sucrose exhibit delayed developmental timing due to insulin resistance. We find that dIDE loss of function exacerbates this phenotype and that mutants display increased levels of circulating sugar, along with augmented expression of a lipid biosynthesis marker. We propose that dIDE is a modulator of insulin signaling and that its loss of function favors insulin resistance, a hallmark of diabetes mellitus type II.Fil: Galagovsky, Diego. Fundación Instituto Leloir; ArgentinaFil: Katz, Maximiliano Javier. Fundación Instituto Leloir; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas. Oficina de Coordinación Administrativa Parque Centenario. Instituto de Investigaciones Bioquimicas de Buenos Aires; ArgentinaFil: Acevedo, Julieta Maria. Fundación Instituto Leloir; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas. Oficina de Coordinación Administrativa Parque Centenario. Instituto de Investigaciones Bioquimicas de Buenos Aires; ArgentinaFil: Sorianello, Eleonora Mariana. Consejo Nacional de Investigaciones Científicas y Técnicas. Oficina de Coordinación Administrativa Parque Centenario. Instituto de Investigaciones Bioquimicas de Buenos Aires; Argentina. Fundación Instituto Leloir; ArgentinaFil: Glavic, Alvaro. Universidad de Chile. Facultad de Ciencias. Centro FONDAP de Regulación del Genoma; ChileFil: Wappner, Pablo. Fundación Instituto Leloir; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas. Oficina de Coordinación Administrativa Parque Centenario. Instituto de Investigaciones Bioquimicas de Buenos Aires; Argentina. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales. Departamento de Fisiología, Biología Molecular y Celular; Argentin

Musashi mediates translational repression of the Drosophila hypoxia inducible factor.

Adaptation to hypoxia depends on a conserved α/β heterodimeric transcription factor called Hypoxia Inducible Factor (HIF), whose α-subunit is regulated by oxygen through different concurrent mechanisms. In this study, we have identified the RNA binding protein dMusashi, as a negative regulator of the fly HIF homologue Sima. Genetic interaction assays suggested that dMusashi participates of the HIF pathway, and molecular studies carried out in Drosophila cell cultures showed that dMusashi recognizes a Musashi Binding Element in the 3' UTR of the HIFα transcript, thereby mediating its translational repression in normoxia. In hypoxic conditions dMusashi is downregulated, lifting HIFα repression and contributing to trigger HIF-dependent gene expression. Analysis performed in mouse brains revealed that murine Msi1 protein physically interacts with HIF-1α transcript, suggesting that the regulation of HIF by Msi might be conserved in mammalian systems. Thus, Musashi is a novel regulator of HIF that inhibits responses to hypoxia specifically when oxygen is available.Fil: Bertolin, Agustina Paola. Consejo Nacional de Investigaciones Científicas y Técnicas. Oficina de Coordinación Administrativa Parque Centenario. Instituto de Investigaciones Bioquímicas de Buenos Aires. Fundación Instituto Leloir. Instituto de Investigaciones Bioquímicas de Buenos Aires; ArgentinaFil: Katz, Maximiliano Javier. Consejo Nacional de Investigaciones Científicas y Técnicas. Oficina de Coordinación Administrativa Parque Centenario. Instituto de Investigaciones Bioquímicas de Buenos Aires. Fundación Instituto Leloir. Instituto de Investigaciones Bioquímicas de Buenos Aires; ArgentinaFil: Yano, Masato. Niigata University; JapónFil: Pozzi, María Berta. Consejo Nacional de Investigaciones Científicas y Técnicas. Oficina de Coordinación Administrativa Ciudad Universitaria. Instituto de Fisiología, Biología Molecular y Neurociencias. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales. Instituto de Fisiología, Biología Molecular y Neurociencias; Argentina. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales. Departamento de Fisiología, Biología Molecular y Celular; ArgentinaFil: Acevedo, Julieta María. Consejo Nacional de Investigaciones Científicas y Técnicas. Oficina de Coordinación Administrativa Parque Centenario. Instituto de Investigaciones Bioquímicas de Buenos Aires. Fundación Instituto Leloir. Instituto de Investigaciones Bioquímicas de Buenos Aires; ArgentinaFil: Blanco Obregón, Dalmiro Manuel. Consejo Nacional de Investigaciones Científicas y Técnicas. Oficina de Coordinación Administrativa Parque Centenario. Instituto de Investigaciones Bioquímicas de Buenos Aires. Fundación Instituto Leloir. Instituto de Investigaciones Bioquímicas de Buenos Aires; ArgentinaFil: Gándara, Lautaro. Consejo Nacional de Investigaciones Científicas y Técnicas. Oficina de Coordinación Administrativa Parque Centenario. Instituto de Investigaciones Bioquímicas de Buenos Aires. Fundación Instituto Leloir. Instituto de Investigaciones Bioquímicas de Buenos Aires; ArgentinaFil: Sorianello, Eleonora Mariana. Consejo Nacional de Investigaciones Científicas y Técnicas. Oficina de Coordinación Administrativa Parque Centenario. Instituto de Investigaciones Bioquímicas de Buenos Aires. Fundación Instituto Leloir. Instituto de Investigaciones Bioquímicas de Buenos Aires; ArgentinaFil: Kanda, Hiroshi. Keio University School of Medicine; JapónFil: Okano, Hideyuki. Keio University School of Medicine; JapónFil: Srebrow, Anabella. Consejo Nacional de Investigaciones Científicas y Técnicas. Oficina de Coordinación Administrativa Ciudad Universitaria. Instituto de Fisiología, Biología Molecular y Neurociencias. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales. Instituto de Fisiología, Biología Molecular y Neurociencias; Argentina. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales. Departamento de Fisiología, Biología Molecular y Celular; ArgentinaFil: Wappner, Pablo. Consejo Nacional de Investigaciones Científicas y Técnicas. Oficina de Coordinación Administrativa Parque Centenario. Instituto de Investigaciones Bioquímicas de Buenos Aires. Fundación Instituto Leloir. Instituto de Investigaciones Bioquímicas de Buenos Aires; Argentina. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales. Departamento de Fisiología, Biología Molecular y Celular; Argentin

Mice Deficient in Ribosomal Protein S6 Phosphorylation Suffer from Muscle Weakness that Reflects a Growth Defect and Energy Deficit

BACKGROUND: Mice, whose ribosomal protein S6 cannot be phosphorylated due to replacement of all five phosphorylatable serine residues by alanines (rpS6(P-/-)), are viable and fertile. However, phenotypic characterization of these mice and embryo fibroblasts derived from them, has established the role of these modifications in the regulation of the size of several cell types, as well as pancreatic beta-cell function and glucose homeostasis. A relatively passive behavior of these mice has raised the possibility that they suffer from muscle weakness, which has, indeed, been confirmed by a variety of physical performance tests. METHODOLOGY/PRINCIPAL FINDINGS: A large variety of experimental methodologies, including morphometric measurements of histological preparations, high throughput proteomic analysis, positron emission tomography (PET) and numerous biochemical assays, were used in an attempt to establish the mechanism underlying the relative weakness of rpS6(P-/-) muscles. Collectively, these experiments have demonstrated that the physical inferiority appears to result from two defects: a) a decrease in total muscle mass that reflects impaired growth, rather than aberrant differentiation of myofibers, as well as a diminished abundance of contractile proteins; and b) a reduced content of ATP and phosphocreatine, two readily available energy sources. The abundance of three mitochondrial proteins has been shown to diminish in the knockin mouse. However, the apparent energy deficiency in this genotype does not result from a lower mitochondrial mass or compromised activity of enzymes of the oxidative phosphorylation, nor does it reflect a decline in insulin-dependent glucose uptake, or diminution in storage of glycogen or triacylglycerol (TG) in the muscle. CONCLUSIONS/SIGNIFICANCE: This study establishes rpS6 phosphorylation as a determinant of muscle strength through its role in regulation of myofiber growth and energy content. Interestingly, a similar role has been assigned for ribosomal protein S6 kinase 1, even though it regulates myoblast growth in an rpS6 phosphorylation-independent fashion

Conditioning Factors for High Cardiovascular Risk in Patients with Cushing's Syndrome

Objective: To characterize the alterations in carbohydrate and lipoprotein metabolism, to evaluate markers of lipoprotein functionality, and to identify the presence of novel atherogenic risk factors in patients with Cushing syndrome (CS) in comparison with sex- and age-matched controls. Methods: In an open, cross-sectional study, 32 nontreated patients with active CS were consecutively recruited from the Endocrinology Service at “José de San Martín” Clinical Hospital, University of Buenos Aires, Argentina, between April 11, 2010 and December 11, 2012. The patients were compared with sex- and age-matched controls. Results: Versus controls, patients with CS presented with excess weight, central obesity, and hypercortisolism. They also exhibited an insulin-resistant state, with high resistin levels (median [interquartile range], 16 [10 to 22] ng/mL versus 6 [5 to 9] ng/mL; P<.0001), a more atherogenic lipoprotein profile, high oxidized low-density lipoprotein levels (oxLDL; mean ± SD, 100 ± 31 U/L versus 75 ± 32 U/L; P<.05) and high sensitive C-reactive protein levels (median [interquartile range], 1.2 [0.6 to 3.1] mg/L versus 0.6 [0.3 to 1.1] mg/L; P<.05), and increased leukocyte count (mean ± SD, 9.5 ± 2.6 × 103 cells/μL versus 6.5 ± 1.4 × 103 cells/μL; P<.0001). Multivariate analyses showed that the increase in waist circumference was associated with both the diagnosis of CS and the degree of insulin resistance. Resistin concentration was related to a greater extent to the diagnosis of CS than to homeostasis model assessment–insulin resistance. Triglyceride and oxLDL levels were only significantly associated with the diagnosis of CS. Conclusion: Hypercortisolism is related to the increase observed in triglycerides and oxLDL levels, and, in combination with insulin resistance, acts to increase waist circumference and amplify the inflammatory process, key factors for the development of cardiovascular disease.Fil: Boero, Laura. Universidad de Buenos Aires. Facultad de Farmacia y Bioquímica. Departamento de Bioquímica Clínica; ArgentinaFil: Manavela, Marcos. Universidad de Buenos Aires. Facultad de Medicina. Hospital de Clínicas General San Martín; ArgentinaFil: Botta, Eliana Elizabeth. Universidad de Buenos Aires. Facultad de Farmacia y Bioquímica. Departamento de Bioquímica Clínica; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas; ArgentinaFil: Mallea Gil, Maria Susana. Ministerio de Defensa. Ejército Argentino. Hospital Militar Central Cirujano Mayor ; ArgentinaFil: Katz, Débora. Fundación para la Lucha contra las Enfermedades Neurológicas de la Infancia; ArgentinaFil: Meroño, Tomás. Universidad de Buenos Aires. Facultad de Farmacia y Bioquímica. Departamento de Bioquímica Clínica; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas; ArgentinaFil: Tetzlaff, Walter Francisco. Universidad de Buenos Aires. Facultad de Farmacia y Bioquímica. Departamento de Bioquímica Clínica; ArgentinaFil: Martin, Maximiliano Emanuel. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina. Universidad de Buenos Aires. Facultad de Farmacia y Bioquímica. Departamento de Bioquímica Clínica; ArgentinaFil: Gomez Rosso, Leonardo Adrián. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina. Universidad de Buenos Aires. Facultad de Farmacia y Bioquímica. Departamento de Bioquímica Clínica; ArgentinaFil: Danilowicz, Karina. Universidad de Buenos Aires. Facultad de Medicina. Hospital de Clínicas General San Martín; ArgentinaFil: Brites, Fernando Daniel. Universidad de Buenos Aires. Facultad de Farmacia y Bioquímica. Departamento de Bioquímica Clínica; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentin

Sudestada1, a Drosophila ribosomal prolyl-hydroxylase required for mRNA translation, cell homeostasis, and organ growth

Genome sequences predict the presence of many 2-oxoglutarate (2OG)-dependent oxygenases of unknown biochemical and biological functions in Drosophila. Ribosomal protein hydroxylation is emerging as an important 2OG oxygenase catalyzed pathway, but its biological functions are unclear. We report investigations on the function of Sudestada1 (Sud1), a Drosophila ribosomal oxygenase. As with its human and yeast homologs, OGFOD1 and Tpa1p, respectively, we identified Sud1 to catalyze prolyl-hydroxylation of the small ribosomal subunit protein RPS23. Like OGFOD1, Sud1 catalyzes a single prolyl-hydroxylation of RPS23 in contrast to yeast Tpa1p, where Pro-64 dihydroxylation is observed. RNAi-mediated Sud1 knockdown hinders normal growth in different Drosophila tissues. Growth impairment originates from both reduction of cell size and diminution of the number of cells and correlates with impaired translation efficiency and activation of the unfolded protein response in the endoplasmic reticulum. This is accompanied by phosphorylation of eIF2α and concomitant formation of stress granules, as well as promotion of autophagy and apoptosis. These observations, together with those on enzyme homologs described in the companion articles, reveal conserved biochemical and biological roles for a widely distributed ribosomal oxygenase.Fil: Katz, Maximiliano Javier. Fundación Instituto Leloir; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas. Oficina de Coordinación Administrativa Parque Centenario. Instituto de Investigaciones Bioquimicas de Buenos Aires; ArgentinaFil: Acevedo, Julieta Maria. Consejo Nacional de Investigaciones Científicas y Técnicas. Oficina de Coordinación Administrativa Parque Centenario. Instituto de Investigaciones Bioquimicas de Buenos Aires; Argentina. Fundación Instituto Leloir; ArgentinaFil: Loenarz, Christoph. University of Oxford; Reino UnidoFil: Galagovsky, Diego. Consejo Nacional de Investigaciones Científicas y Técnicas. Oficina de Coordinación Administrativa Parque Centenario. Instituto de Investigaciones Bioquimicas de Buenos Aires; Argentina. Fundación Instituto Leloir; ArgentinaFil: Liu Yi, Phebee. University Of Oxford; Reino UnidoFil: Pérez, Marcelo. Fundación Instituto Leloir; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas. Oficina de Coordinación Administrativa Parque Centenario. Instituto de Investigaciones Bioquimicas de Buenos Aires; ArgentinaFil: Thalhammer, Armin. University of Oxford; Reino UnidoFil: Sekirnik, Rok. University Of Oxford; Reino UnidoFil: Ge, Wei. University of Oxford; Reino UnidoFil: Melani, Mariana. Consejo Nacional de Investigaciones Científicas y Técnicas. Oficina de Coordinación Administrativa Parque Centenario. Instituto de Investigaciones Bioquimicas de Buenos Aires; Argentina. Fundación Instituto Leloir; ArgentinaFil: Thomas, Maria Gabriela. Fundación Instituto Leloir; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas. Oficina de Coordinación Administrativa Parque Centenario. Instituto de Investigaciones Bioquimicas de Buenos Aires; ArgentinaFil: Simonetta, Sergio Hernan. Consejo Nacional de Investigaciones Científicas y Técnicas. Oficina de Coordinación Administrativa Parque Centenario. Instituto de Investigaciones Bioquimicas de Buenos Aires; Argentina. Fundación Instituto Leloir; ArgentinaFil: Boccaccio, Graciela Lidia. Consejo Nacional de Investigaciones Científicas y Técnicas. Oficina de Coordinación Administrativa Parque Centenario. Instituto de Investigaciones Bioquimicas de Buenos Aires; Argentina. Fundación Instituto Leloir; Argentina. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales. Departamento de Fisiología, Biología Molecular y Celular; ArgentinaFil: Schofield, Christoper J. University of Oxford; Reino UnidoFil: Cockman, Matthew E. University of Oxford; Reino UnidoFil: Ratcliffe, Peter J. University of Oxford; Reino UnidoFil: Wappner, Pablo. Fundación Instituto Leloir; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas. Oficina de Coordinación Administrativa Parque Centenario. Instituto de Investigaciones Bioquimicas de Buenos Aires; Argentina. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales. Departamento de Fisiología, Biología Molecular y Celular; Argentin

Sudestada1, a Drosophila ribosomal prolyl-hydroxylase required for mRNA translation, cell homeostasis, and organ growth

Genome sequences predict the presence of many 2-oxoglutarate (2OG)-dependent oxygenases of unknown biochemical and biological functions in Drosophila. Ribosomal protein hydroxylation is emerging as an important 2OG oxygenase catalyzed pathway, but its biological functions are unclear. We report investigations on the function of Sudestada1 (Sud1), a Drosophila ribosomal oxygenase. As with its human and yeast homologs, OGFOD1 and Tpa1p, respectively, we identified Sud1 to catalyze prolyl-hydroxylation of the small ribosomal subunit protein RPS23. Like OGFOD1, Sud1 catalyzes a single prolyl-hydroxylation of RPS23 in contrast to yeast Tpa1p, where Pro-64 dihydroxylation is observed. RNAi-mediated Sud1 knockdown hinders normal growth in different Drosophila tissues. Growth impairment originates from both reduction of cell size and diminution of the number of cells and correlates with impaired translation efficiency and activation of the unfolded protein response in the endoplasmic reticulum. This is accompanied by phosphorylation of eIF2α and concomitant formation of stress granules, as well as promotion of autophagy and apoptosis. These observations, together with those on enzyme homologs described in the companion articles, reveal conserved biochemical and biological roles for a widely distributed ribosomal oxygenase.Fil: Katz, Maximiliano Javier. Fundación Instituto Leloir; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas. Oficina de Coordinación Administrativa Parque Centenario. Instituto de Investigaciones Bioquimicas de Buenos Aires; ArgentinaFil: Acevedo, Julieta Maria. Consejo Nacional de Investigaciones Científicas y Técnicas. Oficina de Coordinación Administrativa Parque Centenario. Instituto de Investigaciones Bioquimicas de Buenos Aires; Argentina. Fundación Instituto Leloir; ArgentinaFil: Loenarz, Christoph. University of Oxford; Reino UnidoFil: Galagovsky, Diego. Consejo Nacional de Investigaciones Científicas y Técnicas. Oficina de Coordinación Administrativa Parque Centenario. Instituto de Investigaciones Bioquimicas de Buenos Aires; Argentina. Fundación Instituto Leloir; ArgentinaFil: Liu Yi, Phebee. University Of Oxford; Reino UnidoFil: Pérez, Marcelo. Fundación Instituto Leloir; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas. Oficina de Coordinación Administrativa Parque Centenario. Instituto de Investigaciones Bioquimicas de Buenos Aires; ArgentinaFil: Thalhammer, Armin. University of Oxford; Reino UnidoFil: Sekirnik, Rok. University Of Oxford; Reino UnidoFil: Ge, Wei. University of Oxford; Reino UnidoFil: Melani, Mariana. Consejo Nacional de Investigaciones Científicas y Técnicas. Oficina de Coordinación Administrativa Parque Centenario. Instituto de Investigaciones Bioquimicas de Buenos Aires; Argentina. Fundación Instituto Leloir; ArgentinaFil: Thomas, Maria Gabriela. Fundación Instituto Leloir; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas. Oficina de Coordinación Administrativa Parque Centenario. Instituto de Investigaciones Bioquimicas de Buenos Aires; ArgentinaFil: Simonetta, Sergio Hernan. Consejo Nacional de Investigaciones Científicas y Técnicas. Oficina de Coordinación Administrativa Parque Centenario. Instituto de Investigaciones Bioquimicas de Buenos Aires; Argentina. Fundación Instituto Leloir; ArgentinaFil: Boccaccio, Graciela Lidia. Consejo Nacional de Investigaciones Científicas y Técnicas. Oficina de Coordinación Administrativa Parque Centenario. Instituto de Investigaciones Bioquimicas de Buenos Aires; Argentina. Fundación Instituto Leloir; Argentina. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales. Departamento de Fisiología, Biología Molecular y Celular; ArgentinaFil: Schofield, Christoper J. University of Oxford; Reino UnidoFil: Cockman, Matthew E. University of Oxford; Reino UnidoFil: Ratcliffe, Peter J. University of Oxford; Reino UnidoFil: Wappner, Pablo. Fundación Instituto Leloir; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas. Oficina de Coordinación Administrativa Parque Centenario. Instituto de Investigaciones Bioquimicas de Buenos Aires; Argentina. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales. Departamento de Fisiología, Biología Molecular y Celular; Argentin

Mice deficient in ribosomal protein S6 phosphorylation suffer from muscle weakness that reflects a growth defect and energy deficit. PLoS One

Abstract Background: Mice, whose ribosomal protein S6 cannot be phosphorylated due to replacement of all five phosphorylatable serine residues by alanines (rpS6 P2/2 ), are viable and fertile. However, phenotypic characterization of these mice and embryo fibroblasts derived from them, has established the role of these modifications in the regulation of the size of several cell types, as well as pancreatic b-cell function and glucose homeostasis. A relatively passive behavior of these mice has raised the possibility that they suffer from muscle weakness, which has, indeed, been confirmed by a variety of physical performance tests

Neutrino Physics from Charged Higgs and Slepton Associated Production in AMSB

In the Minimal Supersymmetric Standard Model with bilinear R-Parity violation, terms that violate R-Parity and lepton number are introduced in the superpotential, and sneutrino vacuum expectation values are induced. As a result, neutrino masses and mixing angles are generated via a low energy see-saw mechanism. We show that this model embedded into an anomaly mediated supersymmetry breaking scenario is testable at a linear collider using charged Higgs boson production in association with a stau. This is possible in regions of parameter space where the charged Higgs and stau have similar mass, producing an enhancement of the charged scalar mixing angles. We show that the bilinear parameter and the sneutrino vev can be determined from charged scalar observables, and estimate the precision of this determination.Comment: 21 pages, including 8 figure

The Jumonji-C oxygenase JMJD7 catalyzes (3S)-lysyl hydroxylation of TRAFAC GTPases

Biochemical, structural and cellular studies reveal Jumonji-C (JmjC) domain-containing 7 (JMJD7) to be a 2-oxoglutarate (2OG)-dependent oxygenase that catalyzes (3S)-lysyl hydroxylation. Crystallographic analyses reveal JMJD7 to be more closely related to the JmjC hydroxylases than to the JmjC demethylases. Biophysical and mutation studies show that JMJD7 has a unique dimerization mode, with interactions between monomers involving both N- and C-terminal regions and disulfide bond formation. A proteomic approach identifies two related members of the translation factor (TRAFAC) family of GTPases, developmentally regulated GTP-binding proteins 1 and 2 (DRG1/2), as activity-dependent JMJD7 interactors. Mass spectrometric analyses demonstrate that JMJD7 catalyzes Fe(ii)- and 2OG-dependent hydroxylation of a highly conserved lysine residue in DRG1/2; amino-acid analyses reveal that JMJD7 catalyzes (3S)-lysyl hydroxylation. The functional assignment of JMJD7 will enable future studies to define the role of DRG hydroxylation in cell growth and disease.Fil: Markolovic, Suzana. University of Oxford; Reino UnidoFil: Zhuang, Qinqin. University Of Birmingham; Reino UnidoFil: Wilkins, Sarah E.. University of Oxford; Reino UnidoFil: Eaton, Charlotte D.. University Of Birmingham; Reino UnidoFil: Abboud, Martine I.. University of Oxford; Reino UnidoFil: Katz, Maximiliano Javier. Consejo Nacional de Investigaciones Científicas y Técnicas. Oficina de Coordinación Administrativa Parque Centenario. Instituto de Investigaciones Bioquímicas de Buenos Aires. Fundación Instituto Leloir. Instituto de Investigaciones Bioquímicas de Buenos Aires; ArgentinaFil: McNeil, Helen E.. University Of Birmingham; Reino UnidoFil: Leśniak, Robert K.. University of Oxford; Reino UnidoFil: Hall, Charlotte. University Of Birmingham; Reino UnidoFil: Struwe, Weston B.. University of Oxford; Reino UnidoFil: Konietzny, Rebecca. University of Oxford; Reino UnidoFil: Davis, Simon. University of Oxford; Reino UnidoFil: Yang, Ming. The Francis Crick Institute; Reino Unido. University of Oxford; Reino UnidoFil: Ge, Wei. University of Oxford; Reino UnidoFil: Benesch, Justin L. P.. University of Oxford; Reino UnidoFil: Kessler, Benedikt M.. University of Oxford; Reino UnidoFil: Ratcliffe, Peter J.. University of Oxford; Reino Unido. The Francis Crick Institute; Reino UnidoFil: Cockman, Matthew E.. The Francis Crick Institute; Reino Unido. University of Oxford; Reino UnidoFil: Fischer, Roman. University of Oxford; Reino UnidoFil: Wappner, Pablo. Consejo Nacional de Investigaciones Científicas y Técnicas. Oficina de Coordinación Administrativa Parque Centenario. Instituto de Investigaciones Bioquímicas de Buenos Aires. Fundación Instituto Leloir. Instituto de Investigaciones Bioquímicas de Buenos Aires; ArgentinaFil: Chowdhury, Rasheduzzaman. University of Stanford; Estados Unidos. University of Oxford; Reino UnidoFil: Coleman, Mathew L.. University Of Birmingham; Reino UnidoFil: Schofield, Christopher J.. University of Oxford; Reino Unid