Function logic_guide 

pub fn logic_guide(
    error: Option<&str>,
    logic: Option<&str>,
    readings: usize,
    input: &str,
    proof: &ProofStatus,
) -> GuideMode

What the Analysis row says about Logic input: for sentences, how many readings they have; for a theorem, whether its goal was proved. Never “could not be resolved” beside a formula the Logic Output is showing.