设甲与乙的合同签订在先，甲与丙的合同签订在后，而丙取得了该房屋的所有权。乙对甲享有下列哪些权利( )

A．可主张合同无效

B．可主张撤销合同

C．可主张解除合同

D．可主张违约责任

SOX is an alternative (156) for XML. It is useful for reading and creating XML content in a (157) editor. It is then easily transformed into proper XML. SOX was created because developers can spend a great deal of time with raw XML. For many of us, the popular XML (158) have not reached a point where their tree views, tables and forms can completely substitute for the underlying (159) language. This is not surprising when one considers that developers still use a text view, albeit enhanced, for editing other languages such as Java. SOX uses (160) to represent the structure of an XML document, which eliminates the need for closing tags and a number of quoting devices. The result is surprisingly clear.

A．semantic

B．pragmatics

C．syntax

D．grammar