fromTVRaw (TVRaw "FuzzyTruthValue"        (a:b:_)      ) = FuzzyTV a b
fromTVRaw (TVRaw "FuzzyTruthValue"        (a:b:_)      ) = FuzzyTV a b
fromTVRaw (TVRaw "FuzzyTruthValue"        (a:b:_)      ) = FuzzyTV a b