PREASSOCIATIVE
"check" check
PREASSOCIATIVE
"check" "#
PREASSOCIATIVE
"check" " set+ "
PREASSOCIATIVE
"check" " member "
PREASSOCIATIVE
"check" p.not "
POSTASSOCIATIVE
"check" " p.imply "
PREASSOCIATIVE
"check" metadeclare "
PREASSOCIATIVE
"check" " Init
PREASSOCIATIVE
"check" " at "
POSTASSOCIATIVE
"check" " infer "
PREASSOCIATIVE
"check" All " : "
POSTASSOCIATIVE
"check" " oplus "
PREASSOCIATIVE
"check" " conclude "
POSTASSOCIATIVE
"check" line " : " >> " ; "
POSTASSOCIATIVE
"check" " ;; "
PREASSOCIATIVE
"check" " proves "
POSTASSOCIATIVE
"check" axiom " : " end axiom
POSTASSOCIATIVE
"check" dbug ( " ) "