finite verb subgroup of verb, 2 assertions