hinges on a classification of implicative and factive operators into nine implication signatures, according to their implications-positive (+), negative (-), or null (•)-in both positive and negative contexts.
refuse has implication signature -/•, because it carries a negative implication in a positive context (refused to dance implies didn't dance), and no implication in a negative context (didn't refuse to dance implies neither danced nor didn't dance).