predicate (Q1144319)
concept of mathematical logic
Language: