Lines Matching refs:after
91 interval_point([_8151, _8154], after, [_8161, _8164]) :- _8164 < _8151.
111 encode(after, 2).
154 check_pi(_13393, [_13398, _13401], after) :- _13401 < _13393.
155 check_pi([_13476, _13479], _13482, after) :- _13482 < _13476.
173 pi_ii(after, after).
183 ip_ii(after, during).
184 ip_ii(after, finishes).
185 ip_ii(after, overlaped_by).
186 ip_ii(after, met_by).
187 ip_ii(after, after).
193 pp_pi(ge, after).