Capturing Quantified Constraints in FOL, Through Interaction with a Relationship Graph