Comment by kevinwang

> It is not semantics. For decades, logic and CS researchers have known what reasoning is.

Curious what this is!