First attempt to auto-infer semantics tree. [as] and [skip] succeed.