orb Deductions object is for example orb ⇐ (orb is a object), (is a is inverse of is for example) orb is a object ⇐ (symbol is subclass of object), (orb is a symbol) symbol is for example orb ⇐ (orb is a symbol), (is a is inverse of is for example)