properties  that  allows  for  drawing  conclusions  about  an  abstraction  based  on  what  properties  it  has.  In  contrast  to  the 
other approaches described above, we do not prescribe any particular methods, but focus on capturing various reﬁnement 
concepts declaratively.
A-framework-for-analysing-state-abstraction-metho_2022_Artificial-Intelligen