Propi is a prototype tool for working with semantic properties, written in Java.