ud.types.txt

# Individual type
a

# variable is a pair
{v <a,e>}

# word type
{w <v,t>}

# unary predicate type
{u <v,t>}

# binary predicate type
{b <v,<v,t>>}

# trinary predicate type
{tri <v,<v,<v,t>>>}

# dependency relation type
{r <w,<w,w>>}

# conjunction type
{c <t*,t>}

# existential
{ex <v,<t,t>>}