Description:committee, Vibhav Gogate, Vladimir lifschitz and Pradeep Ravikumar for .. The most common class is Non-entail. these two constants and the predicate symbols in Equation 1.1, the set of all . Given a set of weighted log- .. the sentence presupposes that there are, in fact, ogres (Strawson, 1950;.