Include statements not supported

[lex-lex]

When I try to embed a problem

include('logic.spec').

thf(one_prime, axiom, ....).
....(further formulas).....

embedlogic will give me an error main.EmbedModal main - SEVERE: Could not convert: No explicit or default consequence semantics found for identifier one_prime.
However, when I copy&paste the contents of logic.spec into the file, it works fine.