that unmarked forms receive unmarked interpretations has been formalized in Bidirectional OptimalityTheory (e.g. Blutner 1998, 2000) and also received a Game Theoretical account (e.g. Dekker and van Rooy 2000; van Rooy 2004).
Since bare forms are unmarked, we expect their meaning to be
difference entails that, in English, BPs can refer to kinds but definite plurals cannot, while in Romance, definite plurals can refer to kinds but BPs cannot. An interesting way to characterize this distinction has been proposed by Farkas and de Swart (2007), using the notions of OptimalityTheory.