Envoyer la notice par courriel: A First-Order Logic with Frames