It might be better to do this organically & continuously, rather than in a one-time thread. That is, we could keep an eye out for reasoning-related patterns that haven't been labelled yet, and then coin names for them as & when we notice them (maybe here, maybe in the Open Thread, wherever).

(As it happens, I have a couple of such patterns I've thought about posting about, but I see no point in writing posts until I have clear & uncontroversial examples to illustrate them. Though I did post an RQ about one of them.)

Milhouse Lab, obv.