English | German | Russian | Czech

unrestricted predicate constant