ground atom

atomic formula without variables

Κατηγορίες: