bnodes/existentials in Construct

Are bnodes allowed in the Construct clause?  If so, that's a lot like
existentially quantified terms in the consequent of a rule, and we're in
Horn logic instead of the more conventional datalog.

    -- sandro