equals 1 if

1 triples
GPTKB property

Random triples
Subject Object
gptkb:Legendre_symbol a is a quadratic residue modulo p and a ≠ 0 mod p