标签 - s-interpretation
2025
FOL semantics
FOL semantics