Getting the KIF parser to work