_:formula1 <http://www.w3.org/2000/10/swap/reify#statement> _:t1102649570statement1 .
_:t1102649570statement1 <http://www.w3.org/2000/10/swap/reify#subject> <http://example.org/path> .
_:t1102649570statement1 <http://www.w3.org/2000/10/swap/reify#predicate> <http://www.w3.org/2000/10/swap/log#semantics> .
_:t1102649570statement1 <http://www.w3.org/2000/10/swap/reify#object> _:path2 .
_:formula3 <http://www.w3.org/2000/10/swap/reify#statement> _:t1102649570statement2 .
_:t1102649570statement2 <http://www.w3.org/2000/10/swap/reify#subject> ?s .
_:t1102649570statement2 <http://www.w3.org/2000/10/swap/reify#predicate> ?p .
_:t1102649570statement2 <http://www.w3.org/2000/10/swap/reify#object> ?o .
_:formula1 <http://www.w3.org/2000/10/swap/reify#statement> _:t1102649570statement3 .
_:t1102649570statement3 <http://www.w3.org/2000/10/swap/reify#subject> _:path2 .
_:t1102649570statement3 <http://www.w3.org/2000/10/swap/reify#predicate> <http://www.w3.org/2000/10/swap/log#includes> .
_:t1102649570statement3 <http://www.w3.org/2000/10/swap/reify#object> _:formula3 .
_:formula4 <http://www.w3.org/2000/10/swap/reify#statement> _:t1102649570statement4 .
_:t1102649570statement4 <http://www.w3.org/2000/10/swap/reify#subject> ?s .
_:t1102649570statement4 <http://www.w3.org/2000/10/swap/reify#predicate> ?p .
_:t1102649570statement4 <http://www.w3.org/2000/10/swap/reify#object> ?o .
_:formula1 <http://www.w3.org/2000/10/swap/log#implies> _:formula4 .