定義23 xは論理式である (define (M23 [x : GSequence]) : Natural (expt (P (sqr (len x))) (* x (sqr (len x))))) (define (IsEndedWith [n : GSeqSeq] [x : GSequence]) : Boolean (= (elm n (len n)) x)) (define (IsForm [x : GSequence]) : Boolean (∃…