Expletive Constructions and Agreement in Labeling Theory | Synapse