quantifies over

4 triples
GPTKB property

Random triples
Subject Object
gptkb:second-order_arithmetic sets of natural numbers
gptkb:second-order_arithmetic individual natural numbers
gptkb:Monadic_Second-Order_Logic individual elements
gptkb:Monadic_Second-Order_Logic sets of elements