castlingRule
P168859
predicate
Indicates the conditions and constraints under which castling is legally allowed in chess between a king and a rook.