I’m new for IDP-Z3, but I have 20+ years of experience in development.
I have found very good getting started guide (and have got the idea), the reference guide and source codes (which are also very important).
Now I would like to use IDP-Z3.

How to simplify learning curve for FO and IDP-Z3 for practical usage?
Also I would like to understand is it possible to use FO as a language for data modeling for API?

Are there any books, extended manuals or online cources for FO and IDP-Z3?

For example, I have found that IDP-Z3 can help in the following generic forms of reasoning: Model checking, Model expansion, Possible values, Propagation, Explanation, Optimization, Relevance.
But for now it’s difficult for me to understand how to do it.