* @return boolean
   */
  public boolean subsetP(Cons otherlist) {
    { Cons self = this;

      { boolean alwaysP000 = true;

        { Stella_Object item = null;
          Cons iter000 = self;

          loop000 : for (;!(iter000 == Stella.NIL); iter000 = iter000.rest) {
            item = iter000.value;
            if (!otherlist.memberP(item)) {
              alwaysP000 = false;
              break loop000;
            }
          }
        }
        { boolean value000 = alwaysP000;

          return (value000);
        }
      }
    }
  }