fol: some basic axioms about obligations for monster burger example
fol: some basic axioms about obligations for monster burger example

legalese/legalese-compiler,legalese/legalese-compiler,legalese/legalese-compiler,legalese-io/legalese-compiler,legalese/legalese-compiler,legalese/legalese-compiler