fromTVRaw :: TVRaw -> TruthVal
fromTVRaw (TVRaw "SimpleTruthValue"       (a:b:_)      ) = SimpleTV a b
fromTVRaw :: TVRaw -> TruthVal
fromTVRaw (TVRaw "SimpleTruthValue"       (a:b:_)      ) = SimpleTV a b
fromTVRaw (TVRaw "SimpleTruthValue"       (a:b:_)      ) = SimpleTV a b