I just got an idea. If you still recall the BOBR project - I thought of adding the assertions (Prolog-like facts and rules) to the specification.
object false:boolean, true:boolean;
assert equal(false, not(true));
assert equal(true, not(false));
In fact you could also tell BOBR about the possible connections between the cities in PerkunWars:
object place_Wyzima:place, place_Shadizar:place, place_Novigrad:place;
assert there_is_a_connection(place_Wyzima, place_Shadizar);
assert there_is_a_connection(place_Shadizar, place_Novigrad);
assert there_is_a_path(X,Y):-there_is_a_connection(X,Z), there_is_a_path(Z,Y);
This would allow you deducing that there is a path from place_Wyzima to place_Novigrad.
It is just an idea. Of course my dream would be to use the knowledge somehow to produce the model. I will think about it.