The FOL elements for the TPTP language are supported.
The Hornlog elements <Expr> and <Fun> are supported.