for n=1

2 triples
GPTKB property

Random triples
Subject Object
gptkb:SL(n,_ℤ) trivial group
gptkb:A_n_(alternating_group) trivial group