log:conjunction

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). }.