Progressivity of processes or durativity of static situations is expressed by the marker sa. Sa precedes the marker of IPFV ta (kind of specification of IPFV). Accordingly, sa is always followed by ta.
Habituality and future can be expressed by the IPFV marker ta.
Source: da Silva 1987: 27
Source: Lang 2002: 5