Type Alias Statement<Args>

Statement:
    | Equality<Args>
    | Inequality<Args>
    | Negate<Args>
    | Connective<Args>
    | Quantifier<Args>
    | Like<Args>