($ has (Superclasses (Physobj))