Specification Encoder