Before revision:  While being discrete , our embedding supports vector arithmetic operations similar to continuous embeddings by interpreting each word as a set of propositional statements describing a rule. The formulation of our vector arithmetic closely reflects the logical structure originating from the symbolic sequential decision making formalism ( classical/STRIPS planning ).
After revision:  While being discrete , our embedding supports vector arithmetic operations similar to continuous embeddings by interpreting each word as a set of propositional statements describing a transition rule in classical/STRIPS planning ).