toTVRaw (CountTV a b c    ) = TVRaw "CountTruthValue"         [a,b,c]
toTVRaw (CountTV a b c    ) = TVRaw "CountTruthValue"         [a,b,c]
toTVRaw (CountTV a b c    ) = TVRaw "CountTruthValue"         [a,b,c]