Theres harmony here. Do I qualify? Do I qualify? 2. Me?
Theoratron is a powerful software program.
( z0 program :name ( z1 name :op "Theoratron" ) :ARG1-of ( z2 powerful ) :mod ( z3 software ) )
(z0 / program
    :name (z1 / name
              :op1 "Theoratron")
    :ARG1-of (z2 / powerful-02)
    :mod (z3 / software))
Theoratron is a powerful software program .
z1 :op1 0
z0 :mod z3
z0 :ARG1-of z2
z0 :name z1