@prefix daml: <http://www.daml.org/2001/03/daml+oil#>.