@prefix math: <http://www.w3.org/2000/10/swap/math#>.
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix e: <http://eulersharp.sourceforge.net/2003/03swap/log-rules#>.
@prefix t: <https://eyereasoner.github.io/eye/reasoning/tfcontext#>.
@prefix geo: <http://www.w3.org/2003/01/geo/wgs84_pos#>.

{   ?C geo:lat ?LAC.
    ?C geo:long ?LOC.
    ?SCOPE e:findall (
        ?T
        {   ?T geo:lat ?LA.
            ?T geo:long ?LO.
            ?T log:notEqualTo ?C.
            ((((?LA ?LAC)!math:difference 2)!math:exponentiation ((?LO ?LOC)!math:difference 2)!math:exponentiation)!math:sum 0.5) math:exponentiation ?D.
            ?D math:lessThan 1.0.
        }
        ?L
    ).
}
=>
{   ?C t:answer ?L.
}.
