It looks like you're new here. If you want to get involved, click one of these buttons!
I wonder whether can we make an inference of A←s→C from A‑m→B‑m→C? (reference: PT62 section 2 Q19)
For sure, it would be an invalid argument if an inference of A‑m→C is made.
Neither the lessons from The Valid Argument Forms nor the from The Invalid Argument Forms include this inference.
Seems ok to me.
Comments
I think only your first relationship can be a partial relationship
A
A
AB
AB
AB
AB
BC
BC
BC
BC
BC
No, you can't. I drew it out for you
Unless you know the relative sizes of A B and C that is not something you can infer