fromTVRaw (TVRaw "ProbabilisticTruthValue" (a:b:c:_)   ) = ProbTV a b c
fromTVRaw (TVRaw "ProbabilisticTruthValue" (a:b:c:_)   ) = ProbTV a b c
fromTVRaw (TVRaw "ProbabilisticTruthValue" (a:b:c:_)   ) = ProbTV a b c