Termen har en speciell innebörd inom den av bl.a. Arne Næss utvecklade teorin för empirisk semantik. En sats A är en precisering av en sats B, om alla rimliga tolkningar av satsen A också är rimliga tolkningar av satsen B och det finns minst en rimlig