5 Logical Structures in SAT Questions