1_:formula1 <http://www.w3.org/2000/10/swap/reify#existential> _:bnode2 . 2_:formula1 <http://www.w3.org/2000/10/swap/reify#universal> ?var3 . 3_:formula1 <http://www.w3.org/2000/10/swap/reify#statement> _:t1102794654statement1 . 4_:t1102794654statement1 <http://www.w3.org/2000/10/swap/reify#subject> _:bnode2 . 5_:t1102794654statement1 <http://www.w3.org/2000/10/swap/reify#predicate> <http://example.org/#pred> . 6_:t1102794654statement1 <http://www.w3.org/2000/10/swap/reify#object> ?var3 . 7_:formula4 <http://www.w3.org/2000/10/swap/reify#statement> _:t1102794654statement2 . 8_:t1102794654statement2 <http://www.w3.org/2000/10/swap/reify#subject> <http://example.org/#s> . 9_:t1102794654statement2 <http://www.w3.org/2000/10/swap/reify#predicate> <http://example.org/#p> . 10_:t1102794654statement2 <http://www.w3.org/2000/10/swap/reify#object> <http://example.org/#o> . 11_:formula1 <http://www.w3.org/2000/10/swap/log#implies> _:formula4 . 12