No FAQ available that match "formal semantics"