N:=20;
A10:=MA(C,10);
A20:=MA(C,20);
A30:=MA(C,30);
相交:=CROSS(A10,A20);
AA:=EXIST(相交,N);
BB:=CROSS(A20,A30);
XG:AA && BB ;
看看是不是你要的。a1:=ma(c,10);a2:=ma(c,20);a3:=ma(c,30);C>A1 AND A1>A2 AND A2>A3 and cross(a1,a2);