@prefix list: <http://www.w3.org/2000/10/swap/list#>.
@prefix t: <http://josd.github.io/eye/reasoning/tfcontext#>.
@prefix h: <http://josd.github.io/eye/reasoning/h2o#>.

{
    ?T h:inOneOf ?LIST.
    ?C list:in ?LIST.
    ?C t:position-tensor (?LA ?LO).
}
=>
{
    ?T h:location (?LA ?LO).
}.
