inequality

3 triples
GPTKB property

Random triples
Subject Object
gptkb:𝔟_(bounding_number) ℵ₁ ≤ 𝔟 ≤ 2^ℵ₀
gptkb:Sucker's_payoff_(S) T > R > P > S
gptkb:Punishment_payoff_(P) T > R > P > S