The substances that our company uses do not leave stains, do not have an unpleasant smell and are not toxic.
All substances are used by our company.
Since our company does not use substances that have an unpleasant smell and are toxic, our company does not use all substances. The model missed this logic.
( z1 use :ARG0 ( z2 company :poss ( z3 we ) ) :ARG1 ( z4 substance :mod ( z5 all ) ) )