Human NCL peptide

The neuronal ceroid lipofuscinoses (NCLs) are lysosomal storage disorders characterized by progressive neurodegeneration and declines in neurological functions. Pathogenic sequence variants in at least 13 genes underlie different forms of NCL, almost all of which are recessively inherited. To date 13 sequence variants in 8 canine orthologs of human NCL genes have been found to occur in 11 dog breeds in which they result in progressive neurological disorders similar to human NCLs. Canine NCLs can serve as models for preclinical evaluation of therapeutic interventions for these disorders. In most NCLs, the onset of neurological signs occurs in childhood, but some forms have adult onsets. Among these is CLN12 disease, also known as Kufor-Rakeb syndrome, PARKS, and spastic paraplegia78. These disorders result from variants in ATP13A2 which encodes a putative trans membrane ion transporter important for lysosomal function. Three Australian Cattle Dogs (a female and two of her offspring) were identified with a progressive neurological disorder with an onset of clinical signs at approximately 6 years of age. The affected dogs exhibited clinical courses and histopathology characteristic of the NCLs. Whole genome sequence analysis of one of these dogs revealed a homozygous c.1118C > T variant in ATP13A2 that predicts a nonconservative p.(Thr373Ile) amino acid substitution. All 3 affected dogs were homozygous for this variant, which was heterozygous in 42 of 394 unaffected Australian Cattle Dogs, the remainder of which were homozygous for the c.1118C allele. The high frequency of the mutant allele in this breed suggests that further screening for this variant should identify additional homozygous dogs and indicates that it would be advisable to perform such screening prior to breeding Australian Cattle Dogs.

We introduce Boolean-like algebras of dimension n (nBAs) having n constants e(1), ... , e(n), and an (n + 1)-ary operation q (a "generalised if-then-else") that induces a decomposition of the algebra into n factors through the so-called n-central elements. Varieties of nBAs share many remarkable properties with the variety of Boolean algebras and with primal varieties. The nBA s provide the algebraic framework for generalising the classical propositional calculus to the case of n-perfectly symmetric-truth-values. Every finite-valued tabular logic can be embedded into such a n-valued propositional logic, nCL, and this embedding preserves validity. We define a confluent and terminating first-order rewriting system for deciding validity in nCL, and, via the embeddings, in all the finite tabular logics.