Please try wrapping with back tick

such as 
			-- Do the properties verified within set theory hold for `{STS_ELEMENT}.is_in`?