toTVRaw (FuzzyTV a b      ) = TVRaw "FuzzyTruthValue"         [a,b]
toTVRaw (FuzzyTV a b      ) = TVRaw "FuzzyTruthValue"         [a,b]
toTVRaw (FuzzyTV a b      ) = TVRaw "FuzzyTruthValue"         [a,b]