@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix : <https://eyereasoner.github.io/eye/reasoning#>.

{("atom_codes" "ingirumimusnocteetconsumimurigni" ?A) log:pro true. (?A) :palindrome true} => {"ingirumimusnocteetconsumimurigni" a :Palindrome}.
