Function logical_project 

pub fn logical_project(
    tensor: &[Vec<f64>],
    dim: usize,
    mode: LogicMode,
) -> Vec<f64>

Logical projection (∃): Existential quantification over a dimension

Semantically equivalent to: HasChild(X) := ∃Y: Parent(X,Y)

Arguments

• tensor - Input tensor
• dim - Dimension to project over (0 = rows, 1 = cols)
• mode - Boolean (max) or Continuous (sum)