@prefix : <#> .
     @prefix log: <http://www.w3.org/2000/10/swap/log#> .
     @prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
     @prefix s: <http://www.w3.org/2000/01/rdf-schema#> .
    
    :a     :b :c .
    
    :test2     a :success .
    
    log:includes     a rdf:Property;
         s:comment """ The includes property indicates that one formula either
is, or is a conjunction of several subformulae one of which is,
the other forumla or its equivalent by the renaming of variables.

It can be calculated if one knows the formulae involved.
""" .
    {
        
          [      :b :c ].
        
        }     log:implies {:test2     a :success .
        } .