static BasicLogicRule curryLHS(BasicLogicRule rule) { ret curryLHS_BasicLogicRule(rule); }