static BasicLogicRule listToBasicLogicRule(L l) {
  ret empty(l) ? null : BasicLogicRule(first(l), second(l));
}