@prefix log: <http://www.w3.org/2000/10/swap/log#> .
@forAll :X .

{ {:a :b []} log:includes {:a :b :X} } => {:X a :Result} .