There is a logical underpinning or at least a formal conceptual scheme, in which the semantics of sentences can be represented.
the mapping of sentences to their formal representations is itself not defined in a fully formal way, but requires external background knowledge, heuristics, or user feedback.