Yeah, that's the way I always think of it. The interesting relation between sentences is really the semantic one - the syntactic one is just a heuristic for finding when the semantic relationship holds, but soundness and completeness show that it's in fact coextensive.
(no subject)
Date: 2007-05-02 06:40 am (UTC)