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