On derived dependencies and connected databases

AbstractThis paper introduces a new class of deductive databases (connected databases) for which SLDNF-resolution never flounders and always computes ground answers. The class of connected databases properly includes that of allowed databases. Moreover the definition of connected databases enables evaluable predicates to be included in a uniform way. An algorithm is described which, for each predicate defined in a normal database, derives a propositional formula (groundness formula) describing dependencies between the arguments of that predicate. Groundness formulae are used to determine whether a database is connected. They are also used to identify goals for which SLDNF-resolution will never flounder and will always compute ground answers on a connected database

Near complete genome sequence of the animal feed probiotic, Bacillus amyloliquefaciens H57

Bacillus amyloliquefaciens H57 is a bacterium isolated from lucerne for its ability to prevent feed spoilage. Further interest developed when ruminants fed with H57-inoculated hay showed increased weight gain and nitrogen retention relative to controls, suggesting a probiotic effect. The near complete genome of H57 is ~3.96 Mb comprising 16 contigs. Within the genome there are 3,836 protein coding genes, an estimated sixteen rRNA genes and 69 tRNA genes. H57 has the potential to synthesise four different lipopeptides and four polyketide compounds, which are known antimicrobials. This antimicrobial capacity may facilitate the observed probiotic effect

Near complete genome sequence of the animal feed probiotic, Bacillus amyloliquefaciens H57

Bacillus amyloliquefaciens H57 is a bacterium isolated from lucerne for its ability to prevent feed spoilage. Further interest developed when ruminants fed with H57-inoculated hay showed increased weight gain and nitrogen retention relative to controls, suggesting a probiotic effect. The near complete genome of H57 is ~3.96 Mb comprising 16 contigs. Within the genome there are 3,836 protein coding genes, an estimated sixteen rRNA genes and 69 tRNA genes. H57 has the potential to synthesise four different lipopeptides and four polyketide compounds, which are known antimicrobials. This antimicrobial capacity may facilitate the observed probiotic effect

Beneficial changes in rumen bacterial community profile in sheep and dairy calves as a result of feeding the probiotic Bacillus amyloliquefaciens H57

