includes event Post-type properties of relations on structures Scott families and complexity of isomorphisms