fromTVRaw (TVRaw "CountTruthValue"        (a:b:c:_)    ) = CountTV a b c
fromTVRaw (TVRaw "CountTruthValue"        (a:b:c:_)    ) = CountTV a b c
fromTVRaw (TVRaw "CountTruthValue"        (a:b:c:_)    ) = CountTV a b c