Account for ambiguous labels
Output rules and inverse unary relations to stdout