@prefix l: <http://www.w3.org/2000/10/swap/log.n3#>.
@prefix u: <http://www.w3.org/2000/01/rdf-schema#>.
@prefix r: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.

{{ :t r:type :Specl.
   :Specl u:subClassOf :Genl. }
     l:implies { :t r:type :Genl. }
 } a l:Truth; l:forAll :t, :Specl, :Genl.