toTVRaw :: TruthVal -> TVRaw
toTVRaw (SimpleTV a b     ) = TVRaw "SimpleTruthValue"        [a,b]
toTVRaw :: TruthVal -> TVRaw
toTVRaw (SimpleTV a b     ) = TVRaw "SimpleTruthValue"        [a,b]
toTVRaw (SimpleTV a b     ) = TVRaw "SimpleTruthValue"        [a,b]