Not optimized. Worked on January 9, 2021.
cat notes-TESTING-every-Assert-in-DOI.txt | sed 's_[0-9]\+[\ :]\+[\ :]\+\(.*\)_\1_' | sort > ASSERT-cleaned-list-DOI.txt
cat ASSERT-cleaned-list-DOI.txt | sed 's_.*->\(assert.*\)_\1_' | sort > ASSERT-1000sorted-raggedrightmargin.txt
cat ASSERT-1000sorted-raggedrightmargin.txt | sed 's_\([[:alpha:]]\+\)(.*_\1_' | sort | uniq > ASSERT-3000-verbs-allTrimmed.txt