Parses input as a Clause using operators. A final full stop is optional.
Structures are promoted to facts; rules and directives retain their specialized types.
if parsing fails
if the parsed term cannot represent a clause
if input cannot represent a Clause