@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix : <#>.

  {{:u :is [ :p1 :x; :p2 :y]. :u :p3 :z} log:implies
{:u :is [ :p1 :x; :p2 :y; :p3 :z]}} a log:Truth; log:forAll :u, :x, :y, :z.