Write true statements to file, but there seems to be a mismatch in the two grammars (generates a sentence that cannot be parsed?)