docs: def all_models(self, alphabet: _Alphabet) -> Set[PLInterpretation]:
          """Find all the possible interpretations given a set of symbols"""
  
          all_possible_interpretations = alphabet.powerset().symbols
          all_models = set()
          for i in all_possible_interpretations:
              # compute current Interpretation, considering False
              # all propositional symbols not present in current interpretation
              current_interpretation = PLInterpretation(i)
              if self.truth(current_interpretation):
                  all_models.add(current_interpretation)
  
          self._all_models = all_models
          return all_models