If you want to build a formula out of different peices, you contruct their conjunction
( { :a :b :c. } { :d :e :f. } ) log:conjunction { :a :b :c. :d :e :f. }.
Use with log:semantics, etc
( { :a :b :c. } <foo.rdf>.log:semantics ) log:conjunction { :a :b :c. (whatever foo.rdf said). }.
7 of 17 |