Lifted Inference with Linear Order Axiom

Open in new window