@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#> .
    
    :test1     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.
""" .
    {
        {
            :a     :b :c .
            
            }     log:includes {:a     :b :c .
            } .
        
        }     log:implies {:test1     a :success .
        } .