Good question. When dealing with logic it's important to avoid ambiguity. The statement "discover aliens" would need a concrete definition or meaning to avoid unclear wordings, especially on the logic side of things. I'm approaching this from a mathematical side so when we move primarily onto symbols and math statements will almost always be clear and have 1 meaning.