If you're correct, it's unlikely that this license would be enforceable under current copyright law. This can only work if output contains parts of the copyrigh

If you're correct, it's unlikely that this license would be enforceable under current copyright law. This can only work if output contains parts of the copyrighted work (see: Bison's GPL exception).