First-order query


first-order query is a first-order formula.