select-aggr-5.n3

# eye --quiet --nope --quantify http://eyereasoner.github.io/.well-known/genid/ https://raw.githubusercont
ent.com/doerthe/SPARQL-to-N3/main/SPIN-to-N3/examples/select-aggr-5.ttl https://raw.githubusercontent.com/doerthe/SPARQL-to-N3/main/SPIN-to-N3/auxiliary-files/aux.n3 --quer
y https://raw.githubusercontent.com/doerthe/SPARQL-to-N3/main/SPIN-to-N3/queries/query_general.n3

@prefix string: <http://www.w3.org/2000/10/swap/string#>.
@prefix list: <http://www.w3.org/2000/10/swap/list#>.
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix xsd: <http://www.w3.org/2001/XMLSchema#>.
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>.
@prefix spin: <http://spinrdf.org/spin#>.
@prefix sp: <http://spinrdf.org/sp#>.
@prefix ex: <http://example.org/spin#>.
@prefix e: <http://eulersharp.sourceforge.net/2003/03swap/log-rules#>.
@prefix aux: <http://example.org/aux#>.
@prefix math: <http://www.w3.org/2000/10/swap/math#>.
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.
@prefix var: <http://eyereasoner.github.io/.well-known/genid/2841614770281107745#>.

{
    (((("x" ?t_14)) (("y" ?t_15) ("z" ?t_16))) {
        ?t_14 <http://example.com/data/#p> ?t_15.
        ?t_14 <http://example.com/data/#q> ?t_16.
    } ?t_17) log:collectAllIn ?t_18.
    (?t_19 ?t_20) list:in ?t_17.
    (?t_21 {
        (?t_19 ?t_22) list:in ?t_17.
        ("y" ?t_21) list:in ?t_22.
    } ?t_23) log:collectAllIn ?t_18.
    ("x" ?t_14) list:in ?t_19.
    ?t_23 math:min ?t_24.
    (?t_24 2) math:product ?t_25.
} => {
    _:bn_1 ex:result (("x" ?t_14) ("min" ?t_25)).
}.