stratml vs cl

following various exchanges, I wonder if are these two 'languages' formally
aligned?

if one of our missions is to promote natural language as a formal KR,
(over, say, other formal notations) then I say our best bet is CL, because
it  is demonstrated as logically valid, needs no further proof

If stratml can be mapped to CL, then also stratmL or any other ML that can
be used equivently to CL, and to formal notation

Is this the underlying argument I see lurking into the threads referencing
CL and natural language?

P