ground atom

atomic formula without variables

카테고리: