Those are the only ones I have. One of the things was it passed the smell test from minute one. Whats the numerator and denominator for this calculation? Not all these guys have exactly the same model or do all of this in lockstep with each other. And if they die because some of the tech ones are working on cryogenic preservation and other life extension things.
Those are the only ones i have twice the number 23 in the model.
( z0 have :ARG0 ( z1 i ) :ARG1 ( z2 one :ARG1-of ( z3 have-quant :ARG2 ( z4 number :value 23 ) :ARG3 ( z5 times :quant 2 ) ) :domain ( z6 that :mod ( z7 only ) ) ) :location ( z8 model ) )
(z0 / have-03
    :ARG0 (z1 / i)
    :ARG1 (z2 / one
              :ARG1-of (z3 / have-quant-91
                           :ARG2 (z4 / number
                                     :value 23)
                           :ARG3 (z5 / times
                                     :quant 2))
              :domain (z6 / that
                          :mod (z7 / only)))
    :location (z8 / model))
Those are the only ones i have twice the number 23 in the model .
z6 :mod z7
z2 :domain z6
z0 :ARG0 z1
z0 :ARG1 z2
z5 :quant 0
z3 :ARG3 z5
z2 :ARG1-of z3
z3 :ARG2 z4
z4 :value 1
z0 :location z8