Underspecified Relations with a Formal Language of Situation Theory