Rename LF_Empty to BottomJudgment
Add notes on blackboard notation for inference rule encoding