blob: 42d42074ffbdc8b714643dff51c01ba33fb16b33 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
|
_: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 .
|
