parse error at 1.1:

unexpected "i"

expecting "%", "s", "op", "pred", "type", "free", "generated", "var", "forall", dot, "axiom" or "{"