The :PREDICATE option to DEFSTRUCT (CLtL, p312) violates the supposed convention for the formation of predicate names (CLtL, p71) by blindly adding -P to the end of the symbol rather than adding just "P" when there is no "-" in the base symbol.