Also known as HOL, higher order simple predicate logic
form of predicate logic that is distinguished from first-order logic by additional quantifiers and, sometimes, stronger semantics
via Wikidata sitelinks · CC0
Discovered by embedding cosine similarity (sentence-transformers MiniLM, 384-dim).