| http://www.w3.org/ns/prov#value | - the followings are excluded: the case wherein R3 and R4 taken together with adjacent atoms form unsubstituted carbocyclic group (provided that the bond between carbon atom substituted with R3 and carbon atom substituted R4 is the double bond, and the other bonds between carbon atoms are single bond), and R1 is a group represented by the formula: ???Y1???Y2???Y3???Ra wherein Y1 and Y3 are single bo
|