@prefix : <#> . @prefix ql: . @prefix quot: . @prefix dc: . @prefix log: . this log:forAll :x , :a , :b , :c , :y , :z . { :x dc:title :a; ql:id :b; ql:season :c . :y quot:quotBody :z; quot:id :b } log:implies { :x dc:title :a; ql:id :b; ql:season :c; ql:homerQuote :z } .