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

{
    36 log:repeat ?I.
    (2 ?I) math:exponentiation ?N.
    (?N 2) math:remainder 0.
    ?N :goldbach (?P1 ?P2).
} => {
    ?N :goldbach (?P1 ?P2).
}.
