c - (3TQj`a LQLGfis ((3eUQ (B; s c)
Keywords: Logic