Hypothetical
From OpenCog
RelEx uses the hypothetical feature HYP to indicate truth assertions which are hypothetical. For example, the question "Fred is dead?" is an assertive question, and Fred's being dead is hypothetical. Similarly, "The dog will eat it." has "eat" being hypothetical.
