"""Staged independent-gold lane for categorical syllogisms."""