'inference'.
Comments in inference records.
Comments in sources.
Comments in sources.
Unknown keyword.
More comments.
Introduced keyword.
More comments.
File keyword.
Theory keyword.
Creator keyword.
Comments.