Add truth parent decorator algorithm
This algorithm has been running in some stand-alone code for a few years now with minimal changes. I think it might be useful to put in FTAG derivations.
This algorithm has been running in some stand-alone code for a few years now with minimal changes. I think it might be useful to put in FTAG derivations.