syntax includes

2 triples
GPTKB property

Random triples
Subject Object
gptkb:full_μ-calculus modal operators
gptkb:full_μ-calculus fixed point variables