Task: Information Extraction
Input (English): logic can be characterized by useful
Output (English): logic HasProperty useful