@prefix : .
@prefix log: .
@prefix math: .
{ ?x :parent ?a. ?y :parent ?a. (?a ?a) math:sum ?c }
log:implies
{ :has ?c}.
54.
49.
87.
39.
44.
29.
92.
17.
24.
55.
81.
75.
13.
47.
72.
56.
47.
53.
5.
67.
36.
55.
51.
2.
94.
86.
26.
0.
95.
0.
10.
49.
52.
8.
99.
40.
96.
56.
33.
67.
0.
53.
88.
18.
26.
33.
27.
78.
19.
98.
60.
68.
28.
10.
66.
6.
60.
76.
63.
7.
74.
74.
24.
98.
40.
62.
88.
91.
92.
69.
37.
28.
43.
56.
46.
94.
72.
4.
77.
47.
14.
40.
75.
3.
72.
95.
80.
66.
23.
91.
0.
6.
74.
80.
17.
30.
26.
95.
90.
28.
54.
77.
72.
44.
59.
40.
34.
35.
26.
70.
56.
24.
93.
85.
85.
4.
89.
88.
84.
79.
31.
87.
1.
73.
87.