For most people I'm certain the problem is to translate it into logic expressions they understand naturally. It's the same as how most people fail to correctly

For most people I'm certain the problem is to translate it into logic expressions they understand naturally. It's the same as how most people fail to correctly apply basic logic when presented with arbitary problems and immediately succeed when presented with a human context of person A did X. All these low level problems needs ways to help people to generalize their existing intuition.