Questions - first-order-logic