| InfRule of term * term * term
(* | array of term * literal option * literal option
|+ column separator, row separator +| *)
| InfRule of term * term * term
(* | array of term * literal option * literal option
|+ column separator, row separator +| *)