public static Description extractCollectionArgument(Proposition proposition) {
    if (proposition.kind == Logic.KWD_ISA) {
      return (Logic.getDescription(((Surrogate)(proposition.operator))));
    }
    else {
      return (((Description)(Logic.argumentBoundTo((proposition.arguments.theArray)[1]))));
    }
  }