sequence

Deductions

• key is subclass of sequence ⇐ (value is subclass of sequence), (value is opposite of key)
• truth value is subclass of sequence ⇐ (truth value is subclass of expression), (expression is subclass of sequence), (is subclass of is a transitive relation)
• value is subclass of sequence ⇐ (value is subclass of expression), (expression is subclass of sequence), (is subclass of is a transitive relation)