3 ms·

I didn't know FOL stood for First-Order Logic.

• YeGoblynQueenne 4y ago
  Oh, sorry, you're absolutely right. I should have explained the acronym before using it.