SyntaxProblem
Where a text (a theory, a query, flags) does not parse: its line and column (from 1), the token found there when there is one, and why (description, as Unexpected token '.'; expected term)
Where a text (a theory, a query, flags) does not parse: its line and column (from 1), the token found there when there is one, and why (description, as Unexpected token '.'; expected term)