theorem HumanLifeMoralWorth.human_organism_has_serious_moral_claim_from_fertilization
theorem HumanLifeMoralWorth.human_organism_has_serious_moral_claim_from_fertilization
(logic_is_actual : LogicIsActual)
(fertilization_begins_human_organism_existence : A FertilizationBeginsHumanOrganismExistence)
(every_human_organism_has_inherent_moral_worth : A EveryHumanOrganismHasInherentMoralWorth)
(inherent_moral_worth_gives_serious_claim_not_to_be_intentionally_killed : A InherentMoralWorthGivesSeriousClaimNotToBeIntentionallyKilled)
: A EveryHumanOrganismHasSeriousMoralClaimFromFertilization