The probiotic Bacillus amyloliquefaciens H57 increased weight gain, increased nitrogen retention and increased feed intake in ruminants when administered to the diet. This study aims to develop a better understanding of this probiotic effect by analysing changes in the rumen prokaryotic community. Sequencing the 16S rRNA gene PCR amplicons of the rumen microbiome, revealed that ewes fed H57 had a significantly different rumen microbial community structure to Control sheep. By contrast, dairy calves showed no significant differences in rumen community structure between treatment groups. In both instances, H57 was below detection in the rumen community profile and only present at low relative abundance as determined by qPCR. The altered rumen microbial community in sheep likely contributes to increased weight gain through more efficient digestion of plant material. As no change occurred in the rumen community of dairy calves it is suggested that increased weight gain may be due to changes in community function rather than structure. The low relative abundance of H57 as determined by qPCR, suggests that weight gain was not directly mediated by the probiotic, but rather by influencing animal behaviour (feed consumption) and/or altering the native rumen community structure or function. This study provides a novel look at the rumen prokaryotic community in both sheep and dairy calves when fed H57. These findings improve our understanding for the potential rumen community involvement in H57-enabled weight gain. The study reveals that the probiotic B. amyloliquefaciens H57 is capable of benefiting ruminants without colonising the rumen, suggesting an indirect mechanism of action. This article is protected by copyright. All rights reserved. [Abstract copyright: This article is protected by copyright. All rights reserved.

Efficacy of the 1-year (13-cycle) segesterone acetate and ethinylestradiol contraceptive vaginal system : results of two multicentre, open-label, single-arm, phase 3 trials

A ring-shaped, contraceptive vaginal system designed to last 1 year (13 cycles) delivers an average of 0.15 mg segesterone acetate and 0.013 mg ethinylestradiol per day. We evaluated the efficacy of this contraceptive vaginal system and return to menses or pregnancy after use. In two identically designed, multicentre, open-label, single-arm, phase 3 trials (one at 15 US academic and community sites and one at 12 US and international academic and community sites), participants followed a 21-days-in, 7-days-out segesterone acetate and ethinylestradiol contraceptive vaginal system schedule for up to 13 cycles. Participants were healthy, sexually active, non-pregnant, non-sterilised women aged 18-40 years. Women were cautioned that any removals during the 21 days of cyclic use should not exceed 2 h, and used daily paper diaries to record vaginal system use. Consistent with regulatory requirements for contraceptives, we calculated the Pearl Index for women aged 35 years and younger, excluding adjunctive contraception cycles, as the primary efficacy outcome measure. We also did intention-to-treat Kaplan-Meier life table analyses and followed up women who did not use hormonal contraceptives or desired pregnancy after study completion for 6 months for return to menses or pregnancy. The trials are registered with ClinicalTrials.gov, numbers NCT00455156 and NCT00263341. Between Dec 19, 2006, and Oct 9, 2009, at the 15 US sites, and between Nov 1, 2006, and July 2, 2009, at the 12 US and international sites we enrolled 2278 women. Our overall efficacy analysis included 2265 participants (1130 in the US study and 1135 in the international study) and 1303 (57.5%) participants completed up to 13 cycles. The Pearl Index for the primary efficacy group was 2.98 (95% CI 2.13-4.06) per 100 woman-years, and was well within the range indicative of efficacy for a contraceptive under a woman's control. The Kaplan-Meier analysis revealed the contraceptive vaginal system was 97.5% effective, which provided further evidence of efficacy. Pregnancy occurrence was similar across cycles. All 290 follow-up participants reported return to menses or became pregnant (24 [63%] of 38 women who desired pregnancy) within 6 months. Interpretation The segesterone acetate and ethinylestradiol contraceptive vaginal system is an effective contraceptive for 13 consecutive cycles of use. This new product adds to the contraceptive method mix and the 1-year duration of use means that women do not need to return to the clinic or pharmacy for refills every few months78e1054e1064We thank The Eunice Kennedy Shriver National Institute of Child Health and Human Development of the National Institutes of Health (NICHD), the US Agency for International Development (USAID), and WHO for funding the phase 3 studies. We also acknowledge all participating study investigators (appendix p 1) and coordinators at the 27 clinical sites for conduct of the two phase 3 clinical trials and the over 2200 women participants from eight countries. We further acknowledge the medical writing assistance of Kathleen Ohleth (Precise Publications; Bedminster. NJ, USA) supported by TherapeuticsMD (Boca Raton, FL, USA). The NICHD (contract no HHSN27500403372) funded and conducted the US study and USAID (grant no GPO-A-00-04-00019-00) funded the international study, which was conducted by the Population Council. WHO Department of Reproductive Health and Research funded two international study sites. Medical writing support for manuscript submission and resubmission was supported by TherapeuticsMD. The authors acknowledge the major contribution of Daniel R Mishell Jr (deceased), from the Department of Obstetrics and Gynecology, University of Southern California, Keck School of Medicine (Los Angeles, CA, USA) who invented the concept of the vaginal system to deliver contraceptive steroids, did many of the clinical studies for the segesterone acetate and ethinylestradiol contraceptive vaginal system, and was a principle investigator for the 300 B phase 3 study analysed in this Article while a member of the International Committee for Contraceptive Research (ICCR) of the Population Council. The authors also gratefully acknowledge the contribution of Horacio B Croxatto, from the University of Chile (Santiago, Chile), who established the clinical centre in Chile, participated in all pivotal clinical studies for this ring, and provided guidance for the full development of this new contraceptive while a member of the ICC

A Perfect Script? Manchester United's Class of ‘92

The Class of ’92 is a documentary film featuring six Manchester United F.C. players who recount their time during a pivotal period for the club, English football and English society. The documentary claims to offer a commentary on Britain in the 1990s, but appears, without acknowledging the fact, to be a promotional vehicle to establish the six men as a brand labeled the Class of ’92 (CO92). Creating this brand necessarily involved presenting a selective account of their time and places with the film being little more than an advertisement, masquerading as an observational documentary. The film draws freely upon the symbolic capital held by the club and the city of Manchester and uses the Busby Babes/Munich chapter and the more recent “Madchester scene” to forge the Class of ’92 brand by editing out those elements that did not accord with this project. The article argues that a more complete representation of ’90s Britain, while disrupting the intended narrative, would acknowledge the significant structural and commercial changes experienced by the club, the sport, and the city in the last decade of the 20th century. We suggest that the Class of ’92 invites the viewer to consider how the documentary film genre can contribute to brand development and promotion

Fossil Carder Bee's nest from the Hominin locality of Taung, South Africa

The Buxton-Norlim Limeworks southwest of Taung, South Africa, is renowned for the discovery of the first Australopithecus africanus fossil, the ‘Taung Child’. The hominin was recovered from a distinctive pink calcrete that contains an abundance of invertebrate ichnofauna belonging to the Coprinisphaera ichnofacies. Here we describe the first fossil bee’s nest, attributed to the ichnogenus Celliforma, from the Plio-Pleistocene of Africa. Petrographic examination of a cell lining revealed the preservation of an intricate organic matrix lined with the calcitic casts of numerous plant trichomes–a nesting behaviour unique to the modern-day carder bees (Anthidiini). The presence of Celliforma considered alongside several other recorded ichnofossils can be indicative of a dry, savannah environment, in agreement with recent work on the palaeoenvironment of Plio-Pleistocene southern Africa. Moreover, the occurrence of ground-nesting bees provides further evidence that the pink calcrete deposits are of pedogenic origin, rather than speleogenic origin as has previously been assumed. This study demonstrates the potential value of insect trace fossils as palaeoenvironmental indicators

British Society of Gastroenterology guidance for management of inflammatory bowel disease during the COVID-19 pandemic.

The COVID-19 pandemic is putting unprecedented pressures on healthcare systems globally. Early insights have been made possible by rapid sharing of data from China and Italy. In the UK, we have rapidly mobilised inflammatory bowel disease (IBD) centres in order that preparations can be made to protect our patients and the clinical services they rely on. This is a novel coronavirus; much is unknown as to how it will affect people with IBD. We also lack information about the impact of different immunosuppressive medications. To address this uncertainty, the British Society of Gastroenterology (BSG) COVID-19 IBD Working Group has used the best available data and expert opinion to generate a risk grid that groups patients into highest, moderate and lowest risk categories. This grid allows patients to be instructed to follow the UK government's advice for shielding, stringent and standard advice regarding social distancing, respectively. Further considerations are given to service provision, medical and surgical therapy, endoscopy, imaging and clinical trials

Search for dark matter produced in association with bottom or top quarks in √s = 13 TeV pp collisions with the ATLAS detector

A search for weakly interacting massive particle dark matter produced in association with bottom or top quarks is presented. Final states containing third-generation quarks and miss- ing transverse momentum are considered. The analysis uses 36.1 fb−1 of proton–proton collision data recorded by the ATLAS experiment at √s = 13 TeV in 2015 and 2016. No significant excess of events above the estimated backgrounds is observed. The results are in- terpreted in the framework of simplified models of spin-0 dark-matter mediators. For colour- neutral spin-0 mediators produced in association with top quarks and decaying into a pair of dark-matter particles, mediator masses below 50 GeV are excluded assuming a dark-matter candidate mass of 1 GeV and unitary couplings. For scalar and pseudoscalar mediators produced in association with bottom quarks, the search sets limits on the production cross- section of 300 times the predicted rate for mediators with masses between 10 and 50 GeV and assuming a dark-matter mass of 1 GeV and unitary coupling. Constraints on colour- charged scalar simplified models are also presented. Assuming a dark-matter particle mass of 35 GeV, mediator particles with mass below 1.1 TeV are excluded for couplings yielding a dark-matter relic density consistent with measurements