ts2(ast1_ts_10,ast1_ts_11,3) ($ast1_ts_18 or $ast1_ts_23) self()*10/10