On the uniform one-dimensional fragment

The uniform one-dimensional fragment of first-order logic, U1, is a recently introduced formalism that extends two-variable logic in a natural way to contexts with relations of all arities. We survey properties of U1 and investigate its relationship to description logics designed to accommodate higher arity relations, with particular attention given to DLR_reg. We also define a description logic version of a variant of U1 and prove a range of new results concerning the expressivity of U1 and related logics

Isoforms of U1-70k control subunit dynamics in the human spliceosomal U1 snRNP

Most human protein-encoding genes contain multiple exons that are spliced together, frequently in alternative arrangements, by the spliceosome. It is established that U1 snRNP is an essential component of the spliceosome, in human consisting of RNA and ten proteins, several of which are post- translationally modified and exist as multiple isoforms. Unresolved and challenging to investigate are the effects of these post translational modifications on the dynamics, interactions and stability of the particle. Using mass spectrometry we investigate the composition and dynamics of the native human U1 snRNP and compare native and recombinant complexes to isolate the effects of various subunits and isoforms on the overall stability. Our data reveal differential incorporation of four protein isoforms and dynamic interactions of subunits U1-A, U1-C and Sm-B/B’. Results also show that unstructured post- ranslationally modified C-terminal tails are responsible for the dynamics of Sm-B/B’ and U1-C and that their interactions with the Sm core are controlled by binding to different U1-70k isoforms and their phosphorylation status in vivo. These results therefore provide the important functional link between proteomics and structure as well as insight into the dynamic quaternary structure of the native U1 snRNP important for its function.This work was funded by: BBSRC (OVM), BBSRC and EPSRC (HH and NM), EU Prospects (HH), European Science Foundation (NM), the Royal Society (CVR), and fellowship from JSPS and HFSP (YM and DAPK respectively)

Upregulation of Functional Kv11.1a Isoform Expression by Modified U1 Small Nuclear RNA

The KCNH2 or human ether-a go-go-related gene (hERG) encodes the Kv11.1 potassium channel that conducts the rapidly activating delayed rectifier potassium current in the heart. The expression of Kv11.1 C-terminal isoforms is directed by the alternative splicing and polyadenylation of intron 9. Splicing of intron 9 leads to the formation of a functional, full-length Kv11.1a isoform and polyadenylation of intron 9 results in the production of a non-functional, C-terminally truncated Kv11.1a-USO isoform. The relative expression of Kv11.1a and Kv11.1a-USO plays an important role in regulating Kv11.1 channel function. In the heart, only one-third of KCNH2 pre-mRNA is processed to Kv11.1a due to the weak 5′ splice site of intron 9. We previously showed that the weak 5′ splice site is caused by sequence deviation from the consensus, and that mutations toward the consensus sequence increased the efficiency of intron 9 splicing. It is well established that 5′ splice sites are recognized by complementary base-paring with U1 small nuclear RNA (U1 snRNA). In this study, we modified the sequence of U1 snRNA to increase its complementarity to the 5′ splice site of KCNH2 intron 9 and observed a significant increase in the efficiency of intron 9 splicing. RNase protection assay and western blot analysis showed that modified U1 snRNA increased the expression of the functional Kv11.1a isoform and concomitantly decreased the expression of the non-functional Kv11.1a-USO isoform. In patch-clamp experiments, modified U1 snRNA significantly increased Kv11.1 current. Our findings suggest that relative expression of Kv11.1 C-terminal isoforms can be regulated by modified U1 snRNA

Conditional U1 gene silencing in Toxoplasma gondii

The functional characterisation of essential genes in apicomplexan parasites, such as Toxoplasma gondii or Plasmodium falciparum, relies on conditional mutagenesis systems. Here we present a novel strategy based on U1 snRNP-mediated gene silencing. U1 snRNP is critical in pre-mRNA splicing by defining the exon-intron boundaries. When a U1 recognition site is placed into the 3’-terminal exon or adjacent to the termination codon, pre-mRNA is cleaved at the 3’-end and degraded, leading to an efficient knockdown of the gene of interest (GOI). Here we describe a simple method that combines endogenous tagging with DiCre-mediated positioning of U1 recognition sites adjacent to the termination codon of the GOI which leads to a conditional knockdown of the GOI upon rapamycin-induction. Specific knockdown mutants of the reporter gene GFP and several endogenous genes of T. gondii including the clathrin heavy chain gene 1 (chc1), the vacuolar protein sorting gene 26 (vps26), and the dynamin-related protein C gene (drpC) were silenced using this approach and demonstrate the potential of this technology. We also discuss advantages and disadvantages of this method in comparison to other technologies in more detail

Discrimination of bladder cancer cells from normal urothelial cells with high specificity and sensitivity:combined application of atomic force microscopy and modulated Raman spectroscopy

Atomic force microscopy (AFM) and modulated Raman spectroscopy (MRS) were used to discriminate between living normal human urothelial cells (SV-HUC-1) and bladder tumour cells (MGH-U1) with high specificity and sensitivity. MGH-U1 cells were 1.5-fold smaller, 1.7-fold thicker and 1.4-fold rougher than normal SV-HUC-1 cells. The adhesion energy was 2.6-fold higher in the MGH-U1 cells compared to normal SV-HUC-1 cells, which possibly indicates that bladder tumour cells are more deformable than normal cells. The elastic modulus of MGH-U1 cells was 12-fold lower than SV-HUC-1 cells, suggesting a higher elasticity of the bladder cancer cell membranes. The biochemical fingerprints of cancer cells displayed a higher DNA and lipid content, probably due to an increase in the nuclear to cytoplasm ratio. Normal cells were characterized by higher protein contents. AFM studies revealed a decrease in the lateral dimensions and an increase in thickness of cancer cells compared to normal cells; these studies authenticate the observations from MRS. Nanostructural, nanomechanical and biochemical profiles of bladder cells provide qualitative and quantitative markers to differentiate between normal and cancerous cells at the single cellular level. AFM and MRS allow discrimination between adhesion energy, elasticity and Raman spectra of SV-HUC-1 and MGH-U1 cells with high specificity (83, 98 and 95%) and sensitivity (97, 93 and 98%). Such single-cell-level studies could have a pivotal impact on the development of AFM–Raman combined methodologies for cancer profiling and screening with translational significance

Molecular principles underlying dual RNA specificity in the Drosophila SNF protein

The first RNA recognition motif of the Drosophila SNF protein is an example of an RNA binding protein with multi-specificity. It binds different RNA hairpin loops in spliceosomal U1 or U2 small nuclear RNAs, and only in the latter case requires the auxiliary U2A′ protein. Here we investigate its functions by crystal structures of SNF alone and bound to U1 stem-loop II, U2A′ or U2 stem-loop IV and U2A′, SNF dynamics from NMR spectroscopy, and structure-guided mutagenesis in binding studies. We find that different loop-closing base pairs and a nucleotide exchange at the tips of the loops contribute to differential SNF affinity for the RNAs. U2A′ immobilizes SNF and RNA residues to restore U2 stem-loop IV binding affinity, while U1 stem-loop II binding does not require such adjustments. Our findings show how U2A′ can modulate RNA specificity of SNF without changing SNF conformation or relying on direct RNA contacts

On the Consequences of the Detection of an Interstellar Asteroid

The arrival of the robustly hyperbolic asteroid A/2017 U1 has potentially interesting ramifications for the planet-formation process. Although extrapolations from a sample size of one are necessarily uncertain, order-of-magnitude estimates suggest that the Galaxy contains a substantial mass in similar bodies. We argue that despite its lack of Coma, A/2017 U1 likely contained a significant mass fraction of volatile components, and we argue that its presence can be used to infer a potentially large population of as-yet undetected Neptune-like extrasolar planets.Comment: Submitted to Research Notes of the AA