Let l be the first-order language with a single predicate s(p; q), meaning "p shaves q." assume a domain of people. a. consider the sentence "there exists a person p who shaves every one who does not shave themselves, and only people that do not shave themselves." express this in l. b. is this sentence satisfiable? explain your answer. c. convert the sentence in a. to clausal form. d. construct a resolution proof to show that the clauses in c. are inherently inconsistent. (note: you do not need any additional axioms).

Write a program that will compute the volume of ice cream served in a cone. as you can see in the diagram below, the ice cream is served as a hemisphere of frozen deliciousness on top of a cone, which is also packed with frozen deliciousness. thus, the total volume of ice cream sold is the volume of the hemisphere plus the volume of the cone. the example shows an ice cream cone in which the hemisphere and cone have a radius of 10 inches and the cone has a height of 15 inches. your program must instead prompt for these two values, which are taken from the keyboard as integers: • the hemisphere/cone radius in inches, and