@prefix : <http://www.w3.org/2002/08/LX/RDF/v2#> .
     @prefix log: <http://www.w3.org/2000/10/swap/log#> .
    
      [      a :TrueSentence;
             :exivar <#_gX>;
             :subformula  [
                 :objectTerm <#_gX>;
                 :predicateTerm  [
                     :denotation <http://example.com/#b> ];
                 :subjectTerm  [
                     :denotation <http://example.com/#a> ] ] ].