Predicate function ( ) { return next ; }
return the possibly true predicate concode_field_sep Predicate next concode_elem_sep List<Expression> premises concode_field_sep List<Expression> getPremises concode_elem_sep String toString