Attempts -- Can Semi-Formal be Made More Formal? -- Beyond Satisfiability: Extensions