Sentence NOT Well-Formed

[Help]
Mt : ProtestantismMt
Sentence :
(thereExists ?KILLING
   (AND
       (isa ?KILLING
           (KillingFn HomoSapiens))
       (performedBy ?KILLING ?THE-AGENT)
       (agentViolatesObligation ?THE-AGENT TheSixthCommandment)
       (obligatedAgents KeepAreolaCoveredInPublic ?THE-AGENT)))

Repairs :
The fact (isa KeepAreolaCoveredInPublic Obligation) must be added TO ProtestantismMt in order FOR the above sentence TO be well-formed.   [Make this repair AND THEN reattempt]
Explanation :
Term TheSixthCommandment violates arg-isa Obligation
applicable TO argument 2 of relation agentViolatesObligation
in mt ProtestantismMt.
Term KeepAreolaCoveredInPublic violates arg-isa Obligation
applicable TO argument 1 of relation obligatedAgents
in mt ProtestantismMt.
Term KeepAreolaCoveredInPublic violates arg-isa Obligation
applicable TO argument 1 of relation obligatedAgents
(via obligationParticipants)
in mt ProtestantismMt.
Term (AND (isa ?KILLING (KillingFn HomoSapiens)) (performedBy ?KILLING ?THE-AGENT) (agentViolatesObligation ?THE-AGENT TheSixthCommandment) (obligatedAgents KeepAreolaCoveredInPublic ?THE-AGENT))
violates quotedDefnIff CYCL-SENTENCE-ASSERTIBLE?
of collection CycLSentence-Assertible
applicable TO arg 2 of thereExists
in mt ProtestantismMt.
Term (AND (isa ?KILLING (KillingFn HomoSapiens)) (performedBy ?KILLING ?THE-AGENT) (agentViolatesObligation ?THE-AGENT TheSixthCommandment) (obligatedAgents KeepAreolaCoveredInPublic ?THE-AGENT)) violates defns of arg-quoted-isa CycLSentence-Assertible
applicable TO argument 2 of relation thereExists
in mt ProtestantismMt.