Translate the following inference to logic notation: Sarah is cooking and it is snowing. For all x, y is curious. Elisabeth is a taxi driver. Therefore Elisabeth is a taxi driver and Robert is curious.
p and q. forall x: P(x). r. Therefore r and P(a).