toTVRaw (ProbTV a b c     ) = TVRaw "ProbabilisticTruthValue" [a,b,c]
toTVRaw (ProbTV a b c     ) = TVRaw "ProbabilisticTruthValue" [a,b,c]
toTVRaw (ProbTV a b c     ) = TVRaw "ProbabilisticTruthValue" [a,b,c]