The resignation came amid recent allegations by Massachusetts' attorney general that the Boston archdiocese engaged in "an elaborate scheme" to keep quiet the issue of child sexual abuse by priests.
The elaborate scheme had not yet been proven when the attorney general made this claim.
If they were allegations, the claim was not yet proven. This is a logical inference that the model missed.
( z0 prove :ARG1 ( z1 scheme :mod ( z2 elaborate ) ) :polarity - :time ( z3 yet ) :time ( z4 claim :ARG0 ( z5 person :ARG0-of ( z6 have-org-role :ARG2 ( z7 attorney :mod ( z8 general ) ) ) ) :ARG1 ( z9 this ) ) )
(z0 / prove-01
    :ARG1 (z1 / scheme
              :mod (z2 / elaborate))
    :polarity -
    :time (z3 / yet)
    :time (z4 / claim-01
              :ARG0 (z5 / person
                        :ARG0-of (z6 / have-org-role-91
                                     :ARG2 (z7 / attorney
                                               :mod (z8 / general))))
              :ARG1 (z9 / this)))
The elaborate scheme had not yet been proven when the attorney general made this claim .
z1 :mod z2
z0 :time z3
z0 :polarity 0
z0 :ARG1 z1
z5 :ARG0-of z6
z6 :ARG2 z7
z7 :mod z8
z4 :ARG1 z9
z4 :ARG0 z5
z0 :time z4