ground atom

atomic formula without variables

دسته بندی ها: