strong ai subgroup of ai, 1 assertions