The logical nature of Systemic-Functional Grammar and “grammatical logic”