Using semantic parsing or related techniques, it is possible to extract knowledge from text in the form of predicate–argument structures. Such structures are often called propositions. With the advent of massive corpora such as Wikipedia, it has become possible to apply a systematic analysis of a wide range of documents covering a significant part of human knowledge and build large proposition ...

The California Stem Cell Research and Cures Act, also called Proposition 71 [5], was a ballot initiative proposed by California voters in 2004 to allocate three billion dollars of state funds for stem cell research over ten years. Endorsed by California scientists and patient-advocates, Prop 71 passed on 2 November 2004, amending the state constitution to make stem cell research a constitutiona...

Summary: Beliefs, social rules, and food taboos influence the emotions we feel about food, determining our attitudes consumption behaviors. The more a product represents values considered important to individuals, greater chance of being chosen for consumption. This article aimed investigate levels zoophagy sarcophagy propose an index understand consumers' towards beef. Three hundred eighty-fiv...

A knowledge base is redundant if it contains parts that can be inferred from the rest of it. In this paper, with no district bound, we study the reduction theory and algorithm on proposition logic set. The propositions of a given proposition set fall into three categories: necessary proposition, useful proposition, and useless proposition. A reduction of a given set is composed of all the neces...

In 1978, California passed one of the most significant tax changes initiated by voters in the United States. Proposition 13 lowered property tax rates and restricted future property tax increases. In this paper, we study the implications of Proposition 13 on house prices, housing turnover, and household welfare. In our benchmark calibration, the introduction of Proposition 13 leads to a 25% inc...

Sequential logic deviates from propositional logic by taking into account that atomic propositions yield different Boolean values at different times during the sequential evaluation of a single proposition. Reactive valuations capture this dynamics of a proposition’s environment. This logic is phrased as an equationally specified algebra rather than in the form of proof rules. It is strictly mo...