consider e being Element of the Sorts of (FreeMSA X) . v;
take e ; :: thesis: ( e is Function-like & e is Relation-like )
thus ( e is Function-like & e is Relation-like ) ; :: thesis: verum