Great analysis of problems with TruthSift. Perhaps we should start a list of irregular and natural behavior that Arbital needs to handle gracefully. Hmm, I wonder what kind of page that should go on?
Can you point to other argument-structuring tools?
I see the point about this being a hard problem - it increases the likely investment needed to get the return, so my "high ROI for improving discussion quality" is a claim at risk. But if we can keep our eyes out for a low-effort way to solve the problem, the return still feels high.