speed up proof of psholSemanticsTheory.semantics_11
bit more psholSemantics