A Connectionist Model for Constructive Modal Reasoning