added commented-out semantic spec for Is-king and Is-subak
more notes about the rat/demon/enemy propns