public static boolean markAsExplicitAssertionP(Justification self) {
    if (((Keyword)(Logic.$EXPLANATION_STYLE$.get())) == Logic.KWD_BRIEF) {
      if (self.inferenceRule == Logic.KWD_PRIMITIVE_STRATEGY) {
        { Keyword testValue000 = ((PrimitiveStrategy)(self)).strategy;

          if ((testValue000 == Logic.KWD_SCAN_COLLECTION) ||
              ((testValue000 == Logic.KWD_SCAN_PROPOSITIONS) ||
               ((testValue000 == Logic.KWD_LOOKUP_ASSERTIONS) ||
                (testValue000 == Logic.KWD_EQUIVALENCE)))) {
            return (true);
          }
          else {
          }
        }
      }
      else {
      }
    }
    return (false);
  }