symbolic ai subgroup of ai, 1 assertions