Definitions for "ABLP Logic Here"
a list of the subset of axioms in ABLP logic usedin this paper