Non-commutative_statement

LUs in this frame describe a non-commutative statement of arithmetic, e.g. subtraction and division, involving two numbers, labeled Term_1 and Term_2. This frame contrasts with Arithmetic_non-commutative_process in that the statement frame emphasizes the relationship between the terms in combining to form some Result. Because of the non-commutative nature of these processes, Term_1 and Term_2 are not separated on a grammatical basis but rather on a mathematical basis (see FE definitions). When referencing the process, the numbers can be vague and are often omitted through indefinite null instantiation.