bestiesmkcp7904 bestiesmkcp7904 14-01-2024 English contestada What are the two distinct applications of axiomatic semantics?