4.7.7. well-formed-formula Notes | Artificial Intelligence BIM | TU | TABFlux