1 class inclusion assertions: 유목 포함 단언