ASSERT-STRING
Converts a string into a fact and asserts it.
(assert-string <
string-expression
>)