New syntax for relations
Zero, Initial, Terminal