First steps for specifications parsing