use valid syntax for triple terms in rdfs:Proposition consequent

Author: pfps

rdf/rdf12/rdf-semantics/triple-terms-propositions.ttl

@@ -2,4 +2,5 @@ PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
 PREFIX rdfs:   <http://www.w3.org/2000/01/rdf-schema#>
 PREFIX : <http://example.com/ns#>
 
-<<( :a :b :c )>> rdf:type rdfs:Proposition .
+:a1 :p1 _:pp .
+_:pp rdf:type rdfs:Proposition .