A Gentzen Calculus System for a Contextual Consequence Relation in Many-sorted Rst Order Logic