added satisfaction subfile to syntax and semantics section