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.  
( z1 release :ARG0 ( z2 and :op ( z3 person :name ( z4 name :op "JinSoul" ) ) :op ( z5 person :name ( z6 name :op "Kim" :op "Lip" ) ) ) :ARG1 ( z7 music :name ( z8 name :op "JinSoul" ) :medium-of ( z9 introduce :ARG1 z3 :manner ( z10 official ) :time ( z11 after :op ( z12 sing :ARG0 z3 :accompanier ( z13 person :name ( z14 name :op "Loona" ) ) :duration ( z15 multiple :op ( z16 temporal-quantity :quant 1 :unit ( z17 year ) ) ) :manner ( z18 official :polarity - ) ) ) ) ) )