T Level Specification Construction