public static Keyword tryFullSubqueryProof(ControlFrame frame) {
    { Description description = ((Description)(KeyValueList.dynamicSlotValue(frame.dynamicSlots, Logic.SYM_LOGIC_DESCRIPTION, null)));
      Vector externalarguments = ControlFrame.findExternalArgumentsForSubgoal(frame);

      if (ControlFrame.overlayWithPatternFrameP(frame, description, externalarguments)) {
        return (Logic.KWD_MOVE_IN_PLACE);
      }
      if ((frame.partialMatchFrame == null) &&
          ((((QueryIterator)(Logic.$QUERYITERATOR$.get())) != null) &&
           (((QueryIterator)(Logic.$QUERYITERATOR$.get())).partialMatchStrategy != null))) {
        ControlFrame.createAndLinkPartialMatchFrame(frame, Logic.KWD_ATOMIC_GOAL);
      }
      return (Logic.KWD_FAILURE);
    }
  }