Test semantic JSON formatter