app/Fact.php
public function date(): Date
    {
        if ($this->date === null) {
            $this->date = new Date($this->attribute('DATE'));
        }

        return $this->date;
    }
public function date(): Date
    {
        if ($this->date === null) {
            $this->date = new Date($this->attribute('DATE'));
        }

        return $this->date;
    }
public function date ( ) : Date { if ( $ this -> date === null ) { $ this -> date = new Date ( $ this -> attribute ( 'DATE' ) ) ; } return $ this -> date ; }
Get the date for this fact.
We can call this function many times, especially when sorting,
so keep a copy of the date.

@return Date
Get the date for this fact . We can call this function many times especially when sorting so keep a copy of the date .