@prefix : <http://www.w3.org/2002/08/LX/RDF/v2#> .
     @prefix log: <http://www.w3.org/2000/10/swap/log#> .
    
      [      a :TrueSentence;
             :subformula  [
                 :condLeft  [
                     :objectTerm <http://example.com/#X>;
                     :predicate <http://example.com/#b>;
                     :subject <http://example.com/#a> ];
                 :condRight  [
                     :objectTerm <http://example.com/#X>;
                     :predicate <http://example.com/#c>;
                     :subject <http://example.com/#a> ] ];
             :univar <http://example.com/#X> ].