On Guessing Whether a Sequence has a Certain Property