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).
}.
