inductive logic subgroup of logic, 1 assertions