ASSERT-STRING

Converts a string into a fact and asserts it.

(assert-string <string-expression>)