Representation of complicated relations and structures