Browsing: probabilistic first order logical systems with llm\