Example #1
0
 def __str__(self):
     text = ""
     if self.statement:
         text += f"\n" + indented("OF:")
         factor_text = indented(str(self.statement), tabs=2)
         text += f"\n{str(factor_text)}"
     if self.pleading:
         text += f"\n" + indented("FOUND IN:")
         factor_text = indented(str(self.pleading), tabs=2)
         text += f"\n{str(factor_text)}"
     return super().__str__().format(text).strip()
Example #2
0
 def __str__(self):
     text = ""
     if self.exhibit:
         text += f"\n" + indented("OF:")
         factor_text = indented(str(self.exhibit), tabs=2)
         text += f"\n{str(factor_text)}"
     if self.to_effect:
         text += f"\n" + indented("INDICATING:")
         factor_text = indented(str(self.to_effect), tabs=2)
         text += f"\n{str(factor_text)}"
     return super().__str__().format(text).strip()
Example #3
0
    def __str__(self):
        text = ""
        if self.form:
            text += f"in the FORM {self.form}"
        if self.statement:
            text += f"\n" + indented(f"WITH THE ASSERTION:")
            factor_text = indented(str(self.statement), tabs=2)
            text += f"\n{str(factor_text)},"
        if self.statement_attribution:
            text += f"\n" + indented(f"ATTRIBUTED TO {str(self.statement_attribution)}")

        return super().__str__().format(text)
Example #4
0
    def __str__(self):

        text = "RESULT:"
        for f in self.outputs:
            text += "\n" + indented(str(f))
        if self.inputs:
            text += "\nGIVEN:"
            for f in self.inputs:
                text += "\n" + indented(str(f))
        if self.despite:
            text += "\nDESPITE:"
            for f in self.despite:
                text += "\n" + indented(str(f))

        return text
Example #5
0
 def __str__(self):
     unwrapped = str(
         self.predicate.content_with_entities(self.context_factors))
     text = wrapped(super().__str__().format(unwrapped))
     if self.standard_of_proof:
         text += f"\n" + indented(
             "by the STANDARD {self.standard_of_proof}")
     return text
Example #6
0
    def str_with_concrete_context(self):
        """
        Identify this Fact more verbosely, specifying which text is a concrete context factor.

        :returns:
            the same as the __str__ method, but with an added "SPECIFIC CONTEXT" section
        """
        text = str(self)
        concrete_context = [
            factor for factor in self.context_factors if not factor.generic
        ]
        if any(concrete_context) and not self.generic:
            text += f"\n" + indented("SPECIFIC CONTEXT:")
            for factor in concrete_context:
                factor_text = indented(str(factor), tabs=2)
                text += f"\n{str(factor_text)}"
        return text
Example #7
0
 def __str__(self):
     mandatory = "MUST" if self.mandatory else "MAY"
     universal = "ALWAYS" if self.universal else "SOMETIMES"
     text = (
         f"the Rule that the court {mandatory} {universal} impose the\n" +
         indented(str(self.procedure)))
     if self.enactments:
         text += f"\n  GIVEN the ENACTMENT"
         if len(self.enactments) > 1:
             text += "S"
         text += ":"
         for enactment in self.enactments:
             text += "\n" + indented(str(enactment), tabs=2)
     if self.enactments_despite:
         text += f"\n  DESPITE the ENACTMENT"
         if len(self.enactments_despite) > 1:
             text += "S"
         text += ":"
         for despite in self.enactments_despite:
             text += "\n" + indented(str(despite), tabs=2)
     return text
 def __str__(self):
     action = (
         "consider UNDECIDED"
         if not self.decided
         else ("ACCEPT" if self.rule_valid else "REJECT")
     )
     exclusive = (
         (
             f" that the EXCLUSIVE way to reach "
             f"{self.rule.outputs[0].short_string} is"
         )
         if self.exclusive
         else ""
     )
     rule_text = indented(str(self.rule))
     text = wrapped(f"the Holding to {action}{exclusive}") + f"\n{rule_text}"
     return text