JinSoul (also known as Kim Lip & JinSoul) is the seventh single album from South Korean girl group Loona's pre-debut project. It was released digitally on June 26 and physically on June 28, 2017 by Blockberry Creative and distributed by CJ E&M. It officially introduces member JinSoul and contains two tracks, JinSoul's solo "Singing in the Rain" and a duet with Kim Lip called "Love Letter".
JinSoul was released digitally by JinSoul and Kim Lip where JinSoul was officially introduced after singing with Loona for years unofficially.  
We don't know how long JinSoul has been with the group based on the context so it is neither correct or incorrect.  The language used is similar to what would be used to write either a correct or incorrect statement.  
( z0 release :ARG0 ( z1 and :location-of ( z2 introduce :ARG1 ( z3 music :name ( z4 name :op "JinSoul" ) ) :manner ( z5 official ) :time ( z6 after :op ( z7 sing :ARG0 z3 :accompanier ( z8 person :name ( z9 name :op "Loona" ) ) :duration ( z10 multiple :op ( z11 temporal-quantity :quant 1 :unit ( z12 year ) ) ) :manner ( z13 official :polarity - ) ) ) ) :op ( z14 person :name ( z15 name :op "JinSoul" ) ) :op ( z16 person :name ( z17 name :op "Kim" :op "Lip" ) ) ) :ARG1 z3 :manner ( z18 digital ) )
(z0 / release-01
    :ARG0 (z1 / and
              :location-of (z2 / introduce-01
                               :ARG1 (z3 / music
                                         :name (z4 / name
                                                   :op1 "JinSoul"))
                               :manner (z5 / official)
                               :time (z6 / after
                                         :op1 (z7 / sing-01
                                                  :ARG0 z3
                                                  :accompanier (z8 / person
                                                                   :name (z9 / name
                                                                             :op1 "Loona"))
                                                  :duration (z10 / multiple
                                                                 :op1 (z11 / temporal-quantity
                                                                           :quant 1
                                                                           :unit (z12 / year)))
                                                  :manner (z13 / official
                                                               :polarity -))))
              :op1 (z14 / person
                        :name (z15 / name
                                   :op1 "JinSoul"))
              :op2 (z16 / person
                        :name (z17 / name
                                   :op1 "Kim"
                                   :op2 "Lip")))
    :ARG1 z3
    :manner (z18 / digital))
JinSoul was released digitally by JinSoul and Kim Lip where JinSoul was officially introduced after singing with Loona for years unofficially .
z3 :name z4
z4 :op1 2
z0 :ARG1 z3
z0 :manner z18
z14 :name z15
z15 :op1 3
z1 :op1 z14
z0 :ARG0 z1
z1 :op2 z16
z16 :name z17
z17 :op1 4
z17 :op2 5
z2 :manner z5
z1 :location-of z2
z2 :ARG1 z3
z2 :time z6
z6 :op1 z7
z7 :ARG0 z3
z7 :accompanier z8
z8 :name z9
z9 :op1 6
z7 :duration z10
z10 :op1 z11
z11 :unit z12
z11 :quant 1
z7 :manner z13
z13 :polarity 0