AFM.LRb: Logical Reasoning – Logical Symbolism and Binary