scheme :: ABSRED_0:sch 6
Star2A{ F₁() -> ARS , P₁[ object ], F₂() -> Element of F₁(), F₃() -> Element of F₁() } :
provided