is a theorem that involves

1 triples
GPTKB property

Random triples
Subject Object
gptkb:Pascal's_Theorem the intersection of lines