Logical leaps and quantum connectives: forging paths through predication space

Quantum Informatics for Cognitive, Social, and Semantic Processes: Papers from the AAAI Fall Symposium (FS-10-08) Logical Leaps and Quantum Connectives:
Forging Paths through Predication Space
Trevor Cohen1, Dominic Widdows2, Roger W. Schvaneveldt3, and Thomas C. Rindflesch4
1Center for Cognitive Informatics and Decision Making, University of Texas Health Science Center at Houston 3Department of Applied Psychology, Arizona State University Abstract
These predications are extracted from citations added to MEDLINE, the most comprehensive database of The Predication-based Semantic Indexing (PSI) approach biomedical literature, over the past decade using the encodes both symbolic and distributional information into a SemRep system (Rindflesch and Fiszman, 2003). We semantic space using a permutation-based variant of proceed by presenting the methodological roots and Random Indexing. In this paper, we develop and evaluate a implementation of the PSI model, and follow with a computational model of abductive reasoning based on PSI. discussion of the ways in which abduction can be Using distributional information, we identify pairs of simulated in the PSI space. Finally, we explore the use of concepts that are likely to be predicated about a common quantum-inspired approaches to concept combination to third concept, or middle term. As this occurs without the constrain the process of abduction, with the aim to identify explicit identification of the middle term concerned, we associations between concepts that are of interest for the refer to this process as a “logical leap”. Subsequently, we use further operations in the PSI space to retrieve this purpose of biomedical knowledge discovery. middle term and identify the predicate types involved. On evaluation using a set of 1000 randomly selected cue concepts, the model is shown to retrieve with accuracy Background
concepts that can be connected to a cue concept by a middle term, as well as the middle term concerned, using nearest- Abduction, Similarity and Scientific Discovery
neighbor search in the PSI space. The utility of quantum logical operators as a means to identify alternative paths Abductive reasoning, as defined by the philosopher and logician, C. S. Peirce (1839-1914) is concerned with the generation of new hypotheses given a set of observations. Inductive and deductive reasoning can be applied to Introduction
confirming and disproving hypotheses, but abductive reasoning is concerned with the discovery of hypotheses as The development of alternative approaches to automated candidates for further testing. Abductive reasoning does reasoning has been a concern of the Quantum Interactions not necessarily produce a correct hypothesis, but effective (QI) community since its inception. One line of inquiry has abductive reasoning should lead to plausible hypotheses explored the utility of distributional models of meaning as worthy of further examination and testing. Several factors a means of simulating abduction, the generation of new can be seen to be at work in abductive reasoning hypotheses, in a computationally tractable manner (Bruza, (Schvaneveldt and Cohen, 2010). Among these is Widdows, and Woods, 2006). Another concern has been establishing new connections between concepts. For the combination between symbolic and distributional example, consider information scientist Don Swanson's models, and ways in which mathematical models derived seminal discovery of a therapeutically useful connection from quantum theory might be applied to this end (Clark between Raynaud's disease and fish oil (Swanson, 1986). and Pulman, 2006). This paper describes recent These concepts had not occurred together in the literature, developments along these lines resulting from our work but were connected to one another by Swanson by with Predication-based Semantic Indexing (PSI) (Cohen, identifying potential bridging concepts that did occur with Schvaneveldt, and Rindflesch, 2009), a novel distributional Raynaud's disease (such as blood viscosity). Concepts model that encodes predications, or object-relation-object occurring with such bridging concepts were considered as triplets into a vector space using a variant of the Random candidates for literature-based discovery. Bruza and his Indexing model (Kanerva, Kristofersson, and Holst, 2000). colleagues note that Swanson's discovery is an example of each term is assigned both a sparse elemental vector, and abductive discovery, and argue that, given the constraints a semantic vector of a pre-assigned dimensionality several of the human cognitive system, deductive logic does not orders of magnitude less than the number of terms in the present a plausible model for reasoning of this nature model (usually on the order of 1000). Elemental vectors (Bruza et al., 2006). Rather, associations between terms consist of mostly zero values, but a small number of these derived by a distributional model of meaning, in their case (usually on the order of 10) are randomly assigned as either Hyperspace Analog to Language (Burgess et al., 1998), are +1 or -1, to generate a set of vectors with a high probability presented as an alternative, a line of investigation we have of being close-to-orthogonal to one another on account of also pursued in our recent work on literature-based their sparseness. For each term in the model, the elemental discovery (Cohen, Schvaneveldt, and Widdows, 2009) .
vector for every co-occurring term within a sliding window Specifically, we have been concerned with the ability of moved through the text is added to the term's semantic distributional models to generate indirect inferences, vector. The permutation-based model extends this meaningful estimates of the similarity between terms that approach, using shifting of elements in the elemental do not co-occur with one another in any document in the vector to encode the relative position of terms. Consider database. Such similarities arise because concepts may co- the following approximations of elemental vectors: occur with other terms even though they never co-occur with one another. In the context of Swanson's discovery, this would involve identifying a meaningful association between Raynaud and fish oil. This association would be drawn without the explicit identification of a bridging Vector v2 has been generated from vector v1 by shifting all term. Having identified these associations, it would then be of the elements of this vector one position to the right. possible to employ some more cognitively and These two vectors are orthogonal to one another, and with computationally demanding mechanism such as symbolic high-dimensional vectors it is highly probable that a vector logic to further investigate the nature of the relationship permuted in this manner will be orthogonal, or close-to- between these terms. As proposed by Bruza and his orthogonal, to the vector from which it is derived. It is colleagues, these associations serve as “primordial stimuli possible to reverse this transformation by shifting the for practical inferences drawn at the symbolic level of elements one position to the left to regenerate v1. These cognition” (Bruza, Widdows, and Woods, 2006). The idea properties are harnessed by Sahlgren and his colleagues to that some economical mechanism such as association encode the relative position of terms, providing a might be useful in the identification of fruitful hypotheses computationally convenient alternative to Jones and for further exploration is appealing for both theoretical and Mewhort's Beagle model (Jones and Mewhort, 2007), practical reasons, the latter on account of the explosion in which uses Plate's Holographic Reduced Representation computational complexity that occurs when considering all (Plate, 2003) to achieve similar ends. Both of these possible relations of each potential bridging term in the approaches allow for order-based retrieval. In the case of context of scientific discovery. In addition, there is permutation-based encoding, it is possible, by reversing the empirical evidence that associations drawn subconsciously permutation used to encode position, to extract from the can precede the solution of a problem (Durso, Rea, and resulting vector space a term that occurs frequently in a Dayton, 1994). In the remainder of this paper, we will particular position with respect to another term. For discuss the ways in which similarity/association captured example, in a permutation-based space derived from the by a distributional model of meaning, can support both the Touchstone Applied Sciences corpus, the vector derived by identification and validation of hypotheses drawn from the shifting the elements of the elemental vector for the term biomedical literature. We begin by presenting some recent “president” a position to the left produces a sparse vector technical developments in the field of distributional that is strongly associated with the semantic vectors1 for semantics, to lay the foundation for a discussion of the terms “eisenhower”, “ nixon”, “reagan” and “kennedy”.
Predication-based Semantic Indexing (PSI) (Cohen et al. 2009), a novel distributional model we have developed in Predication-based Semantic Indexing (PSI)
order to simulate aspects of abductive reasoning.
While the incorporation of additional information related to word order facilitates new types of queries, and has been Permutation-based Semantic Indexing
shown to improve performance in certain evaluations In a previous submission to QI (Widdows and Cohen, (Sahlgren et al., 2008), the associations derived between 2009), we discussed a recent variant of the RI model terms are general in nature. However, it has been argued developed by Sahlgren and his colleagues (Sahlgren, Holst, that the fundamental unit of meaning in text and Kanerva, 2008). Based on Pentti Kanerva's work on comprehension is not an individual term, but an object- sparse high-dimensional representations (Kanerva, 2009), relation-object triplet, or proposition. This unit of meaning this model utilizes a permutation operator that shifts the elements of a sparse high-dimensional vector in order to encode the positional relationship between two terms in a sliding window. In sliding-window based variants of RI, is also termed a predication in logic, and is considered to overlap). This constraint is too tight to support scientific be the atomic unit of meaning in memory in cognitive discovery, or to model abduction. Consequently, in the theories of text comprehension (Kintsch, 1998).
current iteration of PSI in addition to adding the predicate- In our recent work (Cohen, Schvaneveldt and appropriate permutation of an elemental vector to the Rindflesch, 2009) we adapt the permutation-based semantic vector of the other concept in a predication, we approach developed by Sahlgren et al to encode object- also add the unpermuted elemental vector for this concept. relation-object triplets, or predications, into a reduced- The procedure to encode the predication “sherry ISA wine” dimensional vector space. These triplets are derived from would then be as follows. First, add the elemental vector all of the titles and abstracts added to MEDLINE, the for sherry to the semantic vector for wine. Next, shift the largest existing repository of biomedical citation data, over elemental vector for sherry right 22 positions and add this the past decade by the SemRep system (see below). To to the semantic vector for wine. The converse would be achieve this end, we assign a sparse elemental vector and a performed as described previously, but both the permuted semantic vector to each unique concept extracted by and unpermuted elemental vectors for wine would be SemRep, and a sequential number to a set of predicate added to the semantic vector for sherry. Encoding of types SemRep recognizes. For example, the predicates predicate-specific and general relatedness in this manner is “TREATS”, “CAUSES” and “ISA” are assigned the analogous to the encoding of “order-based” and “content- numbers 38, 7, and 22 respectively. Rather than use based” relatedness in approaches that capture the relative positional shifting to encode the relative position of terms, position of terms (Sahlgren, Holst and Kanerva 2008). we use positional shifts to encode the type of predicate that links two concepts. Consequently each time the predication “sherry ISA wine” occurs in the set of predications The predications encoded by the PSI model are derived extracted by SemRep, we shift the elemental vector for the from the biomedical literature by the SemRep system. concept “sherry” 22 positions to the right, to signify an SemRep is a symbolic natural language processing system ISA relationship. We then add this permuted elemental that identifies semantic predications in biomedical text. For vector to the semantic vector for “wine”. Conversely, we example, SemRep extracts “Acetylcholine STIMULATES shift the elemental vector for “wine” 22 positions to the Nitric Oxide” from the sentence In humans, ACh evoked a left, and add this permuted elemental vector to the dose-dependent increase of NO levels in exhaled air.
semantic vector for “sherry”. Encoding predicate type in SemRep is linguistically based and intensively depends on this manner facilitates a form of predication-based retrieval structured biomedical domain knowledge in the Unified that is analogous to the order-based retrieval employed by Medical Language System (UMLS SPECIALIST Lexicon, Sahlrgren and his colleagues. For example, permuting the Metathesaurus, Semantic Network (Bodenreider 2004)). At elemental vector for “wine” 22 positions to the left the core of SemRep processing is a partial syntactic produces a sparse vector with the nearest neighboring analysis in which simple noun phrases are enhanced with semantic vectors and association strengths in Table 1 (left).
Metathesaurus concepts. Rules first link syntactic elements (such as verbs and nominalizations) to ontological Table 1. Results of the predication-based queries “?
predicates in the Semantic Network and then find ISA wine” (left) and “? ISA food” (right).
syntactically allowable noun phrases to serve as arguments. A metarule relies on semantic classes associated with Metathesaurus concepts to ensure that constraints enforced by the Semantic Network are satisfied. SemRep provides underspecified interpretation for a range of syntactic structures rather than detailed representation for a limited number of phenomena. Thirty core predications in clinical medicine, genetic etiology of disease, pharmacogenomics, and molecular biology are retrieved. Quantification, tense and modality, and predicates taking predicational arguments are not Further details of the implementation of this model, and addressed. The application has been used to extract examples of the sorts of queries it enables can be found in 23,751,028 predication tokens from 6,964,326 MEDLINE (Cohen, Schvaneveldt and Rindflesch 2009). For the citations (with dates between 01/10/1999 and 03/31/2010). purposes of this paper, we have modified the model in Several evaluations of SemRep are reported in the order to facilitate the recognition of terms that are literature. For example, in Ahlers et al. (2004) .73 meaningfully connected by a bridging term. In PSI, each precision and .55 recall (.63 f-score) resulted from a unique predicate-concept pair is assigned a unique reference standard of 850 predications in 300 sentences (permuted) elemental vector. Consequently, the semantic randomly selected from MEDLINE citations. Kilicoglu et vectors for any two concepts should only be similar to one al. (2010) report .75 precision and .64 recall (.69 f-score) another if they occur in the same predication type with the based on 569 predications annotated in 300 sentences from same bridging concept (discounting unintended random 239 MEDLINE citations. Consequently, the set of predications extracted by SemRep present a considerable that have sufficient data points to generate meaningful resource for biomedical knowledge discovery.
associations and eliminate concepts that carry little information content from the test set. We generate a 500 dimensional PSI space derived from all of the predications Abduction in PSI-space
extracted by SemRep from citations added to MEDLINE over the past decade (n = 22,669.964), excluding negations For the reasons described previously, the stepwise traversal (x does_not_treat y). We also exclude any predication of all concepts in predications with each middle term that involving the predicate “PROCESS_OF”, as these are occurs in a predicate with a cue concept is not plausible as highly prevalent but tend to be uninformative (for example, a computational model of abduction. Consequently, we “tuberculosis PROCESS_OF patients”). For the same have developed a model in which the search for a middle reason, we exclude any concepts that occur more than term is guided by an initial “logical leap” from cue concept We then follow the procedure described previously, taking the nearest neighboring semantic vector of each cue Our model of abduction consists of the following three concept, generating the vector average of these two vectors, searching for the nearest elemental vector and 1. Identification of the nearest neighboring semantic using the decoding process to find the predication that best vector to the semantic vector of a concept of interest links each pair of concepts (cue and middle term, and 2. Identification of a third “middle term” between the target and middle term). We then evaluate these cue concept and the nearest neighbor. This is predications against the original database, to determine accomplished by taking the normalized vector sum (or whether these are accurate. Of the 1000 cue concepts it vector average) of the semantic vectors for these two was possible to evaluate 999, as one concept occurred in concepts, and finding the most similar elemental vector.
predications that were not included in the model (such as 3. Decoding of the predicates that link the three concepts PROCESS_OF) only. Of these 999 concepts, a legitimate identified. For each pair of concepts, this is target concept and middle term were identified for 962 of accomplished by retrieving the elemental vector for one, them, which can be considered as a precision of 0.963 if and the semantic vector for the other, and shifting one of retrieval of a set of accurate relationships from the these by the number corresponding to each encoded predication, to identify the predicate that fits best. For example, the nearest neighboring semantic vector to that of “pastry” represents “rusk”. The nearest neighboring elemental vector to the vector average of these two semantic vectors is the elemental vector for “food”. Decoding these predicates retrieves the predication pair “rusk ISA food; pastry ISA food”.
Such "logical leaps" may correspond to an intuitive sense of association in psychological terms. The underlying mechanism may involve associations arising from related patterns of associated neighbors rather than any direct association. These indirect associations are likely to be weaker than direct associations so detecting and reflecting on them may not occur without some effort directed toward searching for potential hypotheses, Figure 1: Cosine association and accuracy
solutions, or discoveries. Psychological research has provided evidence that such associations occur in learning Accurately retrieved results tended to have a higher cosine and memory experiments (Dougher, et al., 1994, 2007; association between the middle term and the vector Sidman, 2000). Once detected, indirect associations could average constructed from the cue concept and its nearest be pursued in a more conscious/symbolic way to identify neighboring semantic vector, as illustrated in Figure 1, common neighbors or middle terms on the way to which shows the number of accurate and inaccurate results assessing the value of the indirect associations. Our at different association strengths. Table 2 shows the five computational methods can be seen as ways to simulate the most strongly associated middle terms across this test set, generation and evaluation of such potential discoveries.
together with the predicates linking them to the cue and In order to evaluate the extent to which this approach target concepts. In the first example, a can be used to both identify and characterize the nature of meaningful associations, we select at random 1000 UMLS concepts extracted by SemRep from MEDLINE over the past decade. We include only concepts that occur between 10 and 50,000 times in this dataset, to select for concepts this research is to develop computational tools with which scientists can explore the conceptual territory of their domain of interest. Just as users of a vector-based information retrieval system require methods through which to direct their search for documents, there is a need for the development of methods through which a scientist Table 2: “logical leaps”. Cue concepts are in bold, and
might further refine the search for new ideas. nearest neighbors are underlined. cos = cosine.
Quantum Operators in PSI Space
One potential solution to the problem of constraining search is suggested by the analogy drawn between the many senses of a term that may be captured by a term vector in geometric models of meaning, and the many potential states of a particle that are represented by a state vector in quantum mechanics (Widdows and Peters, 2003).     =  With respect to PSI, the semantic vector representing a concept can be viewed as a mixture of elemental vectors representing each predicate-concept pair and concept it   &- > 
occurs with. This analogy supports the application of the operators of quantum logic, as described by Birkhoff and von Neumann (Birkhoff and Von Neumann, 1936), to semantic vectors, resulting in the definition of semantic space operators effecting quantum logical negation and disjunction in semantic space (Widdows and Peters, 2003). Negation
Negation in semantic space involves eliminating an
undesired sense of a term by subtracting that component of a term vector that is shared with a candidate term representing the undesired sense. For example, the term “pop” can be used to eliminate the musical sense of the term “rock” (Widdows, 2004). This is accomplished by projecting the vector for “rock” onto the vector for “pop” (to identify the shared component), and subtracting this projection from the vector for “rock”. The resulting vector will be orthogonal to the vector for “pop”, and as such will not be strongly associated with vectors representing music- related concepts that are similar to the vector for “pop”, but will retain similarity to terms such as “limestone” that represent the geological sense of “rock”. A similar approach can be applied to the semantic vectors generated using PSI, in order to direct the search        #     for related concepts away from a nearest neighbor that has been identified. As is the case with terms, one would anticipate this approach would eliminate not only the specific concept concerned, but also a set of related concepts. Specifically, we anticipate that this approach would identify a new path involving a different middle term (or group of terms), without the explicit identification of the middle term to be avoided beforehand. These examples illustrate the ability of vectors encoded In order to evaluate the extent to which negation can be using PSI to capture similarity between concepts linked by used to identify new pathways in PSI space, we take the a middle term without the need to explicitly retrieve this same set of 1000 randomly selected concepts as cue term. However, at times it may be of greater interest to concepts. For each cue concept, we retrieve the vector for explore some subset of this space, so as to retrieve the concept (cue_concept), and the vector for the nearest concepts linked by specific predicate types. One goal of neighbor previously retrieved (nn_previous). We then use negation to extract the component of cue_concept that is neighboring semantic vector to this combined vector (nn_current). Finally, we take the vector average of cue_concept and nn_current, render this orthogonal to nn_previous using negation, and find the nearest neighboring elemental vector to this combined vector. We then decode the predicates concerned using the permutation operator as described previously. To illustrate the utility of this approach, we present a series of examples in which we attempt logical leaps by applying Table 3: Negation to identify new paths (n=997)
the dissection method to both the cue term and candidate nearest neighbors. For example, consider a logical leap of the form “X ISA Y; Y TREATS Z” where Z is the cue term. In the case of the cue term, we perform the reverse of the “TREATS” permutation prior to dissection. For each target term we perform the “ISA” permutation before dissection. After dissection, we measure the cosine between these transformed vectors to find a best match. The results of this experiment are shown in Table 3. It was possible to obtain results for 997 of the set of 1000. One Table 4: Leaps across specific predicates. * denotes
concept was excluded for the same reason as before, and concepts that do not occur in a predicate with the cue.
another two were excluded as the negation operator produced a zero vector, as these concepts occurred in predications exclusively with a single predicate-concept pair. As anticipated, in every case negation eliminated the concept represented by nn_previous. However, this result could have been obtained using boolean negation, which is the equivalent of simply selecting the next-nearest neighbor, as we have done for comparison purposes. Of greater interest is the extent to which the use of quantum negation eliminates the path across a middle term that was used to identify a previous neighbor. This occurred after quantum negation in 94.1% of cases, as oppose to 27.7% in the case of boolean negation. A concern with the use of this method is that the orthogonalization process may introduce further errors as concept vectors are distorted beyond recognition. However, as shown in Table 3, this process led to only slightly more erroneous predications than were obtained with boolean negation. Interestingly, the set of errors * J "  K; < 46 7(9: - K produced in the original experiment has very few elements in common with the set produced after quantum negation – erroneous predications were produced for only four of the Dual Dissection
We note that it is possible to select for particular predicate types by reversing the permutation operator that corresponds to the predicate of interest. For example, the Table 4 illustrates some examples of dissection-based predication A TREATS B is encoded by shifting the searches. Nearest neighbors for each search are on the left, elemental vector for A, Ae, 38 steps to the right, and and the pattern of the strongest connection through a adding this to the semantic vector for B. The unpermuted middle term in each case is shown on the right. In each vector, Ae, is also added to this vector. Applying the case, the same pattern of strongest connections was shared reverse shift to this semantic vector, to produce B^ should by all five of the nearest neighbors shown, and corresponds produce a vector that retains some remnant of the original to the pattern specified using the dissection-based Ae. As this remnant should be encoded in both the original approach. In all cases, the five nearest neighbors are semantic vector for B, and its permutation, B^, we attempt different than those retrieved by a logical leap search to extract the common components of these vectors using without dissection, and in many cases (denoted by an *), the following procedure, which we will term dissection: the nearest neighbors are concepts that do not occur with the cue concept directly in any predication in the database. These examples illustrate the way in which paired permutations can be used to infer information beyond that which is stated explicitly in the database. The system has inferred plausible treatments for depressive disorders and dysthymic disorder; and gene/protein-disease associations related to prion diseases based on taxonomic relationships extracted from the literature by SemRep. While these examples illustrate only a few possibilities for the application of dual dissection, it was not difficult to generate others. We found that this approach frequently results in logical leaps of the desired form. Pitfalls include a tendency to generalize too generously (for example, therapeutic associations involving high-level middle terms such as “pharmaceutical preparation”), and failure to isolate the desired predicate path. This was encountered with terms that occur in many predication relationships. In these cases, “correct” results would be interspersed amongst results linked to the cue term in other ways.
Dissection and Disjunction
Once vectors representing the desired sense of a concept
have been isolated using this procedure, it is possible to
Conclusion
construct a subspace with these vectors as bases. This In this paper, we develop and evaluate a model of subspace then represents the set {sense1 OR sense2 OR … automated reasoning based on “logical leaps”, in which sense n} and can be modeled using quantum disjunction meaningful associations between concepts derived from (Widdows and Peters 2003), after ensuring the bases of the distributional statistics are used to identify candidates for subspace are orthogonal to one another using the Gram- connection via a third concept, and identify the nature of Schmidt procedure. The association strength between each the relations involved. The chain of predicates constructed semantic vector and this subspace can then be measured by in this manner can subsequently be processed using projecting a semantic vector into the subspace and symbolic methods. Consequently, the vector-based “logical measuring the cosine between the original semantic vector leaps” approach relates to Gardenfors' proposal that conceptual representation at a geometric level might This allows us to broaden the scope of our search. For provide support for symbolic level processes (Gardenfors example, we might expand the query in Leap 1 to <  2000). While this approach is able to infer plausible connections between concepts, this inference occurs at the geometric level, avoiding the computational complexity of extensive symbolic inference. Furthermore, the vector spaces used for these experiments can be retained in RAM to facilitate rapid, dynamic, interactive exploration of biomedical concepts to support discovery. Vector operators derived from quantum logic show promise as a means to direct such searches away from previously trodden paths, and exploratory work suggests there may be ways to adapt "    
these operators to guide search toward conceptual territory #"#    of interest. Of particular interest for future work is the evaluation of the extent to which these operators might be used to model “discovery patterns” (Hristovski, Friedman and Rindflesch 2008), combinations of predications that have been shown useful for literature-based discovery. References
 . 6 >. @ = . '. (  #@  . (. * .
@#'. O 8  .  6 )!, 7?      > .  >.    . & )!+, 8  P     ?       !& ". . 2# > " . A.  B  &  . R )25$,  *    T   . / )!5, -       J  I   '           .    >    . 4 )!+,  S   '   *   > = . /. 6 . 8.  . (. O > . E )!$,       33   %    > = . / (. :   . (. O :  . R )!$,  I   *    (  >  J 7 . T A C    J C     7    $!%#$ >  . 6. *  . T. O * . T )2551, 6  . .     . 8. O 8  .  )!5, 8  .  6. O @ = . ' )!,         "        6  . .     . 8. O :   . ( )!2, 8    8    ?       J        (   . +. !. !+#!%$ (  . ' R.   . 7. ' " . ' 8.
    4      %   & A  .( 7. O :  . 7 )255+,        :%  ;4<=*  3235* 6    '%*     . 8. 6  .   :  . T /     & . $!. 2#%2     . 8  . O 6  .    )!2,       & .$$. 25#
  / "    . &  K " ( . @ . 8 . 6 >. O ( .  )255+, A # 7  . 8.  '  .    251$  /$               ,-    & . %&. 2!#2+$
-   . . 6  . 7. * . R 7. -  = . '.
:   . (.  6  .  )!5,     B  8  . /. ' . R *. > . ( 8.  )!5, *          %   (&    . 0)2!,.
:   . (. O / .  )!, :  B          1  * <*   * :   . ( )!+, 8      6   )  , 1  2$  ' &  > J   #B .
R  . ' &. O '  . ( R T )!, 8  

Source: http://www.puttypeg.net/papers/logical-leaps.pdf

Urgent: drug recall

January 20, 2012 Re: Ventolin HFA Inhaler – 60 Actuations – NDC 0173-0682-21 Ventolin HFA Inhaler Sample 60 Actuations - NDC 0173-0682-23 Ventolin HFA Inhaler Institutional Pack 60 Actuations - NDC 0173-0682-24 Ventolin HFA NOVAPLUS 60 Actuations - NDC 0173-0682-54 Dear Customer: GlaxoSmithKline is recalling the Ventolin HFA Inhaler lots listed below from the r

Biomedical research 2011; 22 (2):

Biomedical Research 2011; 22 (2): 125-129 Banaba: The natural remedy as antidiabetic drug Cheolin Park1 and Jae-Sik Lee2 1Wellness banaba Co. Ltd. 864-1 Janghang-dong, Ilsandong-gu, Goyang-si, Gyeonggi-do KOREA 410-380 2Department of Clinical Laboratory Science, Hyejeon College, San 16, Namjang-ri, Hongseong-eup, Hongseong-gun, Chungcheongnam-do Korea 350-702 Abstract Banaba ( L

Copyright © 2010-2014 Drug Shortages pdf