Back to All Results

Back to All Results
Input static SVG SVG Image
Input text prompt
<svg>...</svg>
Move the binocular up right below the text Discover over a second. Then, scale it up by 50 times from its top center for two seconds.

MoVer program 
o_1 = iota(Object, lambda o: id(o, "custom-binocular"))
o_2 = iota(Object, lambda o: id(o, "custom-discover"))

m_1 = iota(Motion, lambda m: type(m, "translate") and post(m, s_bottom_border(o_1, o_2)) and duration(m, 1.0) and agent(m, o_1))
m_2 = iota(Motion, lambda m: type(m, "scale") and direction(m, [1.0, 1.0]) and magnitude(m, [50.0, 50.0]) and origin(m, ["50%", "0%"]) and duration(m, 2.0) and agent(m, o_1))

t_before(m_1, m_2)
Initial animation without correction
Verification report 
o_1 = iota(Object, lambda o: id(o, "custom-binocular")): True
id: True

o_2 = iota(Object, lambda o: id(o, "custom-discover")): True
id: True

m_1 = iota(Motion, lambda m: type(m, "translate") and post(m, s_bottom_border(o_1, o_2)) and duration(m, 1.0) and agent(m, o_1)): False
type: True
post: False
s_bottom_border: True
duration: True
agent: True

m_2 = iota(Motion, lambda m: type(m, "scale") and direction(m, [1.0, 1.0]) and magnitude(m, [50.0, 50.0]) and origin(m, ["50%", "0%"]) and duration(m, 2.0) and agent(m, o_1)): True
type: True
direction: True
magnitude: True
origin: True
duration: True
agent: True

t_before(m_1, m_2): False
t_before: False

In this initial animation, the binocular should move up right below the text Discover. However, it moves up too much and does not stop right below the text. Therefore m_1 is false. t_before(m_1, m_2) is false because m_1 is false.

Correction iteration 1
Verification report of correction iteration 1 
o_1 = iota(Object, lambda o: id(o, "custom-binocular")): True
id: True

o_2 = iota(Object, lambda o: id(o, "custom-discover")): True
id: True

m_1 = iota(Motion, lambda m: type(m, "translate") and post(m, s_bottom_border(o_1, o_2)) and duration(m, 1.0) and agent(m, o_1)): True
type: True
post: True
s_bottom_border: True
duration: True
agent: True

m_2 = iota(Motion, lambda m: type(m, "scale") and direction(m, [1.0, 1.0]) and magnitude(m, [50.0, 50.0]) and origin(m, ["50%", "0%"]) and duration(m, 2.0) and agent(m, o_1)): True
type: True
direction: True
magnitude: True
origin: True
duration: True
agent: True

t_before(m_1, m_2): True
t_before: True

In this correction iteration of the initial animation, the binocular now moves up and stops right below the text Discover. Now the animation is fully correct.