For a referring expression such as tsuginoshiki/joken "the following formula/condition", the referents are searched from the succeeding context.
the sentence or math expression just after the sentence including "the following condition" is identified as the referent and the referring expression is rewritten as follows: Tsugi-no houteishiki-o mitasu △ABC-o kangaeru : sin A = sin B Consider △ABC which satisfies the following equation : sin A = sin B After rewriting sin A = sin B-o mitasu △ABC-o kangaeru.