Size is the number of row or column of a square matrix

(<=> (Size ?M ?N) (And (Square-Matrix ?M) (= ?N (Row-Dimension ?M))))