PREFIX log: <http://www.w3.org/2000/10/swap/log#>
PREFIX : <https://example.org/ns/example#>

{:will :hasName "will"} :label "formula1".
{_:e_x_1 :hasName "will"} :label "formula2".
{?U_0 :label "formula1". ?U_1 :label "formula2". ?U_0 log:includes ?U_1} => {:test1 a :SUCCESS}.

