Approved Core BLD PRD Test that safe formulas are accepted. Note that this ruleset does not have finite models, and is not strongly safe. Core_Safeness-input.rif http://www.w3.org/2005/rules/test/repository/tc/Core_Safeness/Core_Safeness-input.rif ) Prefix(func ) Group( ex:p(0) Forall ?x (ex:p(External(func:numeric-add(?x 1))) :- ex:p(?x)) ) ) ]]